暂无分享，去创建一个
J. McKnight
[1] C. C. Elgot. Decision problems of finite automata design and related arithmetics , 1961 .