[Gramatyki] Dowód jednoznaczności gramatyki.

Python
Użytkownik
Użytkownik
Posty: 10
Rejestracja: 14 gru 2011, o 17:39
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 2 razy

[Gramatyki] Dowód jednoznaczności gramatyki.

Post autor: Python »

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.
adambak
Użytkownik
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.

Post autor: adambak »

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..
ODPOWIEDZ