Pok-4-wyk-Slajd30
Z Studia Informatyczne
Prawostronna wyprowadzalność
Jeśli do zastąpienia wybrany zostaje skrajnie prawy nieterminal, to wyprowadzenie nosi nazwę prawostronnego.
Prawostronne wyprowadzenie oznaczamy poprzez umieszczenie liter ps pod symbolem wyprowadzalności (=>).
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.
