Detail práce

Paralelní hluboké zásobníkové automaty

Bakalářská práce Student: Solár Peter Akademický rok: 2006/2007 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název anglicky
Parallel Deep Pushdown Automata
Jazyk práce
český
Abstrakt

Tato práce představuje paralelní hluboké zásobníkové automaty jako paralelní verzi hlubokých zásobníkových automatů. Jsou založeny na pravidlech, podle kterých může automat provést expanzi současně až n nejvýše položených neterminálních symbolů na vrcholu zásobníku pouze jednou aplikací pravidla. Podmínkou je, aby se na zásobníku vyskytoval dostatečný počet neterminálů. Hlavní výhoda použití paralelních hlubokých zásobníkových automatů spočívá v rychlejším rozhodování.

Klíčová slova

formální jazyky, automaty, zásobníkové automaty, hluboké zásobníkové automaty, paralelní hluboké zásobníkové automaty, gramatiky, bezkontextové gramatiky, n-omezené stavové gramatiky, stavové gramatiky

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
12. června 2007
Oponent
Křivka Zbyněk, Ing., Ph.D.
Komise
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT), předseda
Herout Pavel, doc. Ing., Ph.D. (ZČU v Plzni), člen
Lukáš Roman, Ing., Ph.D. (UIFS FIT VUT), člen
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT), člen
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT), člen
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT), člen
Citace
SOLÁR, Peter. Paralelní hluboké zásobníkové automaty. Brno, 2007. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2007-06-12. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/thesis/4917/
BibTeX 
@bachelorsthesis{FITBT4917,
    author = "Peter Sol\'{a}r",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Paraleln\'{i} hlubok\'{e} z\'{a}sobn\'{i}kov\'{e} automaty",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2007,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/4917/"
}

Závěrečné práce

Nahoru