Regulované jazykové operace a jejich užití
| but.committee | doc. Dr. Ing. Dušan Kolář (předseda) doc. Dr. Ing. Otto Fučík (člen) Ing. František Grézl, Ph.D. (člen) Ing. Ivana Burgetová, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) | cs |
| but.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á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. | 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 | Chocholatý, David | cs |
| dc.contributor.referee | Kožár, Tomáš | cs |
| dc.date.accessioned | 2023-07-17T08:03:35Z | |
| dc.date.available | 2023-07-17T08:03:35Z | |
| dc.date.created | 2023 | cs |
| dc.description.abstract | Tato práce představuje a studuje vymazávací systémy jako alternativní formální jazykový model k obecným skákajícím konečným automatům. Významným rozdílem oproti daným automatům je využití řídícího regulárního jazyka namísto stavového řízení v podobě obecného konečného automatu. Vymazávací systémy ponechávají práci s řetězci na vstupní pásce, přičemž samotné regulární jazyky mohou být přijímány klasickými konečnými automaty. Zároveň se zavedením nového formálního systému práce prokazuje jeho vztahy se známými jazykovými rodinami, rodinou jazyků zamíchání, Dyckovými jazyky a uzávěrové vlastnosti. Na základě formální specifikace vymazávacího systému je uvedeno více aplikací v oblasti bioinformatiky pro molekulární biologii, textových editorů a kompozičního šachu, včetně návrhu algoritmů a prezentování implementačního řešení. | cs |
| dc.description.abstract | This thesis introduces and studies erasing systems as an alternative formal language model to general jumping finite automata. A significant difference compared to the given automata is the use of a control regular language instead of state control in the form of a general finite automaton. Erasing systems leave the string work on the input tape, whereas regular languages themselves can be accepted by classical finite automata. At the same time, with the introduction of a new formal system, the thesis demonstrates its relations with well-known language families, the family of shuffle languages, Dyck languages and closure properties. Based on the formal specification of the erasing system, multiple applications in bioinformatics for molecular biology, text editors and compositional chess are shown, including designing algorithms and presenting the implementation solution. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | CHOCHOLATÝ, D. Regulované jazykové operace a jejich užití [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 141140 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/211033 | |
| 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 | vymazávací systém | cs |
| dc.subject | skákající konečné automaty | cs |
| dc.subject | regulované gramatiky a automaty | cs |
| dc.subject | operace vymazání | cs |
| dc.subject | srovnání s jinými formálními zařízeními definujícími jazyk | cs |
| dc.subject | uzávěrové vlastnosti | cs |
| dc.subject | aplikace formálních modelů | cs |
| dc.subject | otevřené problémy | cs |
| dc.subject | nové oblasti výzkumu | cs |
| dc.subject | erasing system | en |
| dc.subject | jumping finite automata | en |
| dc.subject | regulated grammars and automata | en |
| dc.subject | erasing operation | en |
| dc.subject | comparison with other language-defining formal devices | en |
| dc.subject | closure properties | en |
| dc.subject | application of formal models | en |
| dc.subject | open problems | en |
| dc.subject | new areas of research | en |
| dc.title | Regulované jazykové operace a jejich užití | cs |
| dc.title.alternative | Regulated Language Operations and Their Use | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2023-06-16 | cs |
| dcterms.modified | 2023-06-16-10:48:30 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 141140 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2023.07.17 10:03:35 | en |
| sync.item.modts | 2023.07.17 09:21:36 | 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 |