Advertisement

Abschließende Bemerkungen

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

Zusammenfassung

In der vorliegenden Abhandlung haben wir wesentliche Aspekte der automatentheoretischen Charakterisierung erkennbarer reeller Spursprachen untersucht. Wir haben das Theorem von McNaughton auf reelle Spuren verallgemeinert, indem wir die Äquivalenz zwischen Erkennbarkeit und Akzeptanz durch deterministische asynchrone Muller Automaten gezeigt haben. Wir haben zunächst deterministische Spursprachen definiert und gezeigt, daß die Klasse erkennbarer reeller Spursprachen mit dem Booleschen Abschluß der Klasse deterministischer Sprachen übereinstimmt.

Copyright information

© B. G. Teubner Verlagsgesellschaft Leipzig 1996

Authors and Affiliations

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

Personalised recommendations