Detail práce

Synchronous Formal Systems Based on Grammars and Transducers

Disertační práce Student: Horáček Petr Akademický rok: 2014/2015 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název česky
Synchronní formální systémy založené na gramatikách a převodnících
Jazyk práce
anglický
Abstrakt

Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.

Klíčová slova

formální systémy, gramatiky, převodníky, řízené přepisování, synchronizace, syntaxe přirozeného jazyka, překlad přirozeného jazyka

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Výpočetní technika a informatika, obor Výpočetní technika a informatika
Soubory
Stav
obhájeno
Obhajoba
12. září 2014
Citace
HORÁČEK, Petr. Synchronous Formal Systems Based on Grammars and Transducers. Brno, 2014. Disertační práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2014-09-12. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/phd-thesis/501/
BibTeX 
@phdthesis{FITPT501,
    author = "Petr Hor\'{a}\v{c}ek",
    type = "Diserta\v{c}n\'{i} pr\'{a}ce",
    title = "Synchronous Formal Systems Based on Grammars and Transducers",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2014,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/phd-thesis/501/"
}

Závěrečné práce

Nahoru