Theoretische Informatik - Aufgaben

Aufgabe:  

Gegeben ist die Sprache

L  =  { aⁱb^jc^k  |  i, j, k ∈ ℕ₀,  i = j  ∨  j = k }

Die Sprache L enthält also z.B. die Wörter aabbc, aabbbccc, aabbcc, bbcc, abc, ab, aa, cccc, ε.

 

Beschreiben Sie informell, wie ein nicht­deterministischer Stackautomat die Sprache L erkennt.