Zusammenfassung
Im vorigen Kapitel haben wir gesehen, dass deterministische Büchi-Automaten erstens echt schwächer als nichtdeterministische und zweitens nicht unter Komplementen abgeschlossen sind. Man kann also nicht wie bei NFAs einfach eine Umwandlung in deterministische Automaten vornehmen, um zu einem gegebenen NBA einen für die Komplementsprache zu erhalten. Dennoch stellt sich die Frage, ob die Klasse der von NBAs erkannten Sprachen unter Komplementen abgeschlossen ist. In diesem Kapitel werden wir zeigen, dass dies in der Tat der Fall ist. Der Beweis ist jedoch komplizierter und basiert auf kombinatorischen Resultaten.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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). Komplementierung von Büchi-Automaten. In: Automatentheorie und Logik. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18090-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-18090-3_6
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)