Frage:
Gegeben sei der PDA \( \left(\Sigma, \Gamma, Z, \delta, z_{0}, \#\right) \) mit \( \Sigma=\{a, b, c\}, \Gamma=\{X, \#\}, Z=\left\{z_{0}, z_{1}, z_{2}\right\} \) und \( \delta \) wie folgt:
\( \begin{array}{l} z_{0} a \# \rightarrow z_{1} X \# \\ z_{0} a X \rightarrow z_{1} X X \\ z_{0} c X \rightarrow z_{2} \lambda \\ z_{1} b X \rightarrow z_{0} X X \\ z_{2} c X \rightarrow z_{2} \lambda \\ z_{2} \lambda \# \rightarrow z_{2} \lambda \end{array} \)
Was ist die Sprache, die der PDA akzeptiert?
Meine Lösung:
Wäre die Lösung L = { (ab)^n c^2n | n≥1 } richtig?
