Detail práce

Simulace konečných převodníků

Bakalářská práce Student: Micenková Barbora Akademický rok: 2007/2008 Vedoucí: Lukáš Roman, Ing., Ph.D.
Název anglicky
Simulation of Finite Transducers
Jazyk práce
český
Abstrakt

K rychlému překladu mezi strojovým kódem a assemblerem za účelem simulace je možné použít speciální abstraktní model - tzv. párový konečný automat. Jeho vnitřní uspořádání nás přivádí k problematice konečných převodníků. Vzhledem k tomu, že simulace deterministických převodníků je efektivnější, musíme se procesem determinizace zabývat. Existující algoritmy jsou bohužel aplikovatelné pouze na převodníky provádějící překlad konečných jazyků, zatímco my na vstupu očekáváme obecně nekonečný jazyk. Proto je nutné nalézt způsob, jak rychle rozpoznat, je-li převodník na vstupu determinizovatelný. V této bakalářské práci jsou shrnuty doposud publikované poznatky z oblasti determinizace konečných převodníků a rovněž navržen nový algoritmus determinizace převodníků provádějících překlad obecně nekonečných jazyků. Nedeterminizovatelné převodníky na vstupu jsou detekovány.

Klíčová slova

konečný převodník, determinizace, determinizovatelnost, párový konečný automat, HW/SW co-design

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
12. června 2008
Oponent
Kolář Dušan, doc. Dr. Ing.
Komise
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT), předseda
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT), člen
Martinek David, Ing. (UIFS FIT VUT), člen
Masopust Tomáš, RNDr., Ph.D. (UIFS FIT VUT), člen
Orság Filip, Ing., Ph.D. (UITS FIT VUT), člen
Sojka Petr, doc. RNDr., Ph.D. (FI MUNI), člen
Citace
MICENKOVÁ, Barbora. Simulace konečných převodníků. Brno, 2008. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2008-06-12. Vedoucí práce Lukáš Roman. Dostupné z: https://www.fit.vut.cz/study/thesis/6679/
BibTeX 
@bachelorsthesis{FITBT6679,
    author = "Barbora Micenkov\'{a}",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Simulace kone\v{c}n\'{y}ch p\v{r}evodn\'{i}k\r{u}",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2008,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/6679/"
}

Závěrečné práce

Nahoru