6533b838fe1ef96bd12a4128
RESEARCH PRODUCT
Ultrametriski automāti
Rihards Krišlaukssubject
Datorzinātnedescription
Darbā tiek pētīts valodu iedalījums klasēs atkarībā no automāta galviņu skaita. Tiek aplūkoti rezultāti, kas sasniegti determinētiem, nedeterminētiem un varbūtiskiem vienvirziena un divvirzienu galīgiem automātiem, un tiek pierādīts, ka līdzīgi rezultāti pastāv arī divvirzienu galīgiem ultrametriskiem automātiem, kas tiek iegūti vispārinot ultrametrisku automātu definīciju, ko pavisam nesen ieviesis Freivalds [1]. Vienvirziena ultrametriskiem vienas galviņas automātiem tiek parādīts pārākums pār determinētiem un nedeterminētiem vairākgalviņu automātiem konkrētai valodai. Darbā kā starpposms pierādījumiem tiek izmantota ultrametrisku Tjūringa mašīnu definīcija un ultrametriskas vairāku reģistru mašīnas. Tiek parādīts arī interesants rezultāts vairāku lenšu automātiem. Atslēgas vārdi: ultrametriski automāti, p-adiski skaitļi, vairākgalviņu automāti, vairāku lenšu automāti, valodu klases, galviņu hierarhija
year | journal | country | edition | language |
---|---|---|---|---|
2013-01-01 |