6533b830fe1ef96bd12974aa
RESEARCH PRODUCT
Galīgi frekvenciāli automāti
Anda Beriņasubject
Datorzinātnedescription
Darbā pētīti frekvenciāli automāti – automāti ar vairākām ieejas lentām, kurus izmanto, lai tuvināti rēķinātu n atšķirīgus pieprasījumus no kopas A. Šādi automāti ļauj būvēt pilnībā determinētus modeļus, kuru iespējas ir plašākas nekā determinētiem automātiem ar vienu ieejas lentu. G.Rose jau 1960. gadā iepazīstināja ar frekvenciālu rēķinu ideju. Pēc viņa šo modeli ir pētījuši McNaughton, Trakhtenbrot, Kinber, Dëgtev, Wechsung, Hinrichs un citi. Darbā pierādītas vairākas teorēmas par frekvenciāliem transformatoriem. Par transformatoru sauc galīgu automātu ar izeju. Šajā darbā aplūkotas left-total relācijas un Las Vegas tipa transformatori (transformatori, kuriem varbūtība iegūt nepareizu atbildi ir 0). Pretēji gaidītajam, ar šādiem nosacījumiem nepietiek lai transformatorus determinizētu.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2013-01-01 |