Synchronní formální systémy založené na gramatikách a převodnících
but.jazyk | angličtina (English) | |
but.program | Výpočetní technika a informatika | cs |
but.result | práce byla úspěšně obhájena | cs |
dc.contributor.advisor | Meduna, Alexandr | en |
dc.contributor.author | Horáček, Petr | en |
dc.contributor.referee | Janoušek, Jan | en |
dc.contributor.referee | Yamamura,, Akihito | en |
dc.date.created | cs | |
dc.description.abstract | 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. | en |
dc.description.abstract | This 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.mark | P | cs |
dc.identifier.citation | HORÁČ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.other | 99827 | cs |
dc.identifier.uri | http://hdl.handle.net/11012/63249 | |
dc.language.iso | en | cs |
dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
dc.subject | formální systémy | en |
dc.subject | gramatiky | en |
dc.subject | převodníky | en |
dc.subject | řízené přepisování | en |
dc.subject | synchronizace | en |
dc.subject | syntaxe přirozeného jazyka | en |
dc.subject | překlad přirozeného jazyka | en |
dc.subject | formal systems | cs |
dc.subject | grammars | cs |
dc.subject | transducers | cs |
dc.subject | regulated rewriting | cs |
dc.subject | synchronization | cs |
dc.subject | natural language syntax | cs |
dc.subject | natural language translation | cs |
dc.title | Synchronní formální systémy založené na gramatikách a převodnících | en |
dc.title.alternative | Synchronous Formal Systems Based on Grammars and Transducers | cs |
dc.type | Text | cs |
dc.type.driver | doctoralThesis | en |
dc.type.evskp | dizertační práce | cs |
dcterms.modified | 2020-05-10-17:46:43 | cs |
eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
sync.item.dbid | 99827 | en |
sync.item.dbtype | ZP | en |
sync.item.insts | 2025.03.27 12:12:03 | en |
sync.item.modts | 2025.01.15 20:06:08 | en |
thesis.discipline | Výpočetní technika a informatika | cs |
thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
thesis.level | Doktorský | cs |
thesis.name | Ph.D. | cs |
Files
Original bundle
1 - 5 of 6
Loading...
- Name:
- final-thesis.pdf
- Size:
- 555.59 KB
- Format:
- Adobe Portable Document Format
- Description:
- final-thesis.pdf
Loading...
- Name:
- thesis-1.pdf
- Size:
- 377.43 KB
- Format:
- Adobe Portable Document Format
- Description:
- thesis-1.pdf
Loading...
- Name:
- Posudek-Vedouci prace-501_s1.pdf
- Size:
- 262.47 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Vedouci prace-501_s1.pdf
Loading...
- Name:
- Posudek-Oponent prace-501_o1.pdf
- Size:
- 144.85 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Oponent prace-501_o1.pdf
Loading...
- Name:
- Posudek-Oponent prace-501_o2.pdf
- Size:
- 31.32 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Oponent prace-501_o2.pdf