Zusammenfassung
Die Komplementierung nichtdeterministischer Büchi ω-Automaten markierte in den 60’er Jahren den Anfangspunkt der Untersuchung von Erkennbarkeit im Kontext unendlicher Wörter [Büc60]. Ursprünglich für die Entscheidbarkeit der monadischen Logik zweiter Stufe S1S benötigt, erwies sich ein effizientes Verfahren für die Komplementierung von großer Bedeutung für Entscheidungsalgorithmen in erweiterten Systemen temporaler Aussagenlogik.
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
Rights and permissions
Copyright information
© 1996 B. G. Teubner Verlagsgesellschaft Leipzig
About this chapter
Cite this chapter
Muscholl, A. (1996). Komplementierung asynchroner Büchi Automaten. In: Über die Erkennbarkeit unendlicher Spuren. TEUBNER-TEXTE zur Informatik, vol 17. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-95371-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-322-95371-1_6
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-8154-2067-6
Online ISBN: 978-3-322-95371-1
eBook Packages: Springer Book Archive