Zweikellerautomat

Der Begriff Zweikellerautomat (TPDA – engl. Two-stack Push Down Automaton) steht in der Theoretischen Informatik für ein besonderes Automatenmodell. Er hat insbesondere für eine einheitliche Darstellung von Automaten-Charakterisierungen der Sprachenklassen der Chomsky-Hierarchie und anderen Klassen eine besondere Bedeutung erlangt.

So lassen sich die klassischen Begriffe Turingmaschine, Linear beschränkter Automat, Kellerautomat und Endlicher Automat mit speziellen Einschränkungen einheitlich darstellen.

Darüber hinaus gestattet er die Charakterisierung der von Elias Dahlhaus und Manfred Warmuth eingeführten Klasse der wachsend kontextsensitiven Sprachen.

In der Literatur werden zwei verschiedene Modelle betrachtet:

  1. Der Zweikellerautomat liest von einem Extra-Eingabeband und kann dabei zwei Kellerspeicher zum Speichern und Lesen nutzen. Als Abkürzung wird hier meist 2-PDA verwendet.
  2. Der Zweikellerautomat bekommt seine Eingabe direkt im Keller: Das erste Zeichen steht dabei oben. Dieses Modell ist das jüngere Modell. Als Abkürzung wird hier meist TPDA (engl. Two-PushDown-Automaton) verwendet.

In beiden Fällen ergibt sich, dass der Zweikellerautomat ohne weitere Einschränkung bereits Turing-mächtig ist. Im ersten Fall ist vor allem der Automat mit Realzeiteingabe untersucht worden. Diese Eingabe entspricht dem normalen Kellerautomaten, der nur einen Keller benutzt. Im zweiten Fall wurden verschiedene Einschränkungen definiert, mit denen sich einheitlich verschiedene Sprachklassen charakterisieren lassen.

So werden hier beschränkte und schrumpfende Zweikellerautomaten betrachtet. Weiterhin verbietet man das Schreiben im Eingabekeller, das führt zum normalen Kellerautomaten. Das Verbot des Schreibens in beiden Kellern führt schließlich zum endlichen Automaten.

Definition

Ein Zweikellerautomat ist ein nichtdeterministischer Automat, der während seiner Arbeit auf zwei Kellerspeicher zugreifen kann und seine Eingabe in einem der beiden Kellerspeicher erhält. Mathematisch wird ein solcher Automat beschrieben durch ein Siebentupel . Im Einzelnen bezeichnet dabei

  • eine endliche Menge: die Zustandsmenge
  • ein (endliches) Alphabet, das Eingabealphabet
  • ein weiteres endliches Alphabet, das Arbeitsalphabet: und
  • den Startzustand mit
  • die Endzustände mit
  • die totale Abbildung von in die endlichen Teilmengen von . Wenn die Menge stets höchstens einelementig ist, heißt der TPDA deterministisch; hier hat sich die Abkürzung DTPDA eingebürgert.

Jede Situation einer Berechnung eines TPDA wird durch seine Konfiguration vollständig beschrieben: Eine Konfiguration kann als Wort über dem Alphabet beschrieben werden; in diesem Fall ist es üblich, die Konfigurationen mit dem folgenden regulären Ausdruck zu beschreiben:

Hierbei steht der erste Teil des Wortes vor dem Zustandssymbol für den linken Keller und der zweite für den rechten Keller. So liest der Automat im linken Keller von rechts nach links und im rechten von links nach rechts. (Das Zustandssymbol zwischen den beiden Kellerinhalten mag hier intuitiv als Lese-Schreibkopf interpretiert werden.) Daher wird in der Startkonfiguration im linken Keller die Eingabe rückwärts notiert:

  • ist somit die Startkonfiguration.

Die Überführungsfunktion wird jetzt in folgender Weise angewandt:

  • Wenn die aktuelle Konfiguration des TPDA ist und gilt, dann stellt für jedes die Konfiguration eine mögliche Nachfolgekonfiguration von dar.

Eine Eingabewort wird von einem TPDA akzeptiert, wenn es eine Folge von Konfigurationen gibt, die durch wiederholtes Anwenden der Überführungsfunktion gebildet wird, mit der Eigenschaft: die letzte Konfiguration besteht nur noch aus einem Zeichen, dieses Zeichen ist ein Endzustand aus .

Es wird gelegentlich auch gestattet, dass die Keller nicht leer sein müssen. Das TPDA-Modell ist hier ausreichend robust.

Für die Einschränkungen, die üblicherweise betrachtet werden, wird der Begriff der Bewertungsfunktion benötigt: Eine Bewertungsfunktion ist ein Monoid-Homomorphismus vom freien Monoid über in die natürlichen Zahlen (mit 0):

,
für alle Wörter gilt: .

Hier bezeichnet das leere Wort und die Konkatenation.

  • Ein TPDA heißt schrumpfend, wenn es eine Bewertung gibt, so dass für die Überführungsfunktion gilt: Wenn dann ist .
  • Ein TPDA heißt beschränkt, wenn es eine Bewertung gibt, so dass für die Überführungsfunktion gilt: Wenn dann ist .

Charakterisierungen

  1. Die rekursiv aufzählbaren Sprachen werden vom Modell TPDA charakterisiert.
  2. Die rekursiv aufzählbaren Sprachen werden vom Modell DTPDA charakterisiert.
  3. Die kontextsensitiven Sprachen werden von beschränkten TPDA charakterisiert.
  4. Die deterministisch kontextsensitiven Sprachen werden von beschränkten DTPDA charakterisiert.
  5. Die wachsend kontextsensitiven Sprachen werden von schrumpfenden TPDA charakterisiert.
  6. Die Church-Rosser-Sprachen werden von schrumpfenden DTPDA charakterisiert.
  7. Die kontextfreien Sprachen werden von TPDA charakterisiert, die nur im rechten Keller schreiben dürfen.
  8. Die deterministisch kontextfreien Sprachen werden von DTPDA charakterisiert, die nur im rechten Keller schreiben dürfen.
  9. Die regulären Sprachen werden von TPDA charakterisiert, die in ihren Kellern nicht schreiben dürfen.
  10. Die regulären Sprachen werden von DTPDA charakterisiert, die in ihren Kellern nicht schreiben dürfen.

Ausblicke

Wenn wir in dem Modell weitere Keller hinzunehmen, so ergibt sich für den schrumpfenden Fall, dass er die nichtdeterministischen Quasi-Realzeit-Sprachen () akzeptiert.

Literatur

  • Gerhard Buntrock, Friedrich Otto: Growing context-sensitive languages and Church-Rosser languages. In Information and Computation, Volume 141, Issue 1,(February 1998), Pages: 1-36
  • Elias Dahlhaus, Manfred K Warmuth: Membership for growing context-sensitive grammars is polynomial. In Journal of Computer and System Sciences, Volume 33, Issue 3 (December 1986), Pages: 456-472
  • Gundula Niemann, Friedrich Otto: The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages. In Information and Computation, Volume 197, Issue 1/2 (February 25, 2005/March 15, 2005), Pages: 1-21