サインイン
インサイト - Höherdimensionale Automaten
Logik und Sprachen höherdimensionaler Automaten: Eine Untersuchung der Beziehung zwischen Logik und Automatentheorie
Höherdimensionale Automaten (HDAs) sind ein Modell für nebenläufige Systeme, bei dem jedes Ereignis einem Zeitintervall entspricht. Die Sprachen von HDAs sind genau die Mengen von Intervall-Pomsets mit beschränkter Breite, die unter Subsumption abgeschlossen sind. Diese Sprachen sind genau die MSO-definierbaren Mengen von Intervall-Pomsets mit beschränkter Breite.
Kleene-Theorem für höherdimensionale Automaten
Das Kleene-Theorem besagt, dass die von höherdimensionalen Automaten erkannten Sprachen genau die rationalen, subsumptionsgeschlossenen Mengen von endlichen Intervall-Ipomsets sind.
