Koncové větné formy a jejich aplikace
but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. RNDr. Alexandr Meduna, CSc. (místopředseda) doc. RNDr. Milan Češka, Ph.D. (člen) Dr. Ing. Petr Peringer (člen) Ing. Aleš Smrčka, Ph.D. (člen) Ing. Vladimír Veselý, Ph.D. (člen) | cs |
but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm A. Otázky u obhajoby: Jaká je výpočetní složitost původní a modifikované verze algoritmu? Jak by se výsledky změnily, kdyby byl připojen jiný bezkontextový jazyk? Jaký byl implementační rozsah vaší práce? Jaké důkazové technicky jste používal ve vaší práci? Jak dlouho rozhodnutí o dotazu trvá? | cs |
but.jazyk | angličtina (English) | |
but.program | Informační technologie a umělá inteligence | cs |
but.result | práce byla úspěšně obhájena | cs |
dc.contributor.advisor | Meduna, Alexandr | en |
dc.contributor.author | Kožár, Tomáš | en |
dc.contributor.referee | Kövári, Adam | en |
dc.date.accessioned | 2022-06-21T07:58:10Z | |
dc.date.available | 2022-06-21T07:58:10Z | |
dc.date.created | 2022 | cs |
dc.description.abstract | Bezkontextové gramatiky sú jedny z najpoužívanejších formálnych modelov v teórii formálnych jazykov. Majú mnoho užitočných použití, no pre mnoho aplikácii nemajú dostatočnú vyjadrovaciu silu. Preto zavádzame koncový jazyk F . Keď vetná forma bezkontextovej gramatiky G patrí do jazyka F , stáva sa konečnou vetnou formou. Odstránením neterminálov z konečných vetných foriem získavame jazyk gramatiky G ukončený jazykom F , L(G,F) . Dokazujeme, že pre každý rekurzívne vyčísliteľný jazyk existuje jazyk L(G,F) , kde F = { w#reversal(w) | w patrí do { 0,1 } * } a reversal(w) je obrátené slovo w . Keď ako F použijeme regulárny jazyk, nedosiahneme žiadne zvýšenie vyjadrovacej sily oproti bezkontextovým gramatikám. Ukazujeme viacero aplikácii koncových vetných foriem v oblastiach lingvistiky a bioinformatiky. | en |
dc.description.abstract | Context-free grammars are one of the most used formal models in formal language theory. They have many useful applications, but for many applications, they lack expressive power. We introduce a final language F . When a sentential form of the context-free grammar G belongs to the F , it becomes a final sentential form. By the erasion of the nonterminals from the final sentential forms, we receive a language of G finalized by F , L(G,F) . We prove that for each recursively enumerable language L , there exists context-free grammar G , such that L = L(G,F) , with F = { w#reversal(w) | w is from {0,1}*}, where reversal(w) is a reversal of w . When a regular language is used as F , no increase in generative power compared to context-free grammars is achieved. We show multiple applications of the final sentential forms in the fields of the linguistics and bioinformatics. | cs |
dc.description.mark | A | cs |
dc.identifier.citation | KOŽÁR, T. Koncové větné formy a jejich aplikace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022. | cs |
dc.identifier.other | 145086 | cs |
dc.identifier.uri | http://hdl.handle.net/11012/207458 | |
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álne gramatiky | en |
dc.subject | vetné formy | en |
dc.subject | minimálne lineárna gramatiky | en |
dc.subject | rekurzívne vyčísliteľné jazyky | en |
dc.subject | Cocke-Younger-Kasami | en |
dc.subject | CYK | en |
dc.subject | formal grammars | cs |
dc.subject | sentential forms | cs |
dc.subject | minimal linear grammars | cs |
dc.subject | recursively enumerable languages | cs |
dc.subject | Cocke-Younger-Kasami | cs |
dc.subject | CYK | cs |
dc.title | Koncové větné formy a jejich aplikace | en |
dc.title.alternative | Final Sentential Forms and Their Applications | cs |
dc.type | Text | cs |
dc.type.driver | masterThesis | en |
dc.type.evskp | diplomová práce | cs |
dcterms.dateAccepted | 2022-06-17 | cs |
dcterms.modified | 2022-06-20-08:23:45 | cs |
eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
sync.item.dbid | 145086 | en |
sync.item.dbtype | ZP | en |
sync.item.insts | 2022.06.21 09:58:09 | en |
sync.item.modts | 2022.06.21 08:16:28 | en |
thesis.discipline | Matematické metody | cs |
thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
thesis.level | Inženýrský | cs |
thesis.name | Ing. | cs |
Files
Original bundle
1 - 4 of 4
Loading...
- Name:
- final-thesis.pdf
- Size:
- 967.93 KB
- Format:
- Adobe Portable Document Format
- Description:
- final-thesis.pdf
Loading...
- Name:
- Posudek-Vedouci prace-24245_v.pdf
- Size:
- 86.14 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Vedouci prace-24245_v.pdf
Loading...
- Name:
- Posudek-Oponent prace-24245_o.pdf
- Size:
- 86.33 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Oponent prace-24245_o.pdf
Loading...
- Name:
- review_145086.html
- Size:
- 1.44 KB
- Format:
- Hypertext Markup Language
- Description:
- review_145086.html