Pok-8-wyk-Slajd12
Z Studia Informatyczne
Prawostronna wyprowadzalność
Zanim przejdziemy dalej przypomnijmy sobie czym jest prawostronna wyprowadzalność.
Jeśli w wyprowadzeniu do zastąpienia wybrany zostaje skrajnie prawy nieterminal, to wyprowadzenie nosi nazwę prawostronnego.
Formalnie: Alfa gamma beta jest bezpośrednio prawostronnie wyprowadzalne z alfa A beta jeśli:
- istnieje produkcja dla A, która po prawej stronie ma tylko symbol gamma
- Alfa jest dowolnym ciągiem symboli gramatyki (czyli może zawierać zarówno terminale, jak i nieterminale)
- Beta jest ciągiem zawierającym tylko symbole terminalne.
