Pok-4-wyk-Slajd17

Wyprowadzalność

Proszę zwrócić uwagę, że dla rozpatrywanej gramatyki stosując bezpośrednie wyprowadzenie można dowieźć poprawności składniowej większej liczby zdań.

Można udowodnić, że z symbolu „zdanie” istnieje wyprowadzenie w co najmniej jednym kroku formy zdaniowej „małe rzeczownik wypiło rzeczownik”. Uwzględniając fakt, że symbol „rzeczownik” występuje w dwóch produkcjach poprawne w sensie składniowym są zdania:

- małe dziecko wypiło mleko

- małe mleko wypiło dziecko

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