Pok-4-wyk-Slajd30

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.

<< Poprzedni slajd | Spis treści | Następny slajd >>