×

Regular canonical systems. (English) Zbl 0129.26102


PDF BibTeX XML Cite
Full Text: DOI EuDML

References:

[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
[3] Post, Emil, L., ”Recursive Unsolvability of a Problem of Thue”,Journal of Symbolic Logic, Vol 12, pp. 1–11 (1947). · Zbl 1263.03030
[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
[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
[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. · JFM 45.0333.19
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.