Detail práce

Systémy formálních modelů a jejich aplikace

Diplomová práce Student: Čermák Martin Akademický rok: 2007/2008 Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název anglicky
Systems of Formal Models with Applications
Jazyk práce
český
Abstrakt

Tato práce pojednává o automatových systémech jako o novém způsobu zpracování formálních jazyků. V textu jsou zmíněnyčtyři modely. První z nich pracuje v sekvenčním módu. V jednom okamžiku počítá jediná komponenta systému. Druhý z nich pracuje v částečně paralelním módu. Zde během jednoho výpočetního kroku aktivně pracují buďto všechny, nebo pouze jediná komponenta systému. V posledních dvou modelech každý automat zpracovává svůj vlastní vstupní řetězec, přičemž jeho výpočet je řízen stavy, resp. přechody ostatních komponent. Stavy, resp. pravidla přechodů komponent mohou zapříčinit i tzv. blokaci, nebo odblokování dílčích automatů.

Klíčová slova

Konečný automat, zásobníkový automat, gramatické systémy, automatové systémy, multipřijímací automatové systémy

Ústav
Ústav informačních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Inteligentní systémy
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
16. června 2008
Oponent
Lukáš Roman, Ing., Ph.D.
Komise
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT), předseda
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT), člen
Herout Adam, prof. Ing., Ph.D. (UPGM FIT VUT), člen
Orság Filip, Ing., Ph.D. (UITS FIT VUT), člen
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Racek Stanislav, doc. Ing., CSc. (ZČU v Plzni), člen
Citace
ČERMÁK, Martin. Systémy formálních modelů a jejich aplikace. Brno, 2008. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2008-06-16. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/thesis/1976/
BibTeX 
@mastersthesis{FITMT1976,
    author = "Martin \v{C}erm\'{a}k",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Syst\'{e}my form\'{a}ln\'{i}ch model\r{u} a jejich aplikace",
    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/1976/"
}

Závěrečné práce

Nahoru