Back to search

Tomáš Gorol

Bachelor's thesis

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

Elementary solvable and unsovable formal languages problems
Abstract:
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é …more
 

Keywords

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
 
Language used: Czech
Date on which the thesis was submitted / produced: 30. 10. 2007

Thesis defence

  • Date of defence: 9. 6. 2009
  • Supervisor: Pavel Martinek

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou nedostupné.