hledat
Toto je starší verze dokumentu!
—-
IN-POS 10. Konečné automaty (FA) a logiky nad slovy
Zadání
- Logika 1.řádu (FOL) a monadická logika 2.řádu (MSOL):
- syntax a sémantika FOL a MSOL,
- principy převoditelnosti mezi FA a formulemi MSOL.
- Automaty nad nekonečnými slovy a omega-regulární jazyky.
- IA006
Vypracování
