Simple models of quantum finite automata

Bc. Martin Frian

Bakalářská práce

Anotace:

Cieľom tejto práce je jednotnou cestou prezentovať známe modely klasických a kvantových konečných automatov. V našej práci detailne prezentujeme päť významných modelov kvantových konečných automatov, takisto ako ich vlastnosti, výpočtovú silu, korešpondujúce rozhodovacie problémy, a taktiež vzťahy medzi rôznymi modelmi. V práci ďalej stručne prezentujeme tri ďaľšie modely kvantových konečných automatov.

Abstract:

We present in a uniform way several models of classical finite automata and quantum finite automata. We have studied five main models of quantum finite automata in detail. Three other models of quantum finite automata were also briefly presented. We have also presented basic results concerning the power of each model, closure properties, mutual relations, and results concerning decision problems.

Keywords

finite automata, quantum finite automata, classical state, quantum state, regular languages, acceptance probability, quantum information processing, quantum mechanics

Jazyk práce: angličtina

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

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

• Obhajoba proběhla 29. 6. 2018
• Vedoucí: prof. RNDr. Jozef Gruska, DrSc.
• Oponent: RNDr. Matej Pivoluska, Ph.D.

Masarykova univerzita

Fakulta informatiky

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