Detail práce

Grammars with Restricted Derivation Trees

Disertační práce Student: Koutný Jiří Akademický rok: 2012/2013 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název česky
Gramatiky s omezenými derivačními stromy
Jazyk práce
anglický
Abstrakt

V této disertační práci jsou studovány teoretické vlastnosti gramatik s omezenými derivačními stromy. Po uvedení současného stavu poznání v této oblasti je výzkum zaměřen na tři základní typy omezení derivačních stromů. Nejprve je představeno zcela nové téma, které je založeno na omezení řezů a je zkoumána vyjadřovací síla takto omezené gramatiky. Poté je zkoumáno několik nových vlastností omezení kladeného na cestu derivačních stromů. Zejména je studován vliv vymazávacích pravidel na vyjadřovací sílu gramatik s omezenou cestou a pro tyto gramatiky jsou zavedeny dvě normální formy. Následně je popsána nová souvislost mezi gramatikami s omezenou cestou a některými pseudouzly. Dále je prezentován protiargument k vyjadřovací síle tohoto modelu, která byla dosud považována za dobře známou vlastnost. Nakonec je zavedeno zobecnění modelu s omezenou cestou na ne jednu, ale několik cest. Tento model je následně studován zejména z hlediska vlastností vkládání, uzávěrových vlastností a vlastností syntaktické analýzy.

Klíčová slova

stromem řízené gramatiky, úrovněmi řízené gramatiky, cestou řízené gramatiky, cestami řízené gramatiky, řezy řízené gramatiky, uspořádanými řezy řízené gramatiky, řízené přepisování, omezené derivační stromy

Ústav
Studijní program
Výpočetní technika a informatika, obor Výpočetní technika a informatika
Soubory
Stav
obhájeno
Obhajoba
18. září 2012
Citace
KOUTNÝ, Jiří. Grammars with Restricted Derivation Trees. Brno, 2012. Disertační práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2012-09-18. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/phd-thesis/355/
BibTeX
@phdthesis{FITPT355,
    author = "Ji\v{r}\'{i} Koutn\'{y}",
    type = "Diserta\v{c}n\'{i} pr\'{a}ce",
    title = "Grammars with Restricted Derivation Trees",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2012,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/phd-thesis/355/"
}
Nahoru