Advertisement

Der Satz von McNaughton für reelle Spuren

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

Zusammenfassung

Thema des vorliegenden Kapitels ist die Verallgemeinerung des Satzes von McNaughton [McN66] von ω-Sprachen auf Sprachen reeller Spuren. Wir beantworten mit der Charakterisierung der Familie der erkennbaren Sprachen reeller Spuren durch deterministische, asynchrone Muller Automaten eine der wesentlichen Fragen auf diesem Gebiet. Die Ergebnisse dieses Kapitels sind auch in [DM93, DM94] erschienen.

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