Výpočetní historie Turingových strojů a jejich generování gramatikami s rozptýleným kontextem

Simple item page
but.committeeprof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. Ing. Martin Drahanský, Ph.D. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) Doc. Věra Rozinajová, Ph.D. (člen) doc. Ing. Ondřej Ryšavý, Ph.D. (člen)cs
but.defenceStudent 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 " Otázky u obhajoby: Z jakého důvodu je třeba v algoritmu zvlášť řešit první konfiguraci Turingova stroje? Uvádíte i jednodušší alternativní verzi, rozdíl je skutečně jen v oddělovačích? Výsledné gramatiky obsahují i pro jednoduché Turingovi stroje množství pravidel. Bylo by možné provést nějakou vhodnou redukci?cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorMeduna, Alexandrcs
dc.contributor.authorKajan, Dušancs
dc.contributor.refereeSoukup, Ondřejcs
dc.date.available2016-06-24cs
dc.date.created2015cs
dc.description.abstractCílem této diplomové práce je navrhnout metodu , která by na vstupu očekávala Turingův stroj a na výstupu by byla propagujucí gramatika s roptýleným kontextem . Jazyk výstupní gramatiky by byl tvořený množinou řetězců reprezentující všechny validní výpočetní historie stroje na vstupu . Následně se tato práce zabývá otázkami , které z existence takového algoritmu vystávají , zejména ve vztahu k předpokladům , které dosud o výpočetní síle propagujících gramatik s rozptýleným kontextem existují . Názorné ukázky práce s těmito gramatikami a implementace představeného algoritmu v jazyce Haskell jsou také součástí této diplomové práce .cs
dc.description.abstractThe purpose of this thesis is to show a method, that would transform given Turing machine into propagating scattered context grammar, which language contains all valid computational histories of that particular Turing machine. Afterwards this thesis deals with questions arising from existence of such algorithm, especially in regards to the current knowledge about power of propagating scattered context grammars. Practical examples and implementation of proposed algorithm is also part of this thesis.en
dc.description.markAcs
dc.identifier.citationKAJAN, D. Výpočetní historie Turingových strojů a jejich generování gramatikami s rozptýleným kontextem [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2015.cs
dc.identifier.other88475cs
dc.identifier.urihttp://hdl.handle.net/11012/64036
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsPřístup k plnému textu prostřednictvím internetu byl licenční smlouvou omezen na dobu 1 roku/letcs
dc.subject{ gramatiky s rozptýleným kontextemcs
dc.subjectTuringův strojcs
dc.subjectalgoritmuscs
dc.subjectHaskellcs
dc.subjectpropagujíci gramatiky s rozptýleným kontextemcs
dc.subjectteoretická informatikacs
dc.subjectvýpočetní historiecs
dc.subjectscattered context grammarsen
dc.subjectpropagating scattered context grammarsen
dc.subjecttheory of computationen
dc.subjectTuring machineen
dc.subjectalgorithmen
dc.subjectHaskellen
dc.subjectcomputational historyen
dc.titleVýpočetní historie Turingových strojů a jejich generování gramatikami s rozptýleným kontextemcs
dc.title.alternativeComputational Histories of Turing Machines and Their Generation by Scattered Context Grammarsen
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.dateAccepted2015-06-24cs
dcterms.modified2020-05-10-16:11:47cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid88475en
sync.item.dbtypeZPen
sync.item.insts2025.03.26 15:20:48en
sync.item.modts2025.01.17 14:52:11en
thesis.disciplineMatematické metody v informačních technologiíchcs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 3 of 3
Thumbnail Image
Name:
Posudek-Vedouci prace-16787_v.pdf
Size:
87.16 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Vedouci prace-16787_v.pdf
Download
Thumbnail Image
Name:
Posudek-Oponent prace-16787_o.pdf
Size:
89.87 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-16787_o.pdf
Download
Thumbnail Image
Name:
review_88475.html
Size:
1.51 KB
Format:
Hypertext Markup Language
Description:
file review_88475.html
Download
Collections
2015