Zpět na vyhledávání

Petr STÁREK

Bachelor's thesis

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

Problem-oriented tasks from theory of algorithms
Abstract:
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.
 

Keywords

vyčíslitelnost problém Turingův stroj Vícepáskový Turingův stroj RAM stroj Postův korespondenční problém stavový prostor
 
Language used: Czech
Date on which the thesis was submitted / produced: 22. 4. 2013
Accessible from:: 22. 4. 2013

Thesis defence

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

Citation record

Cite this text
The right form of listing the thesis as a source quoted

STÁREK, Petr. Problémové úlohy z oblasti teorie vyčíslitelnosti. Ostrava, 2013. bakalářská práce (Bc.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta

Full text of thesis

Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 22.4.2013

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou od 22. 4. 2013 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakulta
https://portal.osu.cz//StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=29283 Reference to the local database file of the institution

University of Ostrava

Faculty of Science

Bachelor programme / field:
Information Science / Information Science

Theses on a related topic

List of theses with an identical keyword.
All theses