Skákající konečné automaty a převodníky
| but.committee | 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) | cs |
| but.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? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Meduna, Alexandr | cs |
| dc.contributor.author | Hrubý, Juraj | cs |
| dc.contributor.referee | Burgetová, Ivana | cs |
| dc.date.created | 2013 | cs |
| dc.description.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. | cs |
| dc.description.abstract | 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. | en |
| dc.description.mark | A | cs |
| dc.identifier.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. | cs |
| dc.identifier.other | 79218 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54923 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | skákající konečné automaty | cs |
| dc.subject | skákající konečné převodníky | cs |
| dc.subject | striktní determinismus | cs |
| dc.subject | využití | cs |
| dc.subject | implementace | cs |
| dc.subject | jumping finite automata | en |
| dc.subject | jumping finite transducers | en |
| dc.subject | strict determinism | en |
| dc.subject | usage | en |
| dc.subject | implementation | en |
| dc.title | Skákající konečné automaty a převodníky | cs |
| dc.title.alternative | Jumping Finite Automata and Transducers | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2013-06-13 | cs |
| dcterms.modified | 2020-05-10-16:11:05 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79218 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 17:59:30 | en |
| sync.item.modts | 2025.01.15 13:05:27 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |