Ultrametrisku automtu iespjas Kristne Cpola Darba vadtjs profesors
Ultrametrisku automātu iespējas Kristīne Cīpola Darba vadītājs: profesors Dr. sc. comp. Juris Smotrovs
Saturs Plānotie pētījumi Galīgi determinēti automāti Akceptori Transformatori p-adiski skaitļi p-adisku skaitļu izmantošana automātu teorijā Ultrametriski automāti
Plānotie pētījumi Kā pierādīt, ka valodu nevar atpazīt ar ultrametrisku automātu Automāts, kas akceptē pareizi saliktas iekavas Darbības ar valodām Papildinājums Apvienojums Šķēlums
Galīgi determinēti transformatori Galīgs automāts ar izeju Par galīgu automātu transformatoru sauc sešnieku (Q, X, Y, f, g, q 0), kur Q - galīga kopa (stāvokļu kopa), X - galīga kopa (ieejas alfabēts), Y - galīga kopa (izejas alfabēts), f: Q X Q (pārejas funkcija), g: Q X Y (izejas funkcija), q 0 Q (sākuma stāvoklis). Automāts transformē (pārveido) ieejas vārdus par izejas vārdiem Katram stāvoklim ir tieši viena pāreja katram ieejas burtam a|b q 0 Galīgs determinēts transformators transformē ieejas vārdu, kas sastāv no patvaļīga skaita ieejas alfabēta burtiem "a", tāda paša garuma izejas vārdā, kas sastāv tikai no izejas alfabēta burtiem "b" Piemēram: Ieejas vārds: aaaaaa Izejas vārds: bbbbbb
Galīgi determinēti akceptori Galīgs automāts bez izejas Par galīgu automātu – akceptoru sauc piecinieku (Q, X, f, QA, q 0), kur Q - galīga kopa (stāvokļu kopa), X - galīga kopa (ieejas alfabēts), f: Q X Q (pārejas funkcija), QA Q (akceptējošo stāvokļu kopa), q 0 Q (sākuma stāvoklis). Automāts akceptē tos ieejas vārdus, kuri noved to kādā no akceptējošajiem stāvokļiem Katram stāvoklim ir tieši viena pāreja katram ieejas burtam a a q 0 q 1 b q 2 b a; b
Varbūtiski galīgi akceptori
p-adiski skaitļi p – pirmskaitlis p-adisks cipars – naturāls skaitlis intervālā [0, p-1] p-adisks skaitlis – p-adisku ciparu virkne, kas var būt bezgalīga uz kreiso pusi Piemēram: 5 -adisks pieraksts : -1 = … 444
p-norma
p-adiski skaitļu izmantošana automātu torijā I
p-adiski skaitļu izmantošana automātu torijā II 2012. gadā R. M. Freivalds ieviesa p-adisku skaitļu izmantošanu galīgu determinētu akceptoros Pārejas funkciju vērtība var tikt ierobežota pēc p (integrāliem ultrametriskiem automātiem) Ieejas vārds tiek akceptēts tad un tikai tad, ja pēc ieejas vārda nolasīšanas akceptējošo stāvokļu amplitūdu p-normu summa apmierina akceptēšanas nosacījumu
Homska (Chomsky) hierarhijas
Ultrametriski automāti I
Ultrametriski automāti II
Integrāli ultrametriski automāti
Regulēti ultrametriski automāti
Ultrametriski automāti ar akceptēšanas intervālu
Ultrametriski automāti ar akceptēšanas un noraidīšanas stāvokļiem * Kaspars Balodis, Unconventional Finite Automata and Algorithms
Stāvokļu skaita sarežģītība
Ģenētiskais kods I DNS vai RNS molekulā ierakstītas ģenētiskās informācijas glabāšanas un realizācijas sistēma. Sistēmas pamatā ir pēc slāpekļa bāzes atšķirīgo nukleotīdu secība nukleīnskābju molekulās. Ģenētiskajam kodam ir tripleta raksturs, t. i. , katram no 64 iespējamiem nukleotīdu tripletu veidiem atbilst viena no 20 aminoskābēm, izņemot trīs terminējošos kodonus. Ģenētiskais kods ir deģenerēts, t. i. , vienu aminoskābi var kodēt arī divi vairāki dažādi sinonīmiski tripleti. * *http: //termini. lza. lv/term. php? term=%C 4%A 3 en%C 4%93 tiskais%20 kods&list=%C 4%A 3 en%C 4%93 tiskais%20 kods&lang=LV
Ģenētiskais kods II Ģenētiskais kods eksperimentāli tika atšifrēts 1966 gada Ģenētiskā koda teorētiskā izpratne joprojām ir neapmierinoša, tāpēc neregulāri tiek piedāvāti jauni ģenētiskā koda modeļi p-adisko metožu izmantošana dzīvības noslēpumu izpētē
Turpmākie pētījumu Kā dažādiem automātu modeļiem pierādīt: ka valodu ir iespējams atpazīt ar konkrētu automātu modeli ka valodu nav iespējams atpazīt ar konkrētu automātu modeli kā valodas atpazīšanai nepieciešamo minimālo stāvokļu skaitu
Paldies par uzmanību!
- Slides: 23