Pok-4-wyk-Slajd28
Z Studia Informatyczne
Wyprowadzalność
Przejdźmy teraz do definicji wyprowadzalności.
Alfa gamma beta jest bezpośrednio wyprowadzalne z alfa A beta jeśli istnieje produkcja dla A, która po prawej stronie zawiera symbol gamma, a alfa i beta są dowolnymi ciągami symboli gramatyki.
Jeśli istnieje sekwencja bezpośrednich wyprowadzeń alfa n z alfa jeden, to alfa n wyprowadza się z alfa 1. Sytuację taką oznaczamy zapisując symbol gwiazdki (*) nad symbolem wyprowadzalności (=>).
