Historie: • 10-pos

Umístění: home » mgr-szz » in-pos » 10-pos

Toto je starší verze dokumentu! —-

Obsah

IN-POS 10. Konečné automaty (FA) a logiky nad slovy
- Zadání
- Vypracování

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í

mgr-szz/in-pos/10-pos.1560178876.txt.gz · Poslední úprava: 2020/04/12 16:56 (upraveno mimo DokuWiki)

Nahoru

CC Attribution-Noncommercial-Share Alike 4.0 International