Systémy převodníků: Definice, vlastnosti a aplikace
Loading...
Date
Authors
Řezáč, Michal
ORCID
Advisor
Referee
Mark
B
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
V současné době se používá k popisu překladačů programovacích jazyků konečný a zásobníkový převodník jako dvě samostatné části. Cílem práce je definovat systém překladových automatů, který umožní popsat překladač jedním souhrnným systémem převodníků místo dvou nezávislých. Systém překladových automatů představený v této práci je založený na konečném a zásobníkovém převodníku. Jedná se o jednoduchý model bez vnitřní komunikace a kvůli této vlastnosti není vhodný pro formalizaci překladačů ale pro svou jednoduchost je systém snadno rozšiřitelný o nové vlastnosti a může tak sloužit jako základ pro další výzkum.
Currently, finite and pushdown automata are used to describe programming language compilers as two separate parts. This thesis aims to define a system of transducers that allows to describe a compiler by one aggregate system, instead of two independent transducers. The system of transducers presented in this paper is based on finite and pushdown transducers. It is a simple model without internal communication. Because of this property, it is not suitable for compiler formalization but because of its simplicity, the system is easily extensible with new features and can thus serve as a basis for further research.
Currently, finite and pushdown automata are used to describe programming language compilers as two separate parts. This thesis aims to define a system of transducers that allows to describe a compiler by one aggregate system, instead of two independent transducers. The system of transducers presented in this paper is based on finite and pushdown transducers. It is a simple model without internal communication. Because of this property, it is not suitable for compiler formalization but because of its simplicity, the system is easily extensible with new features and can thus serve as a basis for further research.
Description
Citation
ŘEZÁČ, M. Systémy převodníků: Definice, vlastnosti a aplikace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Informační technologie
Comittee
prof. Ing. Tomáš Hruška, CSc. (předseda)
prof. Ing. Adam Herout, Ph.D. (místopředseda)
doc. Ing. Michal Bidlo, Ph.D. (člen)
Ing. František Grézl, Ph.D. (člen)
Ing. Aleš Smrčka, Ph.D. (člen)
Date of acceptance
2021-08-24
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: Čo chýba prevodníkom aby boli vhodné na implementáciu prekladačov? Ako sa bude meniť sila prevodníkov pridaním napr. komunikácie medzi nimi? Můžete kombinací konečných a zásobníkových převodníků získat silnější model?
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení