Konfiguration eines Kellerautomaten

Einfache Sprache

Def. Konfiguration eines Kellerautomaten

Sei $\mathcal P = (Q,\Sigma,\Gamma,\delta,q_0,Z_0,F)$ ein NDKA. Dann ist eine Konfiguration von $\mathcal P$ eine Tupel $(q, w, \gamma)$, wobei

• $q\in Q$ ist der aktuelle Zustand,
• $w\in \Sigma^*$ ist der noch nicht gelesene Teil der Eingabe und
• $\gamma\in\Gamma^*$ ist der Inhalt des Kellerspeichers.

Es ist Konvention, dass die obersten Elemente des Kellerspeichers in $\gamma$ ganz links auftauchen.