Advertisement

Komplementierung asynchroner Büchi Automaten

  • Anca Muscholl
Part of the TEUBNER-TEXTE zur Informatik book series (XTTI, volume 17)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© B. G. Teubner Verlagsgesellschaft Leipzig 1996

Authors and Affiliations

  • Anca Muscholl
    • 1
  1. 1.Universität StuttgartDeutschland

Personalised recommendations