Práce na příbuzné téma (mají shodná klíčová slova):

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

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Frian, Martin
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Simple models of quantum finite automata | Práce na příbuzné téma Zobrazit popisek

2.
Zábojník, Tomáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Iterativní zkracující překladače | Práce na příbuzné téma

3.
Ajdarów, Michal
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Minimality problems for promise versions of finite automata | Práce na příbuzné téma

4.
Gaďorková, Klára
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Statistika a analýza dat
Obhajoba bakalářské práce: Reprezentace čísel konečnými automaty | Práce na příbuzné téma

5.
Chodil, Miroslav
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Vlastnosti konečných automatů a jejich přechodových monoidů | Práce na příbuzné téma

6.
Jonáš, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Popis regulárních jazyků pomocí predikátové logiky | Práce na příbuzné téma

7.
Křetínský, Jan
Fakulta: Přírodovědecká fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Monadická logika druhého řádu na nekonečných řetězcích a stromech | Práce na příbuzné téma

8.
Pilát, Martin
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Design, Deployment, and Evaluation of Programming Homeworks for the IB110 Course | Práce na příbuzné téma

9.
Poklemba, Matej
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Pohodlné vkládání regulárních jazyků do webového formuláře | Práce na příbuzné téma

10.
Poklemba, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Pokročilá podpora pro odpovědníky z oblasti formálních jazyků | Práce na příbuzné téma

11.
Salajová, Patrícia
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Web Editor of Finite Automata | Práce na příbuzné téma

12.
Štěpková, Adéla
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Complementation of Nondeterministic Finite Automata Without Determinization | Práce na příbuzné téma