Detail práce

Nové verze skákajících automatů

Bakalářská práce Student: Ošmera Lubomír Akademický rok: 2015/2016 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název anglicky
New Versions of Jumping Automata
Jazyk práce
český
Abstrakt

Cílem této bakalářské práce je návrh a výzkum nových verzí skákajících automatů, konkrétně se jedná o verze obecných skákajících automatů s jasně specifikovanými kritérii směru a velikosti skoku. Práce zkoumá jejich sílu v porovnání s ostatními typy automatů a odhaluje ekvivalentní modely gramatik. Důvodem vypracování této práce je výzkum a snaha o vylepšení některých vlastností obecného skákajícího automatu. Následně je v práci zváženo využití tohoto formálního prostředku za účelem zpracování určitého typu jazyků a využití v průběhu syntaktické analýzy.

Klíčová slova

Automat, skákající, gramatika, k-left, k-right, startující stav, syntaktická analýza, jazyk, modifikované konečné automaty.

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
14. června 2016
Oponent
Kocman Radim, Ing., Ph.D.
Průběh obhajoby

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm C.

Otázky u obhajoby
  1. V práci je uvedeno, že neexistuje k-left GJFA přijímající {a}*{ab}{b}*. Uvažujte k=1 a načtení {ab} odděleně s tím, že si informaci o aktuální situaci uložíte do stavu. Dokážete nyní sestrojit vyhovující k-left GJFA?
Komise
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT), předseda
Bartík Vladimír, Ing., Ph.D. (UIFS FIT VUT), člen
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT), člen
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT), člen
Citace
OŠMERA, Lubomír. Nové verze skákajících automatů. Brno, 2016. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2016-06-14. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/thesis/17957/
BibTeX 
@bachelorsthesis{FITBT17957,
    author = "Lubom\'{i}r O\v{s}mera",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Nov\'{e} verze sk\'{a}kaj\'{i}c\'{i}ch automat\r{u}",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2016,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/17957/"
}

Závěrečné práce

Nahoru