O vymazávacích pravidlech v řízených gramatikách
| but.committee | doc. Dr. Ing. Dušan Kolář (předseda) prof. RNDr. Alexandr Meduna, CSc. (místopředseda) doc. Dr. Ing. Otto Fučík (člen) Ing. Zbyněk Křivka, Ph.D. (člen) Ing. Šárka Květoňová, Ph.D. (člen) Prof. RNDr. Milan Mišovič, CSc. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázku oponenta a na další 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: Ke Kapitole 3.6: Jaký je vztah mezi třídou jazyků generovaných Indian gramatikami a třídou jazyků generovaných ETOL systémy? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Meduna, Alexandr | cs |
| dc.contributor.author | Zemek, Petr | cs |
| dc.contributor.referee | Koutný, Jiří | cs |
| dc.date.created | 2010 | cs |
| dc.description.abstract | V této práci je diskutován vliv vymazávacích pravidel na generativní sílu řízených gramatik, což je velký otevřený problém teorie řízeného přepisování. Tato práce studuje možnost odstranění vymazávacích pravidel z těchto gramatik tak, že shromažďuje aktuální výsledky na toto téma a přináší novou podmínku, nazvanou k-limitované vymazávání, která zaručuje, že jsme bez vlivu na generovaný jazyk schopni odstranit všechna vymazávací pravidla z libovolné bezkontextové gramatiky řízené regulárním jazykem splňující tuto podmínku. Tento výsledek je částečným řešením výše zmíněného problému. Mimoto je prezentován nový algoritmus k odstranění vymazávacích pravidel z bezkontextových gramatik, který nepotřebuje předurčovat tzv. epsilon-neterminály (na rozdíl od standardního algoritmu používaného v učebnicích). V závěru je zhodnocen přínos těchto výsledků pro syntaktickou analýzu. | cs |
| dc.description.abstract | This work discusses the effect of erasing rules to the generative power of regulated grammars, which is a big open problem in the theory of regulated rewriting. It studies the possibility of removal of erasing rules from regulated grammars by aggregation of current, up-to-date results concerning this elimination and by presentation of a new condition, called k-limited erasing, under which all erasing rules can be always removed from regularly controlled context-free grammars without affecting their generative power. This result partially solves the abovementioned problem. Moreover, a new algorithm for elimination of erasing rules from context-free grammars is presented. This algorithm does not require any predetermination of so called epsilon-nonterminals (in contrast to the standard algorithm used in textbooks). In the conclusion, a significance of these results concerning syntactical analysis is discussed. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | ZEMEK, P. O vymazávacích pravidlech v řízených gramatikách [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010. | cs |
| dc.identifier.other | 34691 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54244 | |
| dc.language.iso | cs | 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 | bezkontextová gramatika | cs |
| dc.subject | řízené gramatiky | cs |
| dc.subject | bezkontextová gramatika řízená regulárním jazykem | cs |
| dc.subject | odstraňování vymazávacích pravidel | cs |
| dc.subject | limitované vymazávání | cs |
| dc.subject | context-free grammar | en |
| dc.subject | regulated grammars | en |
| dc.subject | regularly controlled context-free grammar | en |
| dc.subject | removal of erasing rules | en |
| dc.subject | limited erasing | en |
| dc.title | O vymazávacích pravidlech v řízených gramatikách | cs |
| dc.title.alternative | On Erasing Rules in Regulated Grammars | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2010-06-24 | cs |
| dcterms.modified | 2020-05-09-23:41:45 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 34691 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 14:47:57 | en |
| sync.item.modts | 2025.01.15 18:57:01 | en |
| thesis.discipline | Informační systémy | 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 |