Theses on a related topic (having the same keywords):

linearni jazyky, uzaverove vlastnosti, linear languages, finite automata, biautomaty, regularni jazyky, biautomata, regular languages, closure properties, konecne automaty, pumping lemma

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Frian, Martin
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Simple models of quantum finite automata | Theses on a related topic Display description

2.
Zábojník, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Iterativní zkracující překladače | Theses on a related topic

3.
Ajdarów, Michal
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Minimality problems for promise versions of finite automata | Theses on a related topic

4.
Gaďorková, Klára
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Reprezentace čísel konečnými automaty | Theses on a related topic

5.
Chodil, Miroslav
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Vlastnosti konečných automatů a jejich přechodových monoidů | Theses on a related topic

6.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Popis regulárních jazyků pomocí predikátové logiky | Theses on a related topic

7.
Křetínský, Jan
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Monadická logika druhého řádu na nekonečných řetězcích a stromech | Theses on a related topic

8.
Pilát, Martin
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Design, Deployment, and Evaluation of Programming Homeworks for the IB110 Course | Theses on a related topic

9.
Poklemba, Matej
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Pohodlné vkládání regulárních jazyků do webového formuláře | Theses on a related topic

10.
Poklemba, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Pokročilá podpora pro odpovědníky z oblasti formálních jazyků | Theses on a related topic

11.
Salajová, Patrícia
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Web Editor of Finite Automata | Theses on a related topic

12.
Štěpková, Adéla
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Complementation of Nondeterministic Finite Automata Without Determinization | Theses on a related topic