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

Bc. Zuzana KALUSKOVÁ

Diplomová práce

Problem-oriented tasks from theory of algorithms

Anotace:

Cílem této práce je navrhnout a zpracovat rozsáhlejší úlohy pomocí Turingových strojů, programů a vlastního jednoduchého programovacího jazyka. Důraz je kladen na vzájemnou převoditelnost mezi notacemi pojmu algoritmu tak aby byly snadno pochopitelné. Součástí této práce je i implementace úloh vizuálně, s ohledem na zásadu názornosti a přiměřenosti. Úlohy jsou řešeny z různých pohledů a do detailu.

Abstract:

The purpose of this thesis put forward large-scale tasks and substitute it by Turing machine, program and self simple programming language. Emphasis is laying on understanding convertibility from among notions of algorithm so that was simply understandably. Implementation tasks visually are a part of this issue. Tasks are solutions up to detail and from different sides of problem.

Klíčová slova

Vyčíslitelnost, Turingův stroj, Church-Turingova teze, Univerzální Turingův stroj, Vícepáskový Turingův stroj, Postův korespondenční problém

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 9. 5. 2011

Zveřejnit od: 9. 5. 2011

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

• Obhajoba proběhla 3. 6. 2011
• Vedoucí: doc. RNDr. PaedDr. Hashim Habiballa, PhD., Ph.D.

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

Magisterský studijní program / obor:
Informatika / Informační systémy