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

jazykove nerovnice, regular language, rewriting system, monoid representation, language inequalities, dobre predusporadani, regularni jazyk, prepisovaci system, monoidalni reprezentace, well-quasiorder

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

1.
Dzúrik, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Homologická teorie grafů | Práce na příbuzné téma Zobrazit popisek

2.
Malá, Karolína
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Monoidy matic v algebraické teorii regulárních jazyků | Práce na příbuzné téma

3.
Malá, Karolína
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Algebraický přístup k lineární temporální logice | Práce na příbuzné téma

4.
Svoreňová, Mária
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Hierarchie regulárních jazyků | Práce na příbuzné téma

5.
Volaříková, Jana roz. Bartoňová
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Po částech testovatelné jazyky | Práce na příbuzné téma

6.
Bajužík, Branislav
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro převod příkazů pro počítačové hry | Práce na příbuzné téma

7.
Novotná Škarková, Jana
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Matematika - ekonomie
Obhajoba bakalářské práce: Hvězdná výše regulárních jazyků | Práce na příbuzné téma

8.
Pastirčák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků | Práce na příbuzné téma

9.
Sýkora, Viktor
Fakulta: Fakulta informatiky
Rok: 2009, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Rozhraní pro práci s konečnými automaty | Práce na příbuzné téma

10.
Sýkora, Viktor
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Rozhraní pro práci s konečnými automaty | Práce na příbuzné téma

11.
Vávrová, Pavlína
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Operace s regulárními jazyky pomocí rozpoznávání monoidy | Práce na příbuzné téma