Pok-4-wyk-Slajd29

Lewostronna wyprowadzalność

W każdym kroku wyprowadzenia należy dokonać podwójnego wyboru. Po pierwsze, który nieterminal będzie zastępowany, a po drugie która produkcja zostanie użyta do zamiany nieterminala na odpowiadającą mu formę zdaniową.

Jeśli w danym kroku do wymiany wybrany zostaje skrajnie lewy nieterminal, to takie wyprowadzenie nazywa się lewostronnym. Lewostronne wyprowadzenie oznaczamy poprzez umieszczenie liter ls pod symbolem wyprowadzalności (=>).

Alfa gamma beta jest bezpośrednio lewostronnie wyprowadzalne z alfa A beta jeśli:

• istnieje produkcja dla A, która po prawej stronie ma tylko symbol gamma
• Alfa jest ciągiem zawierającym tylko symbole terminalne
• Beta jest dowolnym ciągiem symboli gramatyki (czyli może zawierać zarówno terminale, jak i nieterminale)

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