Deterministický ZA (DZA)
Myšlenka: Deterministický ZA může provést z každé konfigurace maximálně jeden přechod
Definice: Nechť M = (Q, S, G, R, s, S, F) je ZA. M je deterministický ZA,
pokud pro každé pravidlo tvaru Apa ® wq Î R platí, že množina R –
{Apa ® wq} neobsahuje žádné pravidlo s levou stranou Apa nebo Ap.
Ilustrace:
Konfigurace:
a
p
A
y
x
Ap
®
w1q1
Apa ® w2q2
Maximálně jedno pravidlo tvarů:
32/50