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 lemmaKeywords 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 Display description](/pics/design/14/z/ico/navodek-plus.png)
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 Display description](/pics/design/14/z/ico/navodek-plus.png)
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
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
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
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
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
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
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
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
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
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
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
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