Regular canonical systems. (English) Zbl 0129.26102


03-XX Mathematical logic and foundations
Full Text: DOI EuDML


[1] Rabin, M., and Scott, D., ”Finite Automata and Their Decision Problems”,IBM Journal, April, 1959, pp. 114–125. · Zbl 0158.25404
[2] Post, Emil, L., ”Formal Reductions of the General Combinatorial Decision Problem”.American Journal of Mathematics Vol. 65, pp. 197–215. (1943). · Zbl 0063.06327 · doi:10.2307/2371809
[3] Post, Emil, L., ”Recursive Unsolvability of a Problem of Thue”,Journal of Symbolic Logic, Vol 12, pp. 1–11 (1947). · Zbl 1263.03030 · doi:10.2307/2267170
[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). · Zbl 0088.01901 · doi:10.1145/320924.320931
[6] Myhill, John, ”Finite Automata and Representation of Events”, WADC Report TR 57-624,Fundamental Concepts in the Theory of Systems, October, 1957, pp. 112–137.
[7] Rosenbloom, P. C., ”The Elements of Mathematical Logic”. Dover (1950). · Zbl 0041.14804
[8] Medvedev, I. T., ”On a Class of Events Representable in a Finite Automaton”, MIT Lincoln Laboratory Group Report, 34–73, translated from the Russian by J. Schorr-Kon, June 30, 1958.
[9] Büchi, J. R., ”Weak Second Order Arithmetic and Finite Automata”,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 6 (1960), pp. 66–92. · Zbl 0103.24705 · doi:10.1002/malq.19600060105
[10] Thue, Axel, ”Probleme über VerÄnderungen von Zeichenreihen nach gegebenen Regeln”,Skrifter utgit av Videnskaps selskapet i Kristiania, I. Matematisknaturvidenskabelig klasse 1914, no. 10, 34 pp.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.