Rozšířený ZA (RZA)
Myšlenka: Z vrcholu zásobníku v RZA lze
číst celý řetězec
(v ZA to byl pouze jeden symbol)
Definice: Rozšířený
zásobníkový automat (RZA) je sedmice M = (Q, S, G, R, s, S, F),
kde Q, S, G, s, S, F jsou definovány stejně jako u ZA a R je konečná
množina pravidel tvaru: vpa ® wq,
kde v, w Î G*, p, q Î Q, a Î S È {e}
Ilustrace:
Zásobník ZA:
Zásobník RZA:
A
x
x
v
Ze
ZA lze číst jeden symbol z
vrcholu zásobníku
Z
RZA lze číst řetězec z vrcholu zásobníku
34/50