核心概念
Der Hauptbeitrag dieser Arbeit ist die Herleitung eines Kleene-Theorems für Lasso-Sprachen und die Untersuchung des Zusammenhangs zwischen rationalen Lasso- und ω-Ausdrücken.
摘要
Die Arbeit führt zunächst rationale Lasso-Ausdrücke und -Sprachen ein und zeigt, dass jede rationale Lasso-Sprache regulär ist. Dafür wird eine Brzozowski-Konstruktion für Lasso-Automaten präsentiert. Anschließend wird gezeigt, dass jede reguläre Lasso-Sprache auch rational ist. Darauf aufbauend wird der Zusammenhang zwischen rationalen Lasso- und ω-Ausdrücken untersucht, was schließlich zu einem Kleene-Theorem für ω-Sprachen in Bezug auf gesättigte Lasso-Automaten führt.
統計資料
Jede rationale Lasso-Sprache ist regulär.
Jede reguläre Lasso-Sprache ist rational.
Jede rationale ω-Sprache ist regulär.
引述
"Automaten, die auf Wortpaaren operieren, wurden als alternative Möglichkeit eingeführt, um die Akzeptanz regulärer ω-Sprachen zu erfassen."
"Obwohl Automaten, die auf Lassos operieren, wie L$-Automaten, FDFAs und Lasso-Automaten, in vieler Hinsicht gut etabliert sind, fehlt ihnen immer noch ein Kleene-Theorem."