Skákající konečné automaty a převodníky
Loading...
Date
Authors
Hrubý, Juraj
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 bakalářská práce navazuje na studium skákajících konečných automatů a zavádí skákající konečné převodníky. Skákající konečné automaty jsou modifikované konečné automaty tak, že symboly ze vstupní pásky nejsou čteny spojitě zleva-doprava, ale čtecí hlava se může pohybovat po vstupní pásce pomocí skoků. Skákající konečné převodníky jsou podobně modifikované konečné převodníky. Aby bylo možné skákající konečné automaty a převodníky implementovat, byly zavedeny jejich striktně deterministické verze omezením konečné stavové kontroly a modifikací binární skokové relace. Práce se dále zabývá možným využitím skákajících konečných automatů a převodníků a popisem implementace striktně deterministického skákajícího konečného automatu.
The bachelor's thesis builds upon the study of jumping finite automata and introduces jumping finite transducers. Jumping finite automata are finite automata modified in such a way that symbols from the input tape are not read continuously from left to right but that the reading head can make moves on the input tape by jumps. Jumping finite transducers are finite transducers modified in a very similar way. In order to implement jumping finite automata and transducers, strictly deterministic versions of them were introduced by restricting the finite state control and by modification of the binary jumping relation. The thesis furthermore focuses on possible usage of jumping finite automata and transducers and on the description of the implementation of strictly deterministic jumping finite automata.
The bachelor's thesis builds upon the study of jumping finite automata and introduces jumping finite transducers. Jumping finite automata are finite automata modified in such a way that symbols from the input tape are not read continuously from left to right but that the reading head can make moves on the input tape by jumps. Jumping finite transducers are finite transducers modified in a very similar way. In order to implement jumping finite automata and transducers, strictly deterministic versions of them were introduced by restricting the finite state control and by modification of the binary jumping relation. The thesis furthermore focuses on possible usage of jumping finite automata and transducers and on the description of the implementation of strictly deterministic jumping finite automata.
Description
Citation
HRUBÝ, J. Skákající konečné automaty a převodníky [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Informační technologie
Comittee
prof. Ing. Tomáš Vojnar, Ph.D. (předseda)
doc. Ing. Vladimír Drábek, CSc. (místopředseda)
doc. Ing. Radek Burget, Ph.D. (člen)
doc. Ing. Tomáš Martínek, Ph.D. (člen)
Ing. Petr Schwarz, Ph.D. (člen)
Date of acceptance
2013-06-13
Defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky 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: Proč jsou zvlášť definované DSKA (def. 4.1.3) a SDSKA (def. 4.2.2.1), když jejich definice jsou úplně stejné. Nebylo by vhodnější rozlišit spíše mód, ve kterém jednotlivé DSKA pracují? Uvažoval jste o tom, zda by se změnila třída přijímaných jazyků, pokud by např. SDSKA pracoval vždy s nejpravějším nezasekávajícím symbolem?
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení