Restartovací automaty s h-lexikalizací

• Název práce v češtině: Restartovací automaty s h-lexikalizací
• Název v anglickém jazyce: On h-lexicalized Automata
• Klíčová slova: restartovací automat|h-lexikalizovaný automat|vlastnost zachování správnosti|vlastnost zachování chyby|lexikální disambiguace|redukční analýza
• Klíčová slova anglicky: lexicalized syntactic analysis|restarting automaton|correctness preserving computation|error preserving computation|analysis by reduction
• Akademický rok vypsání: 2024/2025
• Typ práce: bakalářská práce
• Jazyk práce: čeština
• Ústav: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Vedoucí / školitel: Mgr. Marta Vomlelová, Ph.D.
• Řešitel: Bc. Václav Kouřil - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 30.05.2024
• Datum zadání: 25.06.2024
• Datum potvrzení stud. oddělením: 27.06.2024
• Datum a čas obhajoby: 20.06.2025 09:00
• Datum odevzdání elektronické podoby: 07.05.2025
• Datum odevzdání tištěné podoby: 07.05.2025
• Datum proběhlé obhajoby: 20.06.2025
• Oponenti: RNDr. František Mráz, CSc.
• Konzultanti: Martin Plátek, CSc.

Zásady pro vypracování

Student popíše restartovací automaty, škálu jejich povolených operací a morfizmus z pracovní abecedy do abecedy vstupní. Zavede operaci silný restart a ukáže jí na příkladech. Zvolí konkrétní část hierarchie složitosti - např. z [1], jazyky rozlišující jednotlivé třídy složitosti popíše pomocí restartovacích automatů.
Student implementuje simulátor restartovacích automatů, na kterém ověří, že jím navržené automaty přijímají dané jazyky.

Seznam odborné literatury

[1] Plátek, Martin and Friedrich Otto: On h-Lexicalized Restarting Automata, International Conference on Automata and Formal Languages (2017).
[2] Martin Plátek, Friedrich Otto, and František Mráz: One-Way Restarting Automata and Their Sensitivitys, International Journal of Foundations of Computer Science 2022 33:03n04, 371-387