Teoriq rasshirennyh mashin T'üringa. Ob#ektno-tranzakcionnye äkwiwalenty

Ruský jazyk

Teoriq rasshirennyh mashin T'üringa. Ob#ektno-tranzakcionnye äkwiwalenty

Vydavateľstvo: LAP LAMBERT Academic Publishing
Rok vydania: 2021
Formát: Paperback
Rozmer: 220 x 150 mm
Jazyk: Ruský jazyk
ISBN: 9786203863253

Na objednávku

33.30 €

bežná cena: 37.00 €

O knihe

Ishodq iz teorii ob#ektno-sobytijnyh modelej (OSM), formuliruütsq idei, swqzannye kak s bolee nizkourownewymi rasshirennymi mashinami T'üringa (RMT), tak i s bolee wysokourownewymi ob#ektno-tranzakcionnymi modelqmi (OTM). Jeti formalizmy pozwolqüt opisywat' kak neprerywnye processy, swojstwennye iskusstwennym nejronnym setqm, tak i diskretnye algoritmy. Pokazano, chto RMT reshaüt intellektual'nye podzadachi: rasparalleliwanie i sliqnie processow; kombinatornyj perebor, unifikaciü i porozhdenie simwol'nyh cepochek; reshenie SLAU i osnowannoe na nem modelirowanie na baze rqda formalizmow. Sformulirowany teoremy, utwerzhdaüschie äkwiwalentnost' predel'nyh widow OSM razlichnym widam RMT. Sformulirowan nowyj wid wysokourownewyh tranzakcionnyh wychislitel'nyh modelej (OTM), ne predpolagaüschih nalichiq qwnyh ciklicheskih swqzej. Sformulirowany predel'nye sluchai takih modelej, sformulirowany mehanizmy ih raboty. Dokazany teoremy o wychislimosti razreshimyh po T'üringu posledowatel'nyh i parallel'nyh algoritmow OTM. Pokazana realizuemost' RMT s pomosch'ü OTM. Dokazana funkcional'naq äkwiwalentnost' OSM i OTM. Dokazana äkwiwalentnost' modificirowannyh procedur s planirowaniem powtornogo whoda predel'nym OTM.