Automāti, kas strādā uz bezgalīgiem vārdiem

Abstract

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.