Quasi Realzeit-Sprache

Die Klasse Q, auch bekannt unter dem Namen Quasi-Realzeit-Sprachen, ist ein Begriff der Theoretischen Informatik, speziell der Komplexitätstheorie. Q ist eine Komplexitätsklasse, die auf nichtdeterministischen Turingmaschinen definiert ist, welche nur linearen Zeitbedarf haben. Ron Book hat gezeigt, dass solche Maschinen stets beschleunigt werden können, so dass sie in jedem Schritt ein Zeichen lesen und nur so lange arbeiten, bis die Eingabe gelesen ist. Daher hat er ihnen den Namen Quasi-Realzeit-Sprachen (engl.: quasi realtime languages) gegeben.

Mit der Maschinencharakterisierung der kontextsensitiven Sprachen (CSL) lässt sich nachweisen, dass Q eine Teilklasse von CSL ist. Umgekehrt ist die Klasse wachsend kontextsensitiver Sprachen (GCSL) eine echte Teilklasse von Q.

Eigenschaften von $\mathbf{Q}$

Q ist abgeschlossen unter

• Vereinigung
• Durchschnitt
• Konkatenation
• Kleene-Stern
• ε-freien Homomorphismen
• inversen Homomorphismen

Weiterhin ist bekannt:

• Q ⊂ NP
• Q ⊂ CSL
• GCSL ⊂ Q

Weblinks

• Q im Complexity Zoo (englisch)