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

determinizace konecneho automatu, minimalizace konecneho automatu, nerodova veta, odstraneni epsilon-kroku konecneho automatu, uzaverove vlastnosti regularnich jazyku., regularni jazyk, konecny automat, lemma o vkladani

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Sýkora, Viktor
Faculty: Faculty of Informatics
Year: 2009, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozhraní pro práci s konečnými automaty | Theses on a related topic Display description

2.
Pastirčák, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků | Theses on a related topic

3.
Vávrová, Pavlína
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Operace s regulárními jazyky pomocí rozpoznávání monoidy | Theses on a related topic

4.
Bielik, Juraj
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Konsolidace nástroje JGAF | Theses on a related topic

5.
Bukovenová, Michaela
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Pohodlné vkládání regulárních jazyků do webového formuláře | Theses on a related topic
Bachelor's thesis defence: Pohodlné vkládání regulárních jazyků do webového formuláře | Theses on a related topic

6.
Duda, Erich
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Nástroje pro vyhledávání definic a použití v jazyce C | Theses on a related topic

7.
Dzúrik, Martin
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Homologická teorie grafů | Theses on a related topic

8.
Elgyütt, Adrián
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti formálních jazyků | Theses on a related topic

9.
Franc, Miroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webový formulář pro minimalizaci nedeterministických konečných automatů | Theses on a related topic

10.
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

11.
Gomola, Radek
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Rozšíření nástroje JGAF | Theses on a related topic

12.
Hahn, Viktor
Faculty: Faculty of Science
Year: 2015, studies terminated for failure to fulfill study requirements
Programme/field: Mathematics / Algebra and Discrete Mathematics, Geometry
Master's thesis defence: Dobrá předuspořádání v teorii formálních jazyků | Theses on a related topic

13.
Kadlecová, Jana
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Generátor příkladů k teorii formálních jazyků | Theses on a related topic

14.
Krč, Pavel
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Nástroj na úpravu programů v C++

15.
Křápek, Milan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výpočty s racionálními pologrupami | Theses on a related topic

16.
Malá, Karolína
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Monoidy matic v algebraické teorii regulárních jazyků | Theses on a related topic

17.
Malá, Karolína
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraický přístup k lineární temporální logice | Theses on a related topic

18.
Musil, Daniel
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Námět společenské hry na základě teorie her | Theses on a related topic

19.
Novotná Škarková, Jana
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Mathematics - Economics
Bachelor's thesis defence: Hvězdná výše regulárních jazyků | Theses on a related topic

20.
Oprendek, Michal
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sada nástrojov pre konverziu cenníka medzinárodných volaní | Theses on a related topic

21.
Pelíšek, Daniel
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků | Theses on a related topic
Bachelor's thesis defence: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti bezkontextových jazyků | Theses on a related topic

22.
Rychtář, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Rozšiřitelný nástroj pro práci s formálními jazyky | Theses on a related topic

23.
Svoreňová, Mária
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Hierarchie regulárních jazyků | Theses on a related topic

24.
Šlesarík, Milan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aproximativní vyhledávací algoritmus pro překladový slovník | Theses on a related topic

25.
Šmýkala, Matúš
Faculty: Faculty of Informatics
Year: 2015, 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

26.
Šťastný, Jan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj na automatickou detekci chyb v jazyce C | Theses on a related topic

27.
Volaříková, Jana maiden name: Bartoňová
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Po částech testovatelné jazyky | Theses on a related topic