Zusammenfassung
Das zentrale technische Hilfsmittel für die noch zu behandelnde Komplementierung der PBAs bilden die Paritätsspiele, welche wir zunächst separat studieren. Danach beweisen wir den Komplementabschluss der regulären Sprachen unendlicher Bäume sowie die Entscheidbarkeit des Leerheitsproblems und folgern daraus im folgenden Kapitel, in dem wir nun wieder Logiken auf unendlichen Bäumen betrachten werden, wieder die Entscheidbarkeit einer monadischen Logik zweiter Stufe auf unendlichen Bäumen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hofmann, M., Lange, M. (2011). Komplement-Abschluss und Leerheitsproblem. In: Automatentheorie und Logik. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18090-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-18090-3_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-18089-7
Online ISBN: 978-3-642-18090-3
eBook Packages: Computer Science and Engineering (German Language)