Problémové úlohy z oblasti teorie vyčíslitelnosti

Petr STÁREK

Bakalářská práce

Problem-oriented tasks from theory of algorithms

Anotace:

Cílem této práce je navrhnout a vypracovat metodiku řešení úloh pomocí Turingových strojů, RAM strojů a dále řešení problematiky Postova korespondenčního problému podpořenou ukázkami řešení konkrétních problémů. Důraz se klade na názornost řešených úloh a srozumitelnost jejich reprezentace. Úlohy jsou řešeny z různých pohledů a do detailu.

Abstract:

The purpose of this thesis is to design and work out the methodic of problem-solving by Turing machines, RAM machines and the solution of the Post correspondence problem supported with examples of particular-problem solutions. The thesis is focused on an illustration and an intelligibility of represented solutions. The problems are solved from different points of view and in details.

Klíčová slova

vyčíslitelnost, problém, Turingův stroj, Vícepáskový Turingův stroj, RAM stroj, Postův korespondenční problém, stavový prostor

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 22. 4. 2013

Zveřejnit od: 22. 4. 2013

Obhajoba závěrečné práce

• Vedoucí: doc. RNDr. PaedDr. Hashim Habiballa, PhD, Ph.D.

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Informatika / Informatika