Reference10 articles.
1. Rabin, M., and Scott, D., “Finite Automata and Their Decision Problems”, IBM Journal, April, 1959, pp. 114–125.
2. Post, Emil L., “Formal Reductions of the General Combinatorial Decision Problem”. American Journal of Mathematics Vol. 65, pp. 197–215. (1943).
3. Post, Emil L., “Recursive Unsolvability of a Problem of Thue”, Journal of Symbolic Logic, Vol 12, pp. 1–11 (1947).
4. Kleene, S. C, “Representation of Events in Nerve Nets and Finite Automata”, Automata Studies, Princeton University Press, 1956, pp. 3–41.
5. Copi, I.M., Elgot, C.C., and Wright, J.B. “Realization of Events by Logical Nets”, Journal of the Association for Computing Machinery, 5, pp. 181–196 (1958).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献