Pok-4-wyk-Slajd29
Z Studia Informatyczne
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)
