Witam. Mam pytanie. Jak się przeprowadza dowód jednoznaczności gramatyki? Szukałem w internecie, niestety nic nie znalazłem, jedynie definicje, że gramatyka jest jednoznaczna, jeżeli jest tylko jedno drzewo wyprowadzeń dla każdego wyrażenia.
Na jakiej zasadzie przeprowadzać ten dowód? Nie wprost? Zakładamy, że gramatyka jest niejednoznaczna, więc powinniśmy umieć wyprowadzić dwa drzewa dla jednego wyrażenia co daje sprzeczność.. ale to chyba nie będzie ogólnie.
Dziękuje i pozdrawiam.
[Gramatyki] Dowód jednoznaczności gramatyki.
-
- Użytkownik
- Posty: 1272
- Rejestracja: 8 sty 2011, o 18:18
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 295 razy
- Pomógł: 115 razy
[Gramatyki] Dowód jednoznaczności gramatyki.
no no, dawno nie widziałem na forum gramatyk.. szacuneczek, widać że uniwersytet
co do pytania to przejrzyj ważniaka:
... %BCe%C5%84
... wiczenia_3
ja tam znalazłem swego czasu wszystko czego potrzebowałem.. są dowody zarówno zgodności jak i pełności gramatyk - zazwyczaj to będzie indukcja..
co do pytania to przejrzyj ważniaka:
... %BCe%C5%84
... wiczenia_3
ja tam znalazłem swego czasu wszystko czego potrzebowałem.. są dowody zarówno zgodności jak i pełności gramatyk - zazwyczaj to będzie indukcja..