Synchronní formální systémy založené na gramatikách a převodnících

but.jazykangličtina (English)
but.programVýpočetní technika a informatikacs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorMeduna, Alexandren
dc.contributor.authorHoráček, Petren
dc.contributor.refereeJanoušek, Janen
dc.contributor.refereeYamamura,, Akihitoen
dc.date.createdcs
dc.description.abstractTato 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.en
dc.description.abstractThis doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.cs
dc.description.markPcs
dc.identifier.citationHORÁČEK, P. Synchronní formální systémy založené na gramatikách a převodnících [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .cs
dc.identifier.other99827cs
dc.identifier.urihttp://hdl.handle.net/11012/63249
dc.language.isoencs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectformální systémyen
dc.subjectgramatikyen
dc.subjectpřevodníkyen
dc.subjectřízené přepisováníen
dc.subjectsynchronizaceen
dc.subjectsyntaxe přirozeného jazykaen
dc.subjectpřeklad přirozeného jazykaen
dc.subjectformal systemscs
dc.subjectgrammarscs
dc.subjecttransducerscs
dc.subjectregulated rewritingcs
dc.subjectsynchronizationcs
dc.subjectnatural language syntaxcs
dc.subjectnatural language translationcs
dc.titleSynchronní formální systémy založené na gramatikách a převodnícíchen
dc.title.alternativeSynchronous Formal Systems Based on Grammars and Transducerscs
dc.typeTextcs
dc.type.driverdoctoralThesisen
dc.type.evskpdizertační prácecs
dcterms.modified2020-05-10-17:46:43cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid99827en
sync.item.dbtypeZPen
sync.item.insts2025.03.27 12:12:03en
sync.item.modts2025.01.15 20:06:08en
thesis.disciplineVýpočetní technika a informatikacs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelDoktorskýcs
thesis.namePh.D.cs
Files
Original bundle
Now showing 1 - 5 of 6
Loading...
Thumbnail Image
Name:
final-thesis.pdf
Size:
555.59 KB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Loading...
Thumbnail Image
Name:
thesis-1.pdf
Size:
377.43 KB
Format:
Adobe Portable Document Format
Description:
thesis-1.pdf
Loading...
Thumbnail Image
Name:
Posudek-Vedouci prace-501_s1.pdf
Size:
262.47 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Vedouci prace-501_s1.pdf
Loading...
Thumbnail Image
Name:
Posudek-Oponent prace-501_o1.pdf
Size:
144.85 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-501_o1.pdf
Loading...
Thumbnail Image
Name:
Posudek-Oponent prace-501_o2.pdf
Size:
31.32 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-501_o2.pdf
Collections