Název:
Skákající konečné automaty a převodníky
Překlad názvu:
Jumping Finite Automata and Transducers
Autoři:
Hrubý, Juraj ; Burgetová, Ivana (oponent) ; Meduna, Alexandr (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2013
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
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.
Klíčová slova:
implementace; skákající konečné automaty; skákající konečné převodníky; striktní determinismus; využití; implementation; jumping finite automata; jumping finite transducers; strict determinism; usage
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/54923