Práce na stejné téma (mají shodná klíčová slova):
quotientingKlíčová slova abecedně | Klíčová slova dle četnosti
Redukcie TGBA pomocou pokročilých simulácií
(Tatiana Zbončáková)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mfeaf/ | Aplikovaná informatika / | Práce na příbuzné téma
Simulation-Based Reduction of Modal Omega-Automata
(Dávid Smolka)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qq7ad/ | Informatika / | Práce na příbuzné téma
Reduction of Omega-Automata Using k-Lookahead Simulations
(Miriama Sasaráková)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/z3yok/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma