Turingovy stroje bez návratu na pásce
| 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: Plánujete po opravení nedostatkov prevodového algoritmu jeho formálny dôkaz? | 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 | Surovič, Marek | cs |
| dc.contributor.referee | Vrábel, Lukáš | cs |
| dc.date.created | 2013 | cs |
| dc.description.abstract | Tato práce zavádí omezenou variantu Turingových strojů, které se nemohou pohybovat doleva, tedy se vracet na pásce. Ostatní vlastnosti Turingových strojů (například potenciálně nekonečná páska a schopnost přepisovat symboly na pásce) jsou zachovány. Zavedením tohoto omezení limitujeme vyjadřovací sílu Turingových strojů do té míry, ľe Turingovy stroje bez návratu na pásce jsou ekvivalentní s konečnými automaty a lze je na konečný automat transformovat. Dále je představen a detailně popsán algoritmus, který realizuje tuto transformaci. | cs |
| dc.description.abstract | This work introduces a restricted variant of the Turing machine which cannot move left, thus return on its tape. Other properties, such as the potentially infinite symbol tape or the ability to rewrite symbols on the tape, remain unchanged. By introducing this restriction we limit the expressive power of the Turing machine to the point, where a non-returning Turing machine is equivalent to a finite automaton and can be transformed into one. A transformation algorithm is presented and described in detail. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | SUROVIČ, M. Turingovy stroje bez návratu na pásce [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013. | cs |
| dc.identifier.other | 79541 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54874 | |
| 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 | Turingův stroj | cs |
| dc.subject | konečný automat | cs |
| dc.subject | transformace | cs |
| dc.subject | omezení | cs |
| dc.subject | vyjadřovací síla | cs |
| dc.subject | Turing machine | en |
| dc.subject | finite automaton | en |
| dc.subject | transformation | en |
| dc.subject | restriction | en |
| dc.subject | expressive power | en |
| dc.title | Turingovy stroje bez návratu na pásce | cs |
| dc.title.alternative | Non-Returning Turing Machines | 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:22 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79541 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 17:58:48 | en |
| sync.item.modts | 2025.01.15 18:50:50 | 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 |