Multidimensionální automaty a jejich jazyky

Název anglicky

Multi-Dimentional Automata and Their Languages

Jazyk práce

český

Abstrakt

Tato práce obsahuje stručný přehled teorie dvoudimensionálních jazyků, která byla tématem předchozí práce autorů. Dále jsou za pomoci této teorie představeny jazyky třídimensionální a multidimensionální. Pro každý druh těchto formálních jazyků je představen jejich ekvivalent řetězce a operace s danými řetězci. Především jsou také pro každý druh těchto jazyků představeny také příslušné vyvinuté formální gramatiky a především automaty. Spolu s těmito pojmy je součástí práce i demonstrace vyvinuté aplikace simulující představené multidimensionální automaty.

Klíčová slova

multidimensionální jazyky, multidimensionální automaty, třídimensionální jazyky, třídi-mensionální automaty, multidimensionální buňka, formální gramatika, multidimensionální Turingův stroj

Ústav

Ústav informačních systémů FIT VUT v Brně

Studijní program

Informační technologie, obor Bezpečnost informačních technologií

Soubory

Stav

obhájeno, hodnocení A

Obhajoba

21. června 2017

Oponent

Kocman Radim, Ing., Ph.D.

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 následně odpověděl na otázku 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 "A".

Otázky u obhajoby

Ve všech uvedených příkladech hledají navržené automaty vzor v prvních několika dimenzích vstupu, a pokud jej naleznou, prohlásí vstup za přijatý. Ve výsledku tak přijímají všechny vstupy s větší dimenzí, kdy zbylé dimenze nijak nekontrolují. Je možné automatem ověřit i samotnou velikost dimenze? Např.: Je možné plně zajistit to, že bude přijata pouze buňka o čtyřech dimenzích, která bude obsahovat ve všech směrech všude stejný symbol?

Komise

Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT), předseda
Bartík Vladimír, Ing., Ph.D. (UIFS FIT VUT), člen
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT), člen
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT), člen
Veselý Vladimír, Ing., Ph.D. (UIFS FIT VUT), člen
Zeman Václav, doc. Ing., Ph.D. (UTKO FEKT VUT), člen

Citace

HLADÍK, Zdeněk. Multidimensionální automaty a jejich jazyky. Brno, 2017. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2017-06-21. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/thesis/19071/

BibTeX

@mastersthesis{FITMT19071,
    author = "Zden\v{e}k Hlad\'{i}k",
    type = "Diplomov\'{a} pr\'{a}ce",
    title = "Multidimension\'{a}ln\'{i} automaty a jejich jazyky",
    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/19071/"
}