Multidimensionální automaty a jejich jazyky
Loading...
Date
Authors
Hladík, Zdeněk
ORCID
Advisor
Referee
Mark
A
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
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.
This work includes brief overview of the theory behind two-dimentional languages which was the main theme examined in previous work. Based upon this theory there are next chapters introducing a new concept of three-dimentional and multi-dimentional languages. For each type of language there is a definition of corresponding type of strings and string operations. Finally, for each type of language there are definitions of developed formal gramatics and automata. Along with theory, in work there is an demonstration of developed program, which provides simulation of introduced multidimensional automata.
This work includes brief overview of the theory behind two-dimentional languages which was the main theme examined in previous work. Based upon this theory there are next chapters introducing a new concept of three-dimentional and multi-dimentional languages. For each type of language there is a definition of corresponding type of strings and string operations. Finally, for each type of language there are definitions of developed formal gramatics and automata. Along with theory, in work there is an demonstration of developed program, which provides simulation of introduced multidimensional automata.
Description
Keywords
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, multi-dimentional languages, multi-dimentional automata, three-dimentional languages, three-dimentional automata, multi-dimentional cell, formal gramatic, multi-dimentional Turing machine
Citation
HLADÍK, Z. Multidimensionální automaty a jejich jazyky [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Bezpečnost informačních technologií
Comittee
doc. Dr. Ing. Petr Hanáček (předseda)
prof. Ing. Miroslav Švéda, CSc. (místopředseda)
Ing. Vladimír Bartík, Ph.D. (člen)
Ing. Zbyněk Křivka, Ph.D. (člen)
Ing. Vladimír Veselý, Ph.D. (člen)
doc. Ing. Václav Zeman, Ph.D. (člen)
Date of acceptance
2017-06-21
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á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?
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení