Matematické Fórum

Vím, že to jsem asi moc nepatří, ale byl bych rád kdyby mi někdo pomohl.

Jazyk L = {w| w nalezi {a,b} |w|b = |w|a} je přijmám konocvým stavem. Jinak řečeno mám vytvořit deterministický zásobníkový automat který přijmá slova se stejným početem áček jako béček  koncovým stavem.

Moje řešení

{p,a,Z} -> {p,AZ}
{p,a,A} -> {p,AA}
{p,a,B} -> {p,λ}
{p,b,Z} -> {p,BZ}
{p,b,B} -> {p,BB}
{p,b,A} -> {p,λ}
{p,λ,Z} -> {p,λ}

potíž je v tom že to není deterministický. {p,λ,Z} porušuje podmínku pro determistický zásobníkový automat. A mě nenapadá jak to upravit.