Galīgie kvantu automāti un matemātiskā loģika
Autor
Škuškovniks, Agnis
Co-author
Latvijas Universitāte. Fizikas un matemātikas fakultāte
Advisor
Freivalds, Rūsiņš Mārtiņš
Datum
2006Metadata
Zur LanganzeigeZusammenfassung
Bakalaura darba mērķis ir noskaidrot, vai iespējams,
izmantojot matemātisko loģiku, saistīt sarežģītības klases
(lielāka uzmanība tiek pievērsta P un NP klasēm) ar kvantu automātu atpazīstamajām valodām. Darba gaitā apskatīti dažādi matemātiskās loģikas veidi (vispārīgie Lindstroma kvantori, mazākā nekustīgā punkta loģika u.c.), pazīstamākie kvantu automātu veidi (MO-QFA,
MM-QFA un 2QFA), kā arī sarežģītības klases. Darba rezultātā
pamatots, ka apskatītajiem automātiem šādu sakarību nav iespējams atrast. The goal of Bachelor work is to establish whether it is possible to find connection between descriptive complexity classes (main focus goes to P and NP) and languages recognized by quantum automata, with help of mathematical logic. Many different kinds of mathematical logic (generalized Lindstrom quantifiers, least fixed point logic etc.) have been studied. Also known models of quantum automata (MO-QFA, MM-QFA, 2QFA) and descriptive complexity classes have been studied. In the corollary, it is clarfied that for studied auomata such connection does not exist.