Detail práce

Deep Pushdown Automata and Their Restricted Versions

Diplomová práce Student: Charvát Lucie Akademický rok: 2016/2017 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název česky
Deep Pushdown Automata and Their Restricted Versions
Jazyk práce
anglický
Abstrakt

Pro přirozené číslo n, n-expandovatelné hluboké zasobníkové automaty vždy obsahují maximálně n výskytů nevstupních symbolů v jejich zásobníku v průběhu jakékoli kompilace. Jako hlavní výsledek, tato práce demonstruje, že tyto automaty mají stejnou vyjadřovací sílu jako automaty s #, nacházející pouze na dně zásobníku, a jediným dalším nevstupním symbolem. Z tohoto závěru vyplývá nekonečná hierarchie jazyků přijímaných těmito automaty.

Klíčová slova

Hluboké zasobníkové automaty, redukce zásobníkové abecedy

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Informační systémy
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
19. června 2017
Oponent
Kučera Jiří, Ing., Ph.D.
Průběh obhajoby

Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázky otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studentky na položené otázky rozhodla práci hodnotit stupněm "A".

Komise
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT), předseda
Burget Radek, doc. Ing., Ph.D. (UIFS FIT VUT), člen
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT), člen
Polášek Ivan, doc. Ing., Ph.D. (FIIT STU), člen
Citace
CHARVÁT, Lucie. Deep Pushdown Automata and Their Restricted Versions. Brno, 2017. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-06-19. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/thesis/6086/
BibTeX 
@mastersthesis{FITMT6086,
    author = "Lucie Charv\'{a}t",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Deep Pushdown Automata and Their Restricted  Versions",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2017,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/thesis/6086/"
}

Závěrečné práce

Nahoru