
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.


coremsg

logik-und-sprachen-höherdimensionaler-automaten-eine-untersuchung-der-beziehung-zwischen-logik-und-automatentheorie


Logik und Sprachen höherdimensionaler Automaten: Eine Untersuchung der Beziehung zwischen Logik und Automatentheorie


title_rewrite


Das Kleene-Theorem besagt, dass die von höherdimensionalen Automaten erkannten Sprachen genau die rationalen, subsumptionsgeschlossenen Mengen von endlichen Intervall-Ipomsets sind.


kleene-theorem-für-höherdimensionale-automaten


Kleene-Theorem für höherdimensionale Automaten
