2x2 - Theoretische Informatik - Universität Duisburg-Essen

Kontextsensitive und Typ-0-Sprachen
Berechenbarkeitstheorie
Komplexitätstheorie
Kontextsensitive und Typ-0-Sprachen
Berechenbarkeitstheorie
Komplexitätstheorie
Turingmaschinen
Schritt nach links
Es gilt: a 1 . . . a m−1 a m zb 1 b 2 . . . b n ⊢ a 1 . . . a m−1 z ′ a m cb 2 . . . b n ,
falls δ(z, b 1 ) = (z ′ , c, L) (m ≥ 1, n ≥ 1).
a 1
. . . a m−1 a m c b 2 . . . b n
Zustand: z ′
Turingmaschinen
Definition einer Übergangsrelation ⊢, die beschreibt, welche
Konfigurationsübergänge möglich sind.
Schritt nach rechts
Es gilt: a 1 . . . a m zb 1 b 2 . . . b n ⊢ a 1 . . . a m cz ′ b 2 . . . b n ,
falls δ(z, b 1 ) = (z ′ , c, R) (m ≥ 0, n ≥ 2).
a 1 . . . a m b 2 . . . b n
b 1
Barbara König BeKo/TI 48
Zustand: z
Turingmaschinen
Kontextsensitive und Typ-0-Sprachen
Berechenbarkeitstheorie
Komplexitätstheorie
Barbara König BeKo/TI 47
Definition einer Übergangsrelation ⊢, die beschreibt, welche
Konfigurationsübergänge möglich sind.
Schritt nach rechts
Es gilt: a 1 . . . a m zb 1 b 2 . . . b n ⊢ a 1 . . . a m cz ′ b 2 . . . b n ,
falls δ(z, b 1 ) = (z ′ , c, R) (m ≥ 0, n ≥ 2).
Turingmaschinen
Kontextsensitive und Typ-0-Sprachen
Berechenbarkeitstheorie
Komplexitätstheorie
Sonderfälle: Bandende erreicht zusätzliches Leerzeichen muss
hinzugefügt werden
Linkes Bandende
Es gilt: zb 1 b 2 . . . b n ⊢ z ′ □cb 2 . . . b n ,
falls δ(z, b 1 ) = (z ′ , c, L).
a 1 . . . a m c b 2 . . . b n
Zustand: z ′
Zustand: z
b 1
b 2 . . . b n
Barbara König BeKo/TI 48
Barbara König BeKo/TI 49