Pok-4-wyk-Slajd9
Z Studia Informatyczne
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”.
