Automāti, kas strādā uz bezgalīgiem vārdiem
Autor
Nāgele, Ieva
Co-author
Latvijas Universitāte. Datorikas fakultāte
Advisor
Freivalds, Rūsiņš Mārtiņš
Datum
2013Metadata
Zur LanganzeigeZusammenfassung
Automāti, kas strādā uz begalīgiem vārdiem, jeb ω -automāti ir ieņēmuši nozīmīgu vietu
datorzinātnē galvenokārt to praktiskās pielietojamības dēļ, kas ir nozīmīga specifikācijām un
pārbaudēm uz apkārtējo vidi reaģējošās sistēmās. Nevar aizmirst arī par to teorētisko un praktisko
analoģiju ar mūsdienu datoriem, kam jāspēj apstrādāt pēc iespējas lielas un nepārtrauktas datu
plūsmas.
Šajā darbā pastiprināta uzmanība ir pievērsta galīgiem determinētiem frekvenciāliem
automātiem, tajā skaitā, tos salīdzinot ar galīgiem determinētiem automātiem, kas strādā uz
bezgalīgiem vārdiem. Aplūkotas arī varbūtisku automātu priekšrocības, salīdzinot ar iepriekš
minētajiem, atpazīstot konkrētu valodu.
Atslēgvārdi: ω -vārdi, ω -automāti, frekvenciāli automāti, (m, n)-skaitļošana,
varbūtiski automāti. Automata on infinite words e.i. ω -automata have played significant role in computer
science mainly because of practical applicability for the specification and verification of reactive
systems. Furthermore there is theoretical and practical analogy with contemporary computer, that
needs to process big data and continuous and infinite data flow.
The main focus in this paper is on the deterministic frequency automata , including their
comparison with deterministic finite automata on infinite words. Also advantages of probabilistic
automata in comparison with automata already stated is indicated in terms of specific language.
Key words: ω -words, ω -automata, frequency automata, frequency computation,
(m, n)-computation, probabilistic automata.