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

Bc. Zuzana KALUSKOVÁ

Master's thesis

Problem-oriented tasks from theory of algorithms

Anotácia:

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.

Kľúčové slová

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: Czech

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

Zverejniť od: 9. 5. 2011

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

• Obhajoba proběhla 3. 6. 2011
• Vedúci: doc. RNDr. PaedDr. Hashim Habiballa, PhD., Ph.D.

University of Ostrava

Faculty of Science

Master programme / odbor:
Information Science / Information Systems