Počítačové zpracování přirozeného jazyka

kde γ a δ jsou libovolné řetězce z (N ∪ T ) ∗ a α → β je nějaké přepisovací
pravidlo.
Dojdeme-li v posloupnosti přímých derivací k řetězci, který obsahuje pouze terminální
symboly, pak již nelze aplikovat žádné přepisovací pravidlo a proces generování
končí. Z této skutečnosti, která plyne z definice pravidla, je odvozen
název množiny T jako množiny terminálních symbolů.
Jestliže existuje posloupnost přímých derivací νi−1 =⇒ νi, i = 1, ..., n, n > 1
taková, že platí: λ = ν0 =⇒ ν1 =⇒ ... =⇒ νn−1 =⇒ ν = µ, nazýváme ji
derivace a značíme ji +
=⇒. Tuto posloupnost nazýváme derivací délky n.
Jestliže v gramatice G platí pro řetězce λ a µ relace λ +
=⇒ µ nebo identita λ = µ,
pak píšeme λ ∗
∗
=⇒ µ. Relace =⇒ je tranzitivním a reflexívním uzávěrem relace
přímé derivace.
56