Pojem determinismu a nedeterminismu v informatice

Roman GRULICH

Bakalářská práce

Determinism vs. nedeterminism in Computer Science

Anotace:

Práce nazvaná Pojem determinismu a nedeterminismu v informatice je zaměřena na vysvětlení pojmů determinismus a nedeterminismus a na ukázky jejich využívání. V práci je ukázáno využití nedeterminismu ve spojení s konečnými automaty a Turingovými stroji. Dále je popsán jejich vztah ke složitosti. Poslední kapitola se věnuje řešení deterministických a nedeterministických úloh. Tato kapitola je obohacena o praktické příklady. Na konci této práce je zmíněna jedna z nejznámějších nedeterministických úloh ? šachové úlohy. Na příkladu šachových úloh je ukázána také část výše uvedené teorie z přecházejících kapitol.

Abstract:

The thesis called Determinism vs. Nondeterminism in Computer Science is focused on the explanation of conceptions Determinism and Nondeterminism, and on demonstrations of their use. In the thesis is shown the use of nondeterminism in connection with finite state machines and Turings machines. Then, their relation to the complexity is described. The last section deals with deterministic and nondeterministic tasks. This part contains also practical problems. At the end of this part there is a famous nondeterministic task mentioned ? a task of chess. On this exapmle is also shown a part of a theory from the previous parts initiated above.

Klíčová slova

Determinismus, nedeterminismus, Turingovy stroje, řešení úloh, konečné automaty, složitost

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 20. 6. 2008

Zveřejnit od: 20. 6. 2008

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

• Obhajoba proběhla 18. 8. 2008
• Vedoucí: doc. RNDr. PaedDr. Hashim Habiballa, PhD., Ph.D.

OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

Přírodovědecká fakulta

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