Return to search

Výpočetní historie Turingových strojů a jejich generování gramatikami s rozptýleným kontextem / Computational Histories of Turing Machines and Their Generation by Scattered Context Grammars

The 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.

Identiferoai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:264935
Date January 2015
CreatorsKajan, Dušan
ContributorsSoukup, Ondřej, Meduna, Alexandr
PublisherVysoké učení technické v Brně. Fakulta informačních technologií
Source SetsCzech ETDs
LanguageCzech
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/masterThesis
Rightsinfo:eu-repo/semantics/restrictedAccess

Page generated in 0.0018 seconds