Theoretische Informatik - Aufgaben

Aufgabe:  

Gegeben ist die Sprache

L  =  { aⁿbⁿcⁿ  |  n ∈ ℕ }

 

1. Beschreiben Sie informell, wie eine linear beschränkte Turing­maschine die Sprache L erkennt.
2. Erstellen Sie mit dem Turing­maschinen-Simulator eine linear beschränkte Turing­maschine, die L erkennt. Testen Sie Ihre Turing­maschine mit dem Eingabewort aabbcc.