Pok-4-wyk-Slajd9

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Bezpośrednia wyprowadzalność

Bezpośrednia wyprowadzalność


Przyjrzyjmy się teraz w jaki sposób można udowodnić wyprowadzalność w co najmniej jednym kroku zdania „małe dziecko wypiło mleko” z symbolu zdanie stosując do tego celu bezpośrednią wyprowadzalność.

W pierwszym kroku za pomocą pierwszej produkcji w gramatyce przedstawionej w górnej części slajdu dokonujemy bezpośredniego wyprowadzenia formy zdaniowej „podmiot orzeczenie”.


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