Zpět na vyhledávání

Tomáš Gorol

Bakalářská práce

Základní řešitelné a neřešitelné problémy z teorie formálních jazyků

Elementary solvable and unsovable formal languages problems
Anotace:
Práce je rozdělena do dvou částí. V první části se snaží podat souhrnný přehled důkazů řešitelnosti, resp. neřešitelnosti nejznámějších problémů z teorie formálních jazyků a automatů. Druhá část se zabývá vytvořením aplikace, která implementuje algoritmy vybraných řešitelných problémů. Jedná se např. o problém příslušnosti pro bezkontextové a regulární gramatiky nebo problém prázdnosti pro bezkontextové …více
 

Klíčová slova

problém řešitelnost neřešitelnost důkaz algoritmus gramatika jazyk aplikace příslušnost prázdnost konečnost univerzalita ekvivalence inkluze průnik regularita nejednoznačnost uzavřenost literatura
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 30. 10. 2007

Obhajoba závěrečné práce

  • Obhajoba proběhla 9. 6. 2009
  • Vedoucí: Pavel Martinek

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • Soubory jsou nedostupné.