but.committee	doc. Ing. Richard Růžička, Ph.D., MBA (předseda) prof. Dr. Ing. Pavel Zemčík, dr. h. c. (místopředseda) Ing. Vladimír Bartík, Ph.D. (člen) Mgr. Jan Pavlík, Ph.D. (člen) doc. Mgr. Adam Rogalewicz, Ph.D. (člen) doc. Ing. Ondřej Ryšavý, 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 na otázky 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 " B ". Otázky u obhajoby: V práci jsou využity hluboké zásobníkové automaty, jejich definice ale není převzata z literatury správně. V práci uvažujete, že pokud se provádí expanze s pravidlem hloubky m a neterminálem A, tak dochází k přepisu m-tého výskytu neterminálu A od vrcholu zásobníku. Originální definice však pracuje pouze s m-tým neterminálem od vrcholu zásobníku (tedy bez rozlišení pozice s ohledem na specifický neterminál). Jak toto ovlivní vaše metody? Dokážete pracovat i s originální definicí hlubokého zásobníkového automatu?	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	Dvořák, Tomáš	cs
dc.contributor.referee	Kocman, Radim	cs
dc.date.created	2019	cs
dc.description.abstract	Tato práce se zabývá formálním pohledem na regulovaný syntaxí řízený překlad. První část obsahuje formální základy teorie jazyků, jejich klasifikaci a analýzu. Jsou uvedeny příklady gramatik generující jazyky, které nejsou bezkontextové, především maticové gramatiky, gramatiky s nahodilým kontextem a programované gramatika. Jsou uvedeny konečné, zásobníkové, hluboké a regulované automaty. Formálně vymezuje převodníky a jejich roli v rámci formálního a syntaxí řízeného překladu. Zavádí regulované převodníky založené na regulovaných automatech. Jádrem práce je návrh algoritmů regulované syntaktické analýzy jako rozšíření tradičních algoritmů prediktivní syntaktické analýzy. Tyto algoritmy jsou navrženy pro všechny uvedené speciální typy gramatik. Závěr práce je věnován návrhu jazyka jako prostředku pro popis těchto gramatik a překladače těchto gramatik na kód syntaktického analyzátoru a jejich grafického analyzátoru.	cs
dc.description.abstract	This thesis deals with formal and syntax directed translation. This thesis contains theoretical part, which defines regular, context free, context sensitive and recursively enumerable languages a grammar. There are given examples of grammars which are able to generate languages that are not context free. Covered by this thesis are matrix grammars, random context grammars and programed grammars. Researched are also finite, pushdown, deep and regular automata, transducers and their part within format syntax directed translation. This project also defines regular transducers based as regulated automata. Thesis defines regulated methods of syntax analysis based on predictive parsers. These methods cover analysis of studied regulated grammars. The final part of this thesis describes new language capable of effective description of these grammars and compiler producing parser code for these grammars written in this new language and their graphical analyzer.	en
dc.description.mark	B	cs
dc.identifier.citation	DVOŘÁK, T. Regulovaný syntaxí řízený překlad [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.	cs
dc.identifier.other	121829	cs
dc.identifier.uri	http://hdl.handle.net/11012/187284
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	překladač	cs
dc.subject	gramatika	cs
dc.subject	automat	cs
dc.subject	převodník	cs
dc.subject	překlad	cs
dc.subject	syntaxí řízený překlad	cs
dc.subject	regulované automaty	cs
dc.subject	regulovaný převodník	cs
dc.subject	syntaktická analýza	cs
dc.subject	překladač	cs
dc.subject	compiler	en
dc.subject	grammar	en
dc.subject	automaton	en
dc.subject	transducer	en
dc.subject	syntax directed translation	en
dc.subject	regulated automata	en
dc.subject	regulated transducers	en
dc.subject	syntax analysis	en
dc.subject	compiler	en
dc.title	Regulovaný syntaxí řízený překlad	cs
dc.title.alternative	Regulated Syntax-Directed Translation	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2019-08-26	cs
dcterms.modified	2019-09-02-09:04:09	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	121829	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.26 15:30:30	en
sync.item.modts	2025.01.15 12:16:13	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

Regulovaný syntaxí řízený překlad

Files

Original bundle

Collections