Zusammenfassung
Probleme der mechanischen Konstruktion von Schaltwerken mit Selbststeuerung wurden schon in den fünfziger Jahren von Church 5, 6 und Buchi, Elgot, Wright 2 aufgeworfen. Diese Fragestellung hat sich, in verschiedender Hinsicht, als fruchtbar herausgestellt. Erstens liegen heute sehr starke Algorithmen für die Konstruktion von Automaten diese Methoden der Automatentheorie von Rabin 10 übernommen und haben zu Entscheidungsverfahren für erstaunlich reiche Sprachen geführt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
J. R. Buchi, On a decision method in restricted second order arithmetic, Proc. Int. Congr. Logic, Method, and Philos. Sci. I960, Stanford Univ. Press, Stanford, Cal. 1962
J. R. Buchi, Elgot and Wright, The nonexistence of certain algorithms of finite automata theory, Notices Am. Math. Soc. 5, 1958, 98.
J. R. Buchi and Landweber, Solving sequential conditions by finite-state strategies. Trans. Am. Math. Soc. 138. 1969, 295–311.
J. R. Buchi and Landweber, Definability in the monadic second order theory of successor, Journ. Symb. Logic 34. 1969, 166–170.
A. Church, Application of recursive arithmetic to the problem of circuit synthesis, Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell Univ. 1957; 2nd ed., Princeton N.J., 1960, 3–50.
A. Church, Logic arithmetic and automata, Proc. Int. Congr. Math. 1963, Almqvist and Wiksells, Uppsala 1963.
M. Davis, Infinite games of perfect information, Advances in game theory, Princeton Univ. Press, Princeton, N.J., 1964, 85–101.
F. Hausdorff, Grundzüge der Mengenlehre, New York, Chelsea Publ. Co. 1949.
R. McNaughton, Testing and generating infinite sequences by a finite automaton, Information and Control 9, 1966, 521–530.
M. Rabin, Decidability of second-order theories and automata on infinite trees, IBM Research RC 2012, 1968. Siehe auch Trans. Am. Math. Soc. 1969.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Büchi, J.R. (1990). Algorithmisches Konstruieren von Automaten und Die Herstellung von Gewinnstrategien Nach Cantor-Bendixson. In: Mac Lane, S., Siefkes, D. (eds) The Collected Works of J. Richard Büchi. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-8928-6_30
Download citation
DOI: https://doi.org/10.1007/978-1-4613-8928-6_30
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4613-8930-9
Online ISBN: 978-1-4613-8928-6
eBook Packages: Springer Book Archive