Przeprowadź pełny dowód twierdzenia o tym, że algorytm tworzenia tabeli semantycznej kończy się
Prosze o pomoc. Wiem ze proces tworzenia konczymy, gdy we wszystkich lisciach sa tylko literaly.
Dowod o skonczonosci algorytmu tw. tabeli semantycznej
-
- Użytkownik
- Posty: 363
- Rejestracja: 24 sie 2012, o 09:27
- Płeć: Mężczyzna
- Lokalizacja: Cieszyn
- Pomógł: 80 razy
Dowod o skonczonosci algorytmu tw. tabeli semantycznej
Przychodzi mi do głowy dowód indukcyjny po liczbie alternatyw i koniunkcji w zbiorze formuł danych.