Zásobníkový automat - koncový stav
Ahoj, Jakým způsobem se má formálně zapsat v sedmici definující zásobníkový automat to, že přijímající stav je stav kdy je prázdný zásobník?
např.: ZA = (q, {a, b}, {S, A}, \delta, q, S, -- koncový stav - zasobnik prazdny --)
Díky