Detail práce

Universální simulátor automatů

Bakalářská práce Student: Krajíček Karel Akademický rok: 2015/2016 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název anglicky
A Universal Automata Simulator
Jazyk práce
český
Abstrakt

Táto práca je o simulátore automatov, v ktorom si užívateľ môže vyskúšať aké to je pracovať s rôznymi typmi automatov a Turingovými strojmi. Bol vytvorený v C++ za pomoci grafickej knižnice SDL program, v ktorom užívateľ môže vytvoriť Turingov stroj a následne simulovať jeho funkciu.

Klíčová slova

Turingov stroj, Konečné automaty, Zásobníkové automaty, Simulátor automatov, C++

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
neobhájeno
Obhajoba
13. června 2017
Oponent
Láznička Stanislav, Ing.
Průběh obhajoby

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 nedokázal vyvrátit výtky oponenta. Komise shledala nedostatky práce natolik závažné, že se práci rozhodla hodnotit jako nevyhovující.

Otázky u obhajoby

1. Proč nebyly v rámci práce implementovány nedeterministické varianty zmíněných automatů? Jak by problém nedeterminismu student řešil?
2. Z jakého důvodu byla pro grafické uživatelské rozhraní zvolena knihovna SDL místo jiných, pro tyto účely zřejmě vhodnějších knihoven (např. Qt)?

Komise
Honzík Jan M., prof. Ing., CSc. (UIFS FIT VUT), předseda
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), člen
Novák Michal, doc. RNDr., Ph.D. (UMAT FEKT VUT), člen
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT), člen
Szőke Igor, Ing., Ph.D. (UPGM FIT VUT), člen
Citace
KRAJÍČEK, Karel. Universální simulátor automatů. Brno, 2016. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-06-13. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/thesis/18031/
BibTeX 
@bachelorsthesis{FITBT18031,
    author = "Karel Kraj\'{i}\v{c}ek",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Univers\'{a}ln\'{i} simul\'{a}tor automat\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 = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/18031/"
}

Závěrečné práce

Nahoru