Automatų teorija

Automatų teorija- diskrečiosios matematikos skyrius, studijuojantis abstrakčiuosius automatus - kompiuterius, pateiktus matematinių modelių pavidalu - ir problemas, kurias jie gali išspręsti.

Automatų teorija glaudžiausiai susijusi su algoritmų teorija: automatas diskrečią informaciją paverčia žingsniais į atskirus laiko momentus, o rezultatą formuoja duoto algoritmo žingsneliais.

Terminologija

Simbolis- bet koks atominis duomenų blokas, galintis turėti įtakos mašinai. Dažniausiai simbolis yra raidė bendrine kalba, tačiau tai gali būti, pavyzdžiui, grafinis diagramos elementas.

• Žodis- simbolių eilutė, sukurta sujungimo (sujungimo) būdu.
• Abėcėlė- baigtinis skirtingų simbolių rinkinys (daug simbolių)
• Kalba- žodžių rinkinys, sudarytas iš nurodytos abėcėlės simbolių. Gali būti baigtinis arba begalinis.

Mašina Mašina- penkių elementų seka (kortelė), kur: Žodis Automatas skaito galutinę simbolių eilutę a 1 ,a 2 ,…., a n , kur a i ∈ Σ, ir yra vadinamas žodį.Visų žodžių aibė rašoma kaip Σ*. Gautas žodis Žodį w ∈ Σ* priima automatas, jei q n ∈ F.

Sakoma, kad kalba yra L perskaityta (gauta) automatu M, jei jį sudaro žodžiai w pagal abėcėlę taip, kad jei šie žodžiai įvedami į M, apdorojimo pabaigoje jis patenka į vieną iš priimančių būsenų F:

Paprastai automatas pereina iš būsenos į būseną naudodamas perėjimo funkciją, skaitydamas vieną simbolį iš įvesties. Taip pat yra automatų, kurie gali pereiti į naują būseną neskaitydami simbolio. Šuolio funkcija neskaitant simbolio vadinama - perėjimas(epsilono perėjimas).

Taikymas

Praktikoje automatų teorija naudojama kuriant formaliųjų kalbų (įskaitant programavimo kalbas) lekserius ir analizatorius, taip pat kuriant kompiliatorius ir kuriant pačias programavimo kalbas.

Kitas svarbus automatų teorijos pritaikymas yra matematiškai griežtas problemų sprendžiamumo ir sudėtingumo nustatymas.

Tipiškos užduotys

• Automatų konstravimas ir minimizavimas- abstraktaus automato sukūrimas iš tam tikros klasės, kuris išsprendžia duotą problemą (priima tam tikrą kalbą), galbūt vėliau sumažinant būsenų skaičių arba perėjimų skaičių.
• Automatų sintezė- sistemos sukūrimas iš duotų "elementarių automatų", lygiaverčių tam tikram automatui. Toks automatas vadinamas struktūrinės. Jis naudojamas, pavyzdžiui, skaitmeninių elektros grandinių sintezei tam tikro elemento bazėje.

taip pat žr

Literatūra

• Johnas Hopcroftas, Rajeevas Motwani, Jeffrey UllmanasĮvadas į automatų teoriją, kalbas ir skaičiavimą. - M .: Williams, 2002. - S. 528. - ISBN 0-201-44124-1
• Kasjanovas V. N. Paskaitos apie formaliųjų kalbų teoriją, automatus ir skaičiavimo sudėtingumą. - Novosibirskas: NSU, 1995. - C. 112.

Nuorodos

Wikimedia fondas. 2010 m.

Pažiūrėkite, kas yra „Automatų teorija“ kituose žodynuose:

Automatų teorija

Automatų teorija- teorinės kibernetikos skyrius, tiriantis realių ar galimų įrenginių, kurie diskrečią informaciją apdoroja diskrečiaisiais ciklais, matematinius modelius (čia vadinami automatais arba mašinomis). Pagrindinis ... ... Ekonomikos ir matematikos žodynas

automatų teorija– Teorinės kibernetikos šaka, tirianti realių ar galimų įrenginių, kurie diskrečią informaciją apdoroja diskrečiaisiais ciklais, matematinius modelius (čia vadinami automatais arba mašinomis). Pagrindinės šios teorijos sąvokos ...... Techninis vertėjo vadovas

Egzistuoja., Sinonimų skaičius: 1 tavt (1) ASIS Sinonimų žodynas. V.N. Trišinas. 2013... Sinonimų žodynas

automatų teorija- automatų teorija statusas T sritis automatika atitikmenys: angl. automato teorija vok. Automatenteorija, f rus. automatų teorija, f pranc. theorie des automates, f … Automatikos terminų žodynas

Šis terminas turi kitas reikšmes, žr. Būsenos diagramą. Būsenos diagrama yra nukreiptas baigtinio automato grafikas, kuriame viršūnės rodo lanko būsenas, rodo perėjimus tarp dviejų būsenų Praktikoje ... ... Vikipedija

Mašinų ir mechanizmų teorija (TMM) – tai mokslinė disciplina apie bendruosius mechanizmų ir mašinų tyrimo metodus, konstravimą, kinematiką ir dinamiką bei apie mokslinius jų projektavimo pagrindus. Turinys 1 Drausmės raidos istorija 2 Pagrindinės sąvokos ... Vikipedija

TEORIJA- (1) mokslinių idėjų ir principų sistema, apibendrinanti praktinę patirtį, atspindinti objektyvius prigimtinius dėsnius ir reguliavimus, kurie sudaro (žr.) arba bet kurio mokslo dalį, taip pat taisyklių rinkinį bet kokios rūšies žinių srityje mln. ... ... Didžioji politechnikos enciklopedija

Algoritmų teorija Ekonomikos ir matematikos žodynas

Algoritmų teorija– matematikos šaka, tirianti bendrąsias algoritmų savybes. Algoritmo su tam tikromis savybėmis konstravimo problema vadinama algoritmine problema, jos neišsprendžiamumas reiškia tinkamo algoritmo nebuvimą; jei…… Ekonomikos ir matematikos žodynas

Knygos

• Automatų teorija. Vadovėlis bakalauro ir magistrantūros studijoms, Kudryavtsev V.B. Vadovėlyje yra daug medžiagos apie automatų teoriją. Jame pristatoma automato sąvoka, pateikiamos teorijos ...

Federalinė švietimo agentūra

valstybė švietimo įstaiga aukštasis profesinis išsilavinimas

„MASKVOS VALSTYBINIO UNIVERSITETAS

INSTRUMENTAI IR INFORMATIKA »

IT-4 katedra „Asmeniniai kompiuteriai ir tinklai“

"PATVIRTINTI"

Skyriaus vedėjas IT-4

Michailovas B.M.

„___“ __________________ 2007 m

PASKAITOS

1425 disciplinoje „Automatų teorija“

IT fakulteto II kurso studentams

Specialybės 230101

„Kompiuteriai, kompleksai, sistemos ir tinklai“

Aptartas skyriaus posėdyje

„___“ ________________ 2007 m

_____ protokolas Nr.

Maskva 2007 m

^ Bendrosios nuostatos

Disciplinos tikslai ir uždaviniai

Disciplinos tikslas – pristatyti programinės ir techninės įrangos organizavimo asmeniniuose kompiuteriuose principus naudojant automatų teoriją, įsisavinant kompiuterių programinės ir techninės įrangos kūrimo įgūdžius.

^ Reikalavimai disciplinos turinio įsisavinimo lygiui

Žinios, įgytos įsisavinant discipliną:

• 
  Automatų teorijos principai ir pagrindinės sąvokos;
• 
  Automatų teorijos taikymas konstruojant algoritminių kalbų vertėjus;
• 
  Automatų teorijos taikymas kuriant įrenginius ir atskirą įrangą asmeniniuose kompiuteriuose;

Įgūdžiai ir įgūdžiai, įgyti įsisavinant discipliną:

• 
  Automatų teorijos taikymas taikomiesiems uždaviniams spręsti;
• 
  Atskirų įrenginių projektavimas;
• 
  Vertėjo dizainas;

Pagrindinė literatūra

1. Saveliev A.Ya. Informatikos pagrindai: vadovėlis universitetams.-M.: Leidykla MSTU im. N. Bauman, 2001.-328s.

2. Karpovas Yu.G.

3. Zaicevas E.I. Automatų teorija: Vadovėlis.-M.: MGAPI, 2002.-59s.

papildomos literatūros

1. Hopcroft D., Motwani R., Įvadas į automatų teoriją, kalbas ir skaičiavimus: vertimas iš anglų kalbos-M.: Izdat. Domas Viljamsas, 2002.-528psl.

Paskaita numeris 1.

Pagrindinės sąvokos ir apibrėžimai

Trukmė: 2 valandos (90) minučių

1.1. Pagrindinės (pagrindinės) problemos (akimirkos)

„Automatų teorijos“ disciplinos vieta daugelyje katedroje skaitytų disciplinų

Automatų teorijos objektai

Automatų teorijos problemos

Pagrindinės sąvokos ir apibrėžimai.

^ AUTOMATŲ TEORIJA.

1.2.1. Automatų teorijos pagrindai. Iki 20 minučių

Mašina (iš graikų   - veikiantis savarankiškai) - valdymo sistema, kuris yra baigtinių būsenų mašina arba tam tikra jo modifikacija, gauta pakeitus jo komponentus ar veikimą. Pagrindinė sąvoka – baigtinis automatas – atsirado XX amžiaus viduryje dėl bandymų matematine kalba apibūdinti nervų sistemų, universalių kompiuterių ir kitų realių automatų veikimą. būdingas bruožas toks aprašymas yra diskretiškumas atitinkamus matematinius modelius ir jų parametrų diapazonų baigtinumą, dėl ko susidaro baigtinio automato samprata.

Automatų teorija yra teorijos skyrius valdymo sistemos, kuris tiria diskrečiųjų informacijos keitiklių matematinius modelius, vadinamas kulkosvaidis. Tam tikru požiūriu tokie keitikliai yra ir realūs įrenginiai (kompiuteriai, automatai, gyvi organizmai ir kt.), ir abstrakčios sistemos (pavyzdžiui, formali sistema, aksiomatinės teorijos ir kt.). Labiausiai susiję su algoritmų teorija.

Dauguma automatų teorijos problemų yra bendros pagrindiniams valdymo sistemų tipams. Tai automatų analizės ir sintezės problemos, užbaigtumo, minimizavimo, lygiaverčių automatų transformacijų problemos ir kt. Analizės užduotis susideda iš jo elgesio apibūdinimo remiantis tam tikru automatu arba, remiantis nepilnais duomenimis apie automatą ir jo veikimą, vienokių ar kitokių jo savybių nustatymo. Sintezės užduotis automatas susideda iš automato su iš anksto nustatyto elgesio ar veikimo sukūrimas. Išsamumo iššūkis yra išsiaiškinti, ar rinkinys turi M"  M automatai su užbaigtumo savybe, t.y. ar sutampa su M visų automatų rinkinys, gautas baigtiniu skaičiumi kai kurių operacijų taikymų automatams iš tam tikro automatų poaibio M" . Lygiaverčių transformacijų problema bendras vaizdas yra rasti transformacijos taisyklių sistemą (vadinamą pilna sistema taisyklės) automatai, kurie tenkina tam tikras sąlygas ir leidžia savavališką automatą paversti bet kuriuo lygiaverčiu automatu (du automatai yra lygiaverčiai, jei jų elgsena yra tokia pati. Automato elgsena yra matematinė sąvoka, apibūdinanti automato sąveiką su išorine aplinka. Išorinės aplinkos pavyzdys baigtiniam automatui yra įvesties žodžių rinkinys, o elgsena yra automato įdiegta žodyno funkcija arba automato vaizduojamas įvykis.)

Be aukščiau išvardintų, automatų teorijoje yra specifinių problemų, kurios būdingos automatams. Taigi, atsižvelgiant į problemos sąlygas, patogu nurodyti automato elgesį skirtingomis kalbomis, dėl kurių svarbios užduotys yra pakankamai patogios adekvačios kalbos pasirinkimas ir vertimas iš vienos kalbos į kitą. Glaudžiai susijęs su sintezės ir lygiaverčių transformacijų problemomis minimizavimo problema automato būsenų skaičių, taip pat atitinkamų įverčių gavimą. Glaudus klausimų ratas kyla dėl vienos klasės automatų elgesio modeliavimo kitos klasės automatais. Čia taip pat domina modeliavimo automatų sumažinimo ir jų sudėtingumo įvertinimo klausimai. Ypatinga automatų teorijos šaka yra susijusi su vadinami eksperimentais su automatais(t.y. informacijos apie automatų vidinę sandarą gavimo būdai pagal jų elgesį). Pagrindinė užduotis čia yra gauti tam tikrą informaciją apie automato sandarą, stebint jo reakciją į tam tikrus išorinius poveikius. Šiuo atveju iškyla daugybė problemų, susijusių su eksperimentų klasifikavimu ir problemų išsprendžiamumu tam tikro tipo eksperimentais, taip pat minimalių eksperimentų trukmės, kurios pakanka tam tikroms problemoms išspręsti, įvertinimu. Eksperimento su automatais sąvoka taip pat naudojama uždaviniuose patikimumas ir kontrolė valdymo sistemos, ypač automatų valdymas. Daugelis aukščiau išvardytų problemų gali būti vertinamos kaip algoritminės problemos. Dėl baigtinių automatų dauguma jų turi teigiamą sprendimą.

Automatų teorija pritaikoma tiek kitose matematikos srityse, tiek sprendžiant praktines problemas. Pavyzdžiui, kai kurių formalių skaičiavimų išsprendžiamumas įrodomas automatų teorijos pagalba. Automatų teorijos metodų ir sąvokų taikymas formaliųjų ir natūralių kalbų studijoms paskatino matematinės lingvistikos atsiradimą (matematinė lingvistika yra matematinė disciplina, kurios dalykas yra formalaus aparato, skirto natūralių ir natūralių kalbų struktūrai apibūdinti, sukūrimas). kai kurios dirbtinės kalbos.) Automato sąvoka gali pasitarnauti kaip pavyzdinis objektas sprendžiant įvairiausias problemas , o tai leidžia panaudoti automatų teoriją įvairiuose moksliniuose ir taikomuosiuose tyrimuose.

^ 1.2.2. Automatų teorija sprendžiami uždaviniai ir uždaviniai. Iki 30 minučių

Automatų teorija- diskrečiosios matematikos šaka, tirianti realių (techninių, biologinių, ekonominių) ar galimų įrenginių, apdorojančių diskrečią informaciją diskrečiaisiais laiko ciklais, matematinius modelius.

Šioje teorijoje jos kryptys yra gana aiškiai nustatytos dėl:

1. 
   tiriamų automatų tipų pasirinkimas (baigtinis, begalinis, deterministinis, tikimybinis, autonominis, kombinacinis, be išvesties)
2. 
   priimtas abstrakcijos lygis (abstrakčiai ir struktūriniai automatai)
3. 
   taikomosios matematikos specifika (algebrinė automatų teorija)

Tuo pačiu metu nagrinėjamų objektų diskrečiuose modeliuose atsižvelgiama tik į vykstančių automato pokyčių procesų logiką, neatsižvelgiant į kiekybines charakteristikas.

Centrinės skaitomos teorijos problemos yra sintaksės ir analizės problemos (t.y. automato funkcinės schemos sukūrimas pagal duotą elgseną ir automato elgesio aprašymas pagal žinomą struktūrą). Šios problemos yra glaudžiai susijusios su pilnumo, lygiavertiškumo ir automatų būsenų skaičiaus sumažinimo problemomis.

Be to, automatas, kaip prietaisas, skirtas atlikti tikslingus veiksmus be žmogaus įsikišimo, yra laikomas arba įgyvendinančiu vieną ar kitą formaliąją gramatiką (abstraktus automatas), arba kaip elementų rinkinį ir jų sujungimo schemą (struktūrinis automatas).

Ieškokite medžiagų:

Jūsų medžiagų skaičius: 0.

Pridėkite 1 medžiagą

Sertifikatas
apie elektroninio portfelio kūrimą

Pridėkite 5 medžiagas

Paslaptis
pateikti

Pridėkite 10 medžiagų

Diplomas už
švietimo informatizavimas

Pridėkite 12 medžiagų

Apžvalga
ant bet kokios medžiagos nemokamai

Pridėkite 15 medžiagų

Video pamokos
greitai sukurti įspūdingus pristatymus

Pridėkite 17 medžiagų

Per pastaruosius dešimtmečius buvo ir vyksta intensyvus darbas kuriant
ir įvairių sistemų bei prietaisų naudojimas diskrečiųjų apdorojimui
informacija. Diskretūs informacijos keitikliai yra plačiai naudojami kaip
įvairių rūšių techniniai automatai, skaičiavimo įrenginiai ir jų funkciniai
blokai, roboto valdymo įrenginiai, kurie valdo objektus pagal duotą
algoritmas. Plati tokių keitiklių klasė yra vienijanti bendruoju pavadinimu
automatai. Šie įrenginiai turi ribotą skaičių įvesčių, kurios priima informaciją,
ir baigtinis skaičius išėjimų apdorotai informacijai išduoti. Santykiai tarp
įvestis ir išvestis pateikiami pagal nustatytą informacijos apdorojimo algoritmą.
Įvesties ir išvesties informacija pavaizduota simboliais, fizinėmis laikmenomis
kurie yra laiko kvantuoti signalai.
Jei "K" simboliai vienu metu po lygiagrečios įvesties arba išvesties
kanalus, bus traktuojami kaip vienas simbolis iš atitinkamos abėcėlės
į vieną „priklijuotą“ kanalą, tuomet tokį automatą galima pavaizduoti kaip įrenginį su
vienas įėjimas ir vienas išėjimas (1 pav.).
Fig.1 - Bendrasis diskrečiosios informacijos keitiklio funkcinis modelis
Yra du automato termino apibrėžimo būdai. Iš pradžių interpretuojama
kaip prietaisas, kuris, tiesiogiai nedalyvaujant asmeniui, atlieka funkcijas
priimti, konvertuoti ir perduoti energiją, informaciją ir kt. pagal
joje įdėta programa, o antroji – kaip matematinis tikrojo modelis
diskretieji informacijos keitikliai. Jo veikimas yra
baigtinių arba apskritai begalinių simbolių seka z1,z2,...
abėcėlės Z, patekusi į įvestį, savo išvestyje sukelia tam tikrą
tos pačios ar kitos abėcėlės simbolių seka w1,w2,.... Taigi,
bendriausias matematinis diskrečiosios informacijos keitiklio modelis yra
sekos funkcija, rodanti visų sekų Z rinkinį
abėcėlės Z simbolius į kitą W abėcėlės simbolių sekų rinkinį W*.
Šis aiškinimas leidžia schematiškai pavaizduoti keitiklį kaip įrenginį,
realizuojant vienos aibės susiejimą su kita (2a pav.).

Fig.2a – formalus keitiklio modelis
Šis žemėlapių sudarymas vadinamas abėcėliniu žemėlapiu arba abėcėliniu
operatorius.
Automatų teorija yra valdymo sistemų teorijos šaka, tirianti matematiką
diskrečiųjų informacijos keitiklių modeliai, vadinami automatais. Su
tam tikru požiūriu tokie keitikliai yra kaip tikri įrenginiai
(kompiuteriai, gyvi organizmai) ir abstrakčios sistemos
(pavyzdžiui, formali sistema yra abstrakčių, nesusijusių objektų rinkinys
su išoriniu pasauliu, kuriame pateikiamos veikimo su simbolių rinkiniu taisyklės
griežtai sintaksinė interpretacija neatsižvelgiant į semantinį turinį, t.y.
semantika; aksiomatinės teorijos, apibūdinančios tam tikrą reiškinių rinkinį
jų priežastiniame ryšyje vienas su kitu).
Automatų teorija glaudžiausiai susijusi su algoritmų teorija. Tai paaiškinama faktu
kad automatas diskrečią informaciją žingsniais paverčia diskretiškais momentais
laiko ir generuoja gautą informaciją apie tam tikro algoritmo veiksmus. Šie
transformacijos galimos techninių ir/ar programinių priemonių pagalba. Mašina
gali būti pavaizduotas kaip koks nors įrenginys (juodoji dėžė), prie kurio
imami įėjimai ir išėjimai ir kurie gali turėti tam tikrą vidinį
teigia. Analizuojant automatus, jų elgesys tiriamas esant įvairiems sutrikimams.
įtakoja ir sumažina automato būsenų skaičių dirbant pagal duotybę
algoritmas. Toks automatas vadinamas abstrakčiu, nes abstrahuotas nuo tikrojo
fizinius įvesties ir išvesties signalus, laikydami juos tiesiog kai kurių raidėmis
abėcėlė ir ryšys su idealizuotu diskrečiu laiku. Sintezuojant automatus
(jungimo ar susiejimo procesas) sudaro elementariųjų automatų sistemą,
lygiavertis duotam abstrakčiam automatui. Toks automatas
vadinamas struktūriniu. Ypatingą vietą automatų teorijoje užima baigtinio sąvoka
mašina.
Transformacijos įvesties => išvesties rezultatas (2a pav.) dažnai priklauso ne tik nuo įvesties į
Šis momentas laiko, bet ir iš to, kas buvo anksčiau prie įvesties, iš įvesties istorijos, t.y.
iš transformacijos istorijos. Galimų įvesties istorijų skaičius yra begalinis (skaičiuojamas),
net jei automatas turi baigtinį skaičių skirtingų įvesties informacijos elementų (kaip pvz

galutinis funkcinis keitiklis). Norint kažkaip prisiminti šias istorijas ir
Norėdami atskirti vienas nuo kito, keitiklis turi turėti atmintį. Tam prietaisas
(1.1,6 pav.) įvedama būsenų Q = (qx,q2,...qm) abėcėlė.
Valstybės q samprata čia vaidina labai svarbų vaidmenį. Jų valstybėse mašina
prisimena savo koncentruotą praeitį. Dėl tos pačios įvesties
keitiklis gali reaguoti skirtingai, priklausomai nuo būsenos, kurioje
jis šiuo metu yra.
Baigtinis automatas (2b pav.) – matematinė abstrakcija, leidžianti apibūdinti kelius
pakeisti objekto būseną, atsižvelgiant į jo esamą būseną ir įvesties duomenis,
su sąlyga, kad bendra galimas skaičius būsenos Q ir įvesties signalų rinkinys
Z yra baigtiniai. Baigtinis automatas yra ypatingas abstraktaus automato atvejis.
2b pav. – Būsenos mašina
Būsenos mašina yra viena iš svarbiausių valdymo sistemų tipų.
Pagrindinis baigtinių automatų privalumas yra tai, kad jie natūraliai
taip aprašomos išorinių įvykių valdomos sistemos.
Automatų teorija nagrinėja procesus, vykstančius įvairiuose automatuose
natūra, ir bendrieji modeliai, kuriems jie taikomi, plačiai naudojami tam
algebrinis aparatas, matematinė logika, kombinatorinė analizė ir teorija
tikimybės.
Projektuojant patikimus, gerai veikiančius automatus tenka spręsti nepaprastus
sunkių užduočių. Pavyzdžiui, norint sumažinti, būtina nustatyti sistemų stabilumą
įvairūs automatinių mašinų veikimo nukrypimai. Reikia mokytis ir jautrumo
automatai, nes veikimo procese valdymo sistemų savybės neišlieka
nuolatinis.
Automatų teorija pritaikoma tiek matematikoje, tiek sprendžiant praktines problemas.
užduotys. Pavyzdžiui, pasitelkus automatų teoriją įrodomas kai kurių išsprendžiamumas
formalusis skaičiavimas. Automatų teorijos metodų ir sampratų taikymas studijoms
formalios ir natūralios kalbos paskatino matematikos atsiradimą
lingvistika (matematinė kalbotyra yra matematinė disciplina, dalykas
kuri yra formalaus aparato kūrimas gamtos struktūrai apibūdinti
o kai kurios dirbtinės kalbos.) Automato samprata gali pasitarnauti kaip modelis

objektą atliekant įvairiausias užduotis, o tai leidžia pritaikyti teoriją
automatai įvairiuose moksliniuose ir taikomuosiuose tyrimuose.
Automatų teorijos aktualumas
Yra daug valdymo objektų, susijusių su dideliu
Atsakomybė: branduoliniai ir cheminiai reaktoriai, pramoniniai kompleksai,
gynyba, kosmosas, kasyba. Sėkmės su jais tiesiogiai susidoroti
priklauso nuo veiksmų aiškumo ir nuoseklumo, nuo gebėjimo priimti pagrįstus sprendimus ir
kompetentingai išanalizuoti situaciją, atsižvelgiant į vienareikšmiško aiškinimo galimybę
informacija. Skirtingas objektuose vykstančių fizinių procesų pobūdis, kompleksas
jų ir valdymo sistemų sąveikos pobūdis lemia
valdymo užduočių kūrimo, algoritmizavimo ir programavimo sunkumai. Kilti
sunkumai, susiję su poreikiu pasiekti matomumą ir struktūrą.
Šioms problemoms spręsti naudojamas sukurtas automatų teorijos matematinis aparatas.
Elgesio logikos aprašymas (kokiomis sąlygomis būtina atlikti tam tikrus
veiksmai) automatinio požiūrio struktūroje. Ši savybė daro automatinį
aiškiai ir glaustai apibūdina sudėtingą elgesį. Darbo teisingumas
automatinių mašinų naudojimas yra numatytas projektavimo etape, dėka
grafinis vaizdavimas, t.y.
 vizualiai atvaizduoja valdymo automatų elgesį (grafiškai, lentelėse)
ir kompozicijos iš jų;
 Rodomos norimos būsenos;
 atspindi automato perėjimų iš būsenos į būseną dinamiką ir sąlygas;
 lengva pamatyti galimų klaidų dizaino, pavyzdžiui, nebuvimas
tam tikras perėjimas, nepasiekiama būsena ir pan.
Visa tai leidžia aiškiai suprasti įrenginio veikimą. valdymo procesai,
dizainai gali būti pavaizduoti kaip elementai, kurių elgesys yra nuspėjamas.
Pavyzdys: vienas didžiausių pasaulyje aviacijos, kosmoso ir
karinė technika – amerikiečių korporacija „Boeing“ užsiima stabilizavimo sistemomis
orlaivių naudojant grynąją automatų teoriją. Didelė dalis automatų teorijos
buvo sėkmingai naudojamas sistemos programose ir teksto filtruose UNIX OS.
Tai leidžia daugeliui žmonių dirbti aukšto lygio ir labai tobulėti
veiksmingos programos.

TA taikymo sritys yra įspūdingos savo apimtimi ir neapsiriboja siauromis
dėmesys ir specializacija. Panagrinėkime kai kuriuos iš jų.
Programavimas
Kyla klausimas, kodėl automatų teorijos baigtinių automatų modelis yra ypatingas
aktualu dabar, kai yra daug kalbų
programavimo ir programinės įrangos kūrimo aplinkos? Yra dvi problemos:
 nenuspėjamas išskirtinai sukurtos programos kodo elgesys
RAD įrankiai (Rapid Application Development – ​​greito kūrimo įrankiai
programos);
 „programavimo kultūros“ „išblukimas“.
RAD pavyzdžiai: „Borland Delphi“ ir „C++“ pagreitintam kūrimui
taikomąsias programas naudojant objektinį ir vizualinį
programavimas. Jie leidžia ne tik programuoti įprasta to žodžio prasme,
bet ir iš tikrųjų piešti programas (ir sąsają, ir įgyvendinimą) naudojant
vaizdiniai VCL komponentai.
Bet kuris vizualinis VCL objektas pasižymi daugybe savybių, metodų ir įvykių.
Atrodytų, kad paprasčiausiai manipuliuojant išvardytais atributais galima priversti
kuriama programa, kad padarytų tai, ko iš jos reikalauja programuotojas kūrėjas. Bet
tai toli gražu nėra tiesa.
Jau seniai buvo aišku, kad VCL linkęs slėpti tikslų įgyvendinimą
objektus, taip užkertant kelią pašaliniams asmenims pakeisti numatytąją kodo elgseną. kaip
praktika rodo, kad programos, sukurtos naudojant RAD priemones, kodo elgesys ne
visada nuspėjamas net labai patyrusiam programuotojui, jau nekalbant apie pradedančiajam.
Programa, nepaisant autoriaus kodo „akivaizdumo“, visada stengiasi eiti savo keliu.
būdu, patekti į tokius sudėtingus įvykių tvarkytojus, kurių egzistavimas
tu gali net neatspėti.
AT modernus pasaulis Kuriamų programų apimtis ir sudėtingumas didėja
kiekvieną dieną, todėl šis metodas žymiai padidina programinės įrangos testavimo ir derinimo laiką.
Automatų teorijos mechanizmas leidžia valdyti kodo elgesį.
prieš keturiasdešimt metų.
Programavimo stiliai skiriasi pagrindinėmis sąvokomis, kurios yra
vartojamos tokios sąvokos kaip „įvykis“, „paprogramė“, „funkcija“, „klasė“.

("objektas") ir tt Programavimo stilius, pagrįstas aiškiu būsenos paskirstymu
ir automatų naudojimas programų veikimui apibūdinti, vadinamas „automatiniu“.
programavimas“, ir atitinkamas programos dizaino stilius –
„automatizuotas dizainas“. Automatinis programavimas gali būti laikomas ne
tik kaip savarankiškas programavimo stilius, bet ir kaip priedas prie kitų
stilių, pavyzdžiui, į objektinį, nes Mes kalbame ne tik ir ne tiek
naudojant baigtinių būsenų mašinas programuojant, kiek apie kūrimo metodą
programas apskritai, kurių elgesį apibūdina automatai. Tie. kaip atskiras
komponentas, o visa programa gali būti įdiegta kaip automatas.
Yra dvi automatinio programavimo kryptys: SWITH technologija ir
KA (finite-automatic) technologija. Komutatorių technologija – sistemų kūrimo technologija
loginis valdymas, pagrįstas baigtiniais automatais, apimantis procesą
projektavimas, įgyvendinimas, derinimas, tikrinimas (patikrinimas), dokumentacija ir
palydos.
Automatų kodavimas/programavimas KA technologijos rėmuose remiasi
šiais principais:
 supažindino su dinaminio objekto, kuriam gali būti suteiktas algoritmas, samprata
elgesys laikui bėgant;
 objekto elgesio algoritmas pateikiamas baigtinio automato modeliu;
 automato aprašymo kalba paremta automatų vaizdavimu lentelėje;
 objekto elgesio logika (automatų perėjimo lentelė) atskirta nuo metodų
automato objektas (predikatai ir veiksmai), susiję su jo įgyvendinimu
elgesys laikui bėgant;
 Lygiagrečiai gali būti vykdomi bet kokie dinaminiai objektai.
Pažvelkime į šias technologijas atidžiau:
1) SWITH technologija. Pagrindinės nuostatos: siūloma „valstybės“ sąvoką padaryti
pirminis, o algoritmai pateikiami pereinamųjų grafikų (būsenų diagramų) pavidalu, t.y.
vaizduoti programą kaip sąveikaujančių baigtinių automatų sistemą,
aprašyti pereinamaisiais grafikais. Būsenos yra užkoduotos, kad būtų galima jas atskirti.
Grafikai vaizdine forma žmogui atspindi perėjimus tarp būsenų, taip pat
„suriša“ išvesties veiksmus ir kitus automatus su būsenomis ir (arba) perėjimais.
Programos viduje automatai gali sąveikauti:

 sudėjus lizdus (vienas automatas yra įdėtas į vieną ar kelias kito būsenas
mašina)
 pagal iškviečiamumą (iš išvesties su tam tikru įvykiu iškviečiamas vienas automatas
įtaka, susidariusi perėjus kitam automatui)
 pranešimų siuntimas (vienas automatas gauna pranešimus iš kito)
 pagal būsenos numerius (vienas automatas patikrina, kokia būsena
kita mašina).
Neribojamas nei tam tikroje būsenoje įdėtų automatų skaičius, nei lizdo gylis.
Pagrindinis valdymo automatų optimalaus įgyvendinimo kriterijus yra galimybė
perėjimo grafiko konvertavimas į programos kodą.<><><>Yra žinoma daug
įrankiai, skirti generuoti programas, kurios įgyvendina perėjimo grafikus:
 Visio2Switch įrankis Visio2Switch leidžia grafiškai
perėjimai, sukurti naudojant „Microsoft Visio“ redaktorių automatiškai
įgyvendinti ją kaip izomorfinę C programą.Visio2Switch Converter
šiuo metu naudojamas kuriant programinę įrangą daugeliui
atsakingos realaus laiko sistemos.
 MetaAuto MetaAuto įrankis leidžia, atsižvelgiant į perėjimo grafiką,
sukurtas naudojant tą patį redaktorių, automatiškai įdiekite jį formoje
izomorfinė programa bet kuria programavimo kalba, kuriai
iš anksto sukurtas šablonas (C, C#, Turbo Assembler ir kt.).
 UniMod įrankis UniMod skirtas palaikyti
automatinis programavimas ir ne tik automatų, bet ir automatų konstravimas bei diegimas
programos apskritai.
Praktika parodė, kad daugeliui programų klasių programinės įrangos tik 20-30 proc
kodas kuriamas rankiniu būdu.
SWITCH technologijos pagrindu jau sukurtos aplikacijos: prekybos įrenginiams
sodos vanduo, bankomatas (žr. 1 pavyzdį), šviesoforai, valdymo sistemos
keleivinis liftas, automobilio signalizacijos valdymo sistema (žr. 2 pavyzdį),
automatizuota mokėjimo sistema Mobilusis telefonas, valiutos keitimo įrenginiai,
bilietų pardavimo įrenginiai ir kt.
2) KA technologija leidžia įgyvendinti lygiagretumo idėją. Plėtros technologijos
iš viršaus į apačią, iš apačios į viršų, struktūrinis požiūris į tokias galimybes ar ne

turi arba jie yra riboti. Net ir į objektinę technologiją
programavimas (OOP), objektų lygiagrečio veikimo klausimai iš jo ribų išbraukiami.
Kitų technologijų, pagrįstų gerai žinomais lygiagrečiais modeliais, naudojimas,
yra kupinas sunkumų, susijusių, jei ne su jų taikymo srities apribojimais, tai
su vėlesnio diegimo programinės ir (arba) aparatinės įrangos lygiais problemomis.
Lygiagretūs modeliai yra vienas iš pagrindinių ir daug žadančios kryptys plėtros
programavimas ir techninė įranga. Lygiagretumo idėja yra labai patraukli. Bet
norint juo naudotis, būtina, pirma, išspręsti aprašymo problemą, t.y. pasirinkimas
formalus paralelinis modelis, ir, antra, modelio įgyvendinimo problema. KA
technologija naudoja modelį su lygiagretumo vaizdavimo ir aprašymo priemonėmis,
kurie savo galimybėmis nėra prastesni už kitus lygiagrečius modelius ir jos
įgyvendinti daug lengviau. Be to, naudojant standartinius metodus, tai lengva
pereiti nuo lygiagrečio baigtinio automato vaizdavimo į nuoseklųjį
apibūdinimas.
KA technologijos taikymo pavyzdžiai: buhalterinės apskaitos programos skaičiavimo tipas
darbo užmokesčio arba nuomos apskaita, projektų valdymo sistema
technologinis procesas dinamiškai augantys kristalai su daugybe
generuojami lygiagrečiai veikiančiuose objektuose, kurie įgyvendina pašalinimo procesus
duomenys iš jutiklių, valdymo veiksmų suteikimas objektui, automatų algoritmai
vairuotojų darbas su įvairia įranga, rodymo ir skaičiavimo procesai.
3) Pagrindinis skirtumas tarp nagrinėjamų technologijų yra logikos įgyvendinimas
automatines programas. SWITCH technologijoje jis įgyvendinamas perkeliant automatinį
aprašymai programavimo kalbos programiniame kode, KA yra įdiegta technologija
tiesioginis automatų vykdymas, interpretuojant jo pirminę lentelę
atstovavimas. Tai trumpesnis ir aiškesnis automatų diegimo būdas, nors ir daugiau
lėtas, jei atsižvelgsime į atskiro tinklo komponento automato lygį
mašinos.
Išvada: šiuo metu naudojamas automatinis programavimas
kritinių objektų automatizavimo sistemų programinės įrangos projektavimas
valdymas (automatinis kriogeninio-vakuuminio bloko valdymas, dyzelinis generatorius).
Valstybės mašina veikia principu „žingsnis į šoną – nepriimtina“. Įgyvendinti
būsenos mašina neduos vartotojui nenumatytų veiksmų (originalas
kodo variantas), nei pati programa (modifikuotas kodo variantas).

Šiuo metu kompiuterinių žaidimų kūrimo srityje jaučiamas bumas. Dažniau
žaidimo valdymo logika, kuria gali žaisti žaidimo srityje judantys personažai
veikti įvairiais režimais (pavyzdžiui, veikėjas bėga pirmyn arba atgal, lipa
laiptai, kritimai ir pan.) yra įgyvendinama kaip valstybės mašina.
Diskretinės matematikos ir programavimo algoritmų vizualizatorių diegimas
Tiriant informacijos apdorojimo algoritmus, atstovaujamus įvairiems
duomenų struktūras, svarbų vaidmenį atlieka algoritmų vizualizatoriai, leidžiantys
vaizdinė forma dinamiškai parodo savo darbo detales.
Vizualizatorius yra programa, kuri savo veikimo metu yra kompiuterio ekrane
dinamiškai demonstruoja algoritmo pritaikymą pasirinktam duomenų rinkiniui.
Vizualizatoriai leidžia tyrinėti algoritmų veikimą žingsnis po žingsnio režimu, panašiu į
programos sekimo režimas. Jie leidžia atsekti, jei reikia.
išplėsti žingsniai, ignoruojant įprastą skaičiavimo proceso dalį, kuri
būtini, pavyzdžiui, surašymo algoritmams.
Kai kuriems algoritmams yra dinaminė jo darbo demonstravimo versija
natūraliau nei statiškų iliustracijų rinkinys.
Mokant daugumą algoritmų, kartu su „žingsnio į priekį“ režimu, tai labai naudinga
taip pat „žingsnio atgal“ režimas, leidžiantis greičiau ir visapusiškai suprasti algoritmą.
Pavyzdžiui, naudojant atgalinio sekimo algoritmus gali tekti atlikti kelis veiksmus
atgal, kad suprastų, kodėl buvo atmesta ta ar kita paieškos atšaka.
Vizualizatorių pavyzdžiai: dvejetainio medžio perėjimas, planavimo algoritmai,
rūšiavimas ir kt. Tie. sudėtingi algoritmai su daugybe perėjimų, sąlygų ir
šakas galima pavaizduoti kompaktiškiau ir aiškiau: baigtinio automato pavidalu su
nuspėjamas ir matomas elgesys.
Dirbtinis intelektas
Dirbtiniai neuroniniai tinklai (ANN) – matematiniai modeliai, taip pat jų programinė įranga
arba techninės įrangos diegimai, sukurti organizacijos ir veikimo principu
biologiniai neuroniniai tinklai – gyvo organizmo nervinių ląstelių tinklai. Ši sąvoka
atsirado tiriant smegenyse vykstančius procesus ir bandant juos modeliuoti
procesus.
Neuroniniai tinklai yra išskirtinai galinga modeliavimo technika, leidžianti
atkurti itin sudėtingas priklausomybes. ANN yra konfigūruojami ir

mokymasis. Automatų naudojimas dirbtiniams neuroniniams tinklams kurti
leidžia neįtraukti nenumatytų būsenų darbe.
Neuroninės technologijos ypač intensyviai naudojamos ekspertinėse sistemose.
indėlių ir finansinių reikalų prognozavimas vertinant investicijas.
Pavyzdys: skystųjų raketų varikliuose (LRE), kurie yra sudėtingi
techninė sistema, susidedanti iš daugelio tarpusavyje sąveikaujančių vienetų
pati, būtina greita valdymo sistemos reakcija į vykstančius procesus.
viename iš kritiškiausių ir labiausiai įtemptų agregatų – turbosiurblio bloke
(TNA). Naudojant neuroninius tinklus ir automatus, tai tampa įmanoma
ankstyva ekstremaliųjų situacijų diagnostika, o tai sumažina avarijos pasekmes
ir užkirsti kelią variklio sunaikinimui atliekant gaisro bandymus (žr. 3 pavyzdį).
Kai veikia, TNA vaizduojama kaip baigtinės būsenos mašina. valstijos, in
kuris gali būti: budėjimo režimas, paleidimas, pagrindinis režimas, sustabdymas, avarinis režimas
būsena (suskirstyta į daugybę būsenų, klasifikuojančių gedimo pobūdį).
Ribinio nuokrypio reikšmė parenkama taip, kad būtų
minimalus ir tuo pačiu leidžiantis nedidelius variantus. Atsisakymo atveju (išeiti
bet kuris iš keturių tinklų yra lygus vienetui), neuroniniai tinklai treniruojami
būdingas TNA gedimams, pagal kurių parodymus galima nustatyti, kas tarnavo
gedimo priežastis (tinklo išvestis lygi vienetui). Jei tai nepavyksta (keli
tinklo išėjimai yra lygūs vienetui), tada laikoma, kad gedimas sujungiamas – tuo pačiu metu
buvo keletas gedimų, o esant netikrumui (visi tinklo išėjimai yra vienodi
nulis), įrenginys persijungia į Naujo gedimo būseną.
Sukurta technika leidžia aptikti turbosiurblio bloko gedimus. Nes
šis prietaisas yra labai sudėtingas, tada po avarinės situacijos
sunku nustatyti gedimo tipą, kokioje darbo būsenoje šiuo metu
įrenginio vieta ir kaip jį grąžinti į darbinę būklę. Neuroninis tinklas
leidžia išvengti avarijos arba nustato laiką, kada įvyko gedimas, ir
nustato gedimo tipą. SWITCH technologijos taikymas kuriant valdymą
Programinė įranga leidžia gauti visą diagnostikos mašinos veikimo protokolą - bet kuriuo metu
jos veikimo metu galite sužinoti, kokios būklės ir kokios yra mašina
jos būsena gali būti išversta.
Programinės įrangos mobiliesiems įrenginiams ir mikrovaldikliams kūrimas

Kuriant serverio programas, kurios reaguoja į užklausas, svarbų vaidmenį atlieka
„be pilietybės“ – nebūtina saugoti būsenų tarp dviejų
nuoseklūs prašymai.
Kuriant sėkmingą interaktyvią įvykiais pagrįstą programą, daug
priklauso nuo to, ar gerai apgalvotas valstybės valdymo modelis.
Valstybės mašina yra labai patogi koncepcija, kuri yra naudinga
struktūrizavimo programos.
Tiek, kiek mobiliosios programos turėtų naudoti ekrano erdvę ir sistemą
išteklius efektyviai, būsenos mašinos ypač naudingos, kai
programinės įrangos kūrimas tokioms programoms.
Programa yra baigtinių sąveikaujančių automatų rinkinys
tarpusavyje ir su išoriniu pasauliu. KA perėjimo diagramoje aprašomi perėjimai tarp
ekrano formos, perėjimo lankai iš būsenos į būseną aprašo veiksmus
Vartotojas. Kiekviena sukonstruota forma turi būti susieta su būsenos mašina,
kontroliuojantis vizualinį formos elgesį. Jei pačioje formoje yra keletas
puslapiuose, pavyzdžiui, dialogo languose su skirtukais, tada jis pateikiamas kiekvienam iš jų
subpuslapiai savo būsenos mašiną.
Būsenos mašinos labai pagerina vykdymo kontrolę
fono užduotys. Jų naudojimas leidžia sukurti fono gijas
informacija apie vykdymo būklę, taip pat kitų gijų kreipimasis su prašymais į
fono giją tam tikriems veiksmams atlikti, pavyzdžiui, su užklausa
nustokite vykdyti foninį darbą. Tuo pačiu vaizdine grafine forma
tiek jungtys tarp automatų ir jų vidinių
struktūra. Pagrindinis privalumas: daugkartinis kodo naudojimas, greitas
modifikavimas, matomumas, kuris yra svarbus mobiliųjų įrenginių programoms,
reikalaujantis taupiai išnaudoti ekrano erdvę, atmintį, kompiuteriją
galia ir kiti ištekliai.
Darbo eigos modelių kūrimas remiantis baigtinio automato teorijos modeliu
kulkosvaidis
Šiuolaikinėje visuomenėje vyksta skaičiavimo intensyvėjimo procesas ir
informacines technologijas visose veiklos srityse.
Dokumentų srautas – dokumentų judėjimas organizacijoje nuo jų sukūrimo momento arba
gavimas prieš užbaigiant vykdymą: siuntimas ir (arba) siuntimas į bylą. Įgyvendinimas

elektroninis dokumentų valdymas yra neatidėliotinas uždavinys šiuolaikinė visuomenė, nes
tai leidžia padaryti dokumentų judėjimo procesą valdomą ir kontroliuojamą, o tai
teikia geresnes valdymo paslaugas. Įmonės ir organizacijos, skirtos
Šios problemos sprendimas reikalauja daug laiko ir pinigų. Tuo pačiu metu kiekvienas
dokumentų valdymo sistemos kūrimas yra unikalus ir galimybė pakartoti
įgytos patirties panaudojimas pilnai praktiškai nėra. teisinga
šio proceso organizavimas lemia bet kurio darbo kokybę ir stabilumą
įmonių.
Naudojant automato modelį kuriant dokumentų srautų specifikacijas ir
programinės įrangos produktas leidžia sukurti sistemas, labiau atitinkančias reikalavimus
vartotojų ir suteikia galimybę pasiekti programų suderinamumą.
Automatų teorija leidžia įgyvendinti dokumentų judėjimo šakojimo tarp logiką
dokumentų valdymo procesų dalyviai. Aparatas leidžia nustatyti reakciją
darbo eigos sistemos elementai sistemos pokyčiams.
Sumodeliuotu objektu laikomas vadinamasis sudėtinis objektas.
dokumentų srautas, tai yra toks dokumentų srautas, kuriame jie dalyvauja, tiek elektroninis,
taip pat popieriniai pareiškimai. Sudėtinė darbo eiga
pavaizduotas trigubu: Dm = (U, D, F), kur
 Дт – formalus darbo eigos modelis;
 Y – dalyvių rinkinys;
 D – veiksmų rinkinys;
 F – dokumento būsenų rinkinys.
Dokumento būsenų rinkinys S gaunamas analizuojant gyvavimo ciklą
dokumentas. Tai visų būsenų, kurias gali priimti dokumentas, rinkinys
modeliuojamoje darbo eigoje, kur kiekviena reikšmė yra unikali: (S)=(F).
Pradinė būsena yra pradinė būsena, į kurią patenka
dokumentas po proceso inicijavimo. Pateikiant dokumento srautą formoje
procesų rinkinys, pradinė būsena yra pirmasis žingsnis, po kurio
galime sakyti, kad dokumentas egzistuoja ir procesas suaktyvintas. Taigi,
pradinės būsenos – tai objektai, aibės Ф elementai, turintys vieną arba
keli išeinantys ryšiai ir nė vieno įeinančio.

Darbo eiga susideda iš procesų rinkinio, kurių kiekvienas vyksta
vieną ar daugiau dokumentų. Darbo eigos proceso gyvavimo ciklas
yra nulemtas dokumentų judėjimo iš pradinių būsenų į galutines būsenas.
Nagrinėjamame modelyje galutinės automato būsenos apibrėžiamos kaip būsenos
dokumentus, kuriems atsiradus mašinos veikimas sustoja, t.y.
darbo eiga nustoja egzistuoti. Taigi, finalas
būsenas galima apibrėžti kaip aibės Ф objektus, kurie turi vieną arba
keli įeinantys ryšiai ir nė vienas išeinantis.
Darbo eigoje dokumentas įgauna tokią būseną, priklausomai nuo
su juo atliktų veiksmų rezultatas. automatinio perėjimo funkcija
darbo eigos modelius galima apibrėžti kaip i-tąjį veiksmų rinkinio elementą (D)
darbo eiga, po kurios būsena pasikeičia į
sąlyga. (F) = (D)
Automato abėcėlė yra simbolių rinkinys, kurio rinkiniai ateina arba gali
veikti automatiškai. Kaip automato abėcėlę, reikėtų atsižvelgti į sąrašą
dalyvių.
Galima vienareikšmiškai apibrėžti automatą, kuris tinkamai įgyvendins modelį
darbo eiga. Deterministinių automatų pagrindu sukurtas modelis leidžia
kurti modelius, kuriuos lengviau suvokti vizualiai. Jiems lengviau statyti
programinės įrangos diegimas. Tuo pačiu metu kuriant proceso modelius, kurie turi
sudėtinga išsišakojusi struktūra, automato modelis deterministiniuose automatuose
jis tampa didelis ir masyvus.
Nedeterministiniai automatai leidžia nurodyti sudėtingus procesus naudojant
mažiau aprašomosios medžiagos. Tačiau aiškumo dėlei jie
daug sunkiau.
Išvada: mažiems, šiek tiek šakotiems procesams geriau naudoti
deterministiniai automatai, o nedeterministiniai yra patogesni
nurodant procesus su daugybe žingsnių ir atšakų.
Sukūrus teorinę bazę, įdiegiama programinė įranga,
taikant praktikoje automatinius ir grafinius darbo eigos modelius. Kiekvienas iš
dalyviai turi galimybę pasiekti tam tikrų tipų dokumentus ir
atlikti su jais griežtai apibrėžtus veiksmus.

Sudėtinių darbo eigos sistemų įdiegimas leidžia dirbti biure
skaidresnis ir nuspėjamas, mažina asmeninę atlikėjo įtaką
darbuotojai už galutinį rezultatą.
Nagrinėjama pramonė šiuo metu sparčiai vystosi. Toliau
šios krypties tyrimai, ypač kalbant apie CSgrammatics naudojimą ir
sukurti programinę įrangą, kuri įgyvendina aprašytą automato modelį
visa sudėtinė darbo eiga.
Eilučių paieška tekste
Remiantis oficialia statistika, apie 85% interneto vartotojų nuolat
susisiekite su paieškos sistemomis
(„Google“, „Yandex“, „Rambler“, „Yahoo!“, „Aport“, „[email protected]“ ir kt.), kad surastumėte
jiems reikalingos informacijos apie prekes ar paslaugas.
Automatų teorijos nuostatos puikiai tinka tokiai realybei apibūdinti
užduotys, atsirandančios programose, pvz., paieška internete ir ištraukimas
informacija iš teksto. Daugelis šiuolaikinių interneto paieškos sistemų naudoja
speciali programa- paieškos robotas, kuris yra automatas.
Interneto amžiuje ir skaitmenines bibliotekas su nuolatine prieiga įprasta yra
kita problema. Jums duotas žodžių rinkinys ir norite juos rasti
dokumentai, kuriuose yra vienas (arba visi) iš jų. Populiarus tokio pavyzdys
procesas yra paieškos sistemos, kuri naudoja specialią technologiją, darbas
paieška, vadinama atvirkštiniais indeksais (apverstais indeksais). Už kiekvieną žodį
rasti internete (o jų yra apie 100 000 000), visų vietų, kur
tai susitinka. Mašinos su labai dideliu kiekiu RAM suteikia
nuolatinė prieiga prie labiausiai pageidaujamų sąrašų, leidžianti daugeliui žmonių
vienu metu ieškoti dokumentų.
Atvirkštinio indekso metodas naudoja ne būsenos mašinas, o šį metodą
Nukopijuoti ir perrašyti tinklo turinį užtrunka daug laiko
indeksai. Yra daug susijusių programų, kuriose taikoma technika
atvirkštiniai indeksai neįmanomi, tačiau galite sėkmingai naudoti metodus, pagrįstus
mašinos. Tos programos, kurioms tinka automatinė paieškos technologija,
turi šias išskirtines savybes:
1. Ieškomas tekstų parduotuvės turinys yra greitas
keičiasi.

Štai du pavyzdžiai:
o kiekvieną dieną analitikai ieško straipsnių su naujausiomis naujienomis
aktualiomis temomis. Pavyzdžiui, finansų analitikas gali ieškoti
straipsniai su tam tikromis santrumpos vertingų popierių arba vardai
įmonės;
o „robotas pirkėjas“ kliento pageidavimu stebi esamas kainas
tam tikrų produktų pavadinimų. Jis nuskaito puslapius iš žiniatinklio,
su katalogais, tada nuskaito tuos puslapius, kurių ieško
konkrečios prekės kainos informacija.
2. Ieškomi dokumentai negali būti kataloguojami.
Pavyzdžiui, labai sunku internete rasti visus puslapius, kuriuose yra informacijos apie
visų Amazon.com parduodamų knygų, nes šie puslapiai
yra generuojami tarsi „kelyje“ atsakant į užklausą. Tačiau užklausą galime išsiųsti el
knygas konkrečia tema, pasakykite „valstybės mašinos“ ir ieškokite toje dalyje
tekstas, esantis pasirodžiusiuose puslapiuose, pvz., tam tikras žodis
žodis „gražus“.
ATM veikimo modeliavimas
Bankomatas yra automatizuotas įrenginys, leidžiantis atlikti nuotoliniu būdu
operacijos, susijusios su vartotojo autentifikavimu (banko sąskaitos turėtojas),
esamos sąskaitos būklės peržiūra, pinigų išėmimas iš sąskaitos ir uždirbimas
įvairūs mokėjimai. Šiame pavyzdyje nagrinėjamas bankomato veikimas, įskaitant
tik kliento dalis, bet ir serverio dalis, kuri apdoroja užklausas, taip pat
leidimų posistemis.
Pagrindinis uždavinys diegiant tokias sistemas yra garantija aukštas lygis patikimumas
klientų, banko vartotojų ir informacinė sistema stiklainis.

Nepaisant ryšio tarp automatų trūkumo, AServer yra įdėtas į AClient. At
kai AKliento automatas yra būsenose „Įgaliojimas“, „Balanso užklausa“ ir
„Pinigų prašymas“ programos valdymas perkeliamas į mašiną AServer , kuri
siunčia užklausą į serverį, gauna atsakymą ir grąžina valdymą mašinai

AClient. Pats serveris sukurtas tradiciniu būdu ir įgyvendintas kaip
konsolės programa.
Programos sąsaja:
Pavyzdys rodo, kad UniMod įrankis supaprastina procesą
sukurti programą, palyginti su tradiciniu požiūriu. Tuo pačiu metu dauguma
Kūrėjo laikas skiriamas sistemos projektavimui. Nuo pagrindinės dalies
kodas generuojamas automatiškai, padidinamas programos patikimumas.
Automobilio signalizacijos valdymo sistemos priekiniai žibintai, sirena ir LED kaip valdymo objektai. Naudojant sudėtingą būseną
"2. Įjungta“ (yra 3 būsenos) suteikia galimybę išjungti
nesvarbu, kokioje būsenoje yra mašina.
Sistemos įvykių generatoriai
Įvykių generatorius p1. Šis objektas apibūdina konsolės sukurtus įvykius.
signalizacijos valdymas. Renginiai:
 e11 - mygtuko "1" paspaudimas;
 e12 - mygtuko "2" paspaudimas;
 e13 - paspaudus mygtuką "3".
p2 įvykių generatorius. Šis objektas atitinka smūgio jutiklį. Jis gali išduoti du
įvykiai:
 e21 - silpno smūgio fiksavimas;
 e22 – stipraus smūgio fiksavimas.
p3 įvykių generatorius. Šis objektas paleidžia vieną iš trijų laikmačių. Kai atgalinis skaičiavimas
užbaigia, sugeneruoja atitinkamą įvykį. Laikmatis paleidžiamas paprašius
valdymo objektas „o2“, nurodantis numerį ir reikiamą laiką.
 e31 - laikmatis "1" baigė skaičiuoti (laikmatis skaičiuoja laiką būsenoje "3.
aliarmas“ mašinos A1);

 e32 - laikmatis "2" baigė skaičiuoti (laikmatis skaičiuoja laiką būsenoje "2.
Pavojaus būsena“ mašinos A1);
• e33 - laikmatis "3" baigė skaičiuoti (laikmatis nutildymo valdymui).
Sistemos valdymo objektai
Valdymo objektas o1. Šis objektas apibūdina priekinių žibintų atliekamus veiksmus
automobilis.
 z1 – sumirksi vieną kartą;
• z2 – mirksėti du kartus;
• z3 – sumirksi tris kartus;

 z5 – nutraukti bet kokį veiksmą.
Valdymo objektas o2. Šis objektas naudojamas „p3“ laikmačiui paleisti.
 z1 – paleisti laikmatį "1" 15 s;
 z2 – paleisti laikmatį "2" 5 s;
 z3 – paleisti laikmatį "3" 3 s;
z4 - sustabdyti visus laikmačius.
Valdymo objektas o3. Šis objektas valdymas atspindi sirenos veikimą. Jo
išėjimo veiksmai beveik sutampa su priekinių žibintų išėjimo veiksmais.
 x1 yra loginis kintamasis, nurodantis, kad garsas įjungtas (ty gali
signalai) ar ne;
 z1 – garso generavimas, atitinkantis automobilio įjungimą į signalizaciją;
 z2 – garso generavimas, atitinkantis automobilio išėmimą iš signalizacijos;
 z3 – garso generavimas, atitinkantis reakciją į silpną smūgį;
 z4 – pradeda duoti pavojaus signalą;
 z5 - nutraukti garsą;
 z6 – įjungti garsą (leisti duoti signalus);

• z7 – išjungti garsą (uždrausti duoti signalus).
Valdymo objektas o4. Šis valdymo objektas apibūdina šviesos diodo veikimą,
esantis automobilyje. Rodo esamą aliarmo būseną.
 z1 – pradeda mirksėti;
 z2 – nustoti mirksėti.
Valdymo objektas o5. Šis valdymo objektas naudojamas išvesti

AUTOMATOV TEORIJA, diskrečiosios matematikos skyrius, tiriantis diskrečiųjų informacijos keitiklių, vadinamų automatais, matematinius modelius. Tokių keitiklių pavyzdžiai yra ir realios sistemos (kompiuteriai, techniniai automatai, gyvi organizmai), ir abstrakčios sistemos (abstrakčiai kompiuteriai, aksiomatinės teorijos). Automatų teorija atsirado XX amžiaus viduryje, tiriant automatus kaip biologinių sistemų ir kompiuterių matematinius modelius. Ateityje automatų teorijos problema gerokai išsiplėtė.

Automatų teorija yra glaudžiai susijusi su algoritmų teorija, ypač su abstrakčių kompiuterių teorija, nes automatai gali būti laikomi jų aproksimacijos atvejis.

Automatas gali būti apibūdinamas kaip įrenginys, turintis įvesties ir išvesties kanalus ir esantis vienoje iš vidinių būsenų kiekvienu atskiru laiko momentu. Signalai-įtakos tokiu momentu patenka į įvesties kanalą. Tais pačiais momentais prietaisas generuoja reakcijos signalus per išvesties kanalą. Automato, signalų-veiksmų ir signalų-reakcijų būsenos pateikiamos atitinkamų abėcėlių raidėmis: būsenų abėcėlė, taip pat įvesties ir išvesties signalų abėcėlė. Šių abėcėlių raidžių sąveikos dėsnius pateikia dvi funkcijos – perėjimo funkcija ir išvesties funkcija, kurios atitinkamai susieja poras (būseną – įvesties raidę) į būsenas ir išvesties raides. Automato įvesties aplinka yra įvesties abėcėlės žodžių rinkinys, o jo vidinė ir išvesties aplinka yra būsenos abėcėlės ir išvesties abėcėlės žodžių rinkiniai. Automatas apdoroja žodžius iš įvesties aplinkos raidė po raidės į dviejų kitų aplinkų žodžius. Šis procesas vadinamas automato elgesiu. Abėcėlės ir funkcijų savybės lemia skirtingus automatų tipus. Tuo atveju, kai visos abėcėlės yra baigtinės, gaunamas baigtinis automatas, kitu atveju automatas vadinamas begaliniu. Funkcijų pakeitimas ryšiais veda prie dalinių ir nedeterministinių automatų; atsitiktinių funkcijų naudojimas veda prie tikimybinio automato. Aiškinant įvesties aplinką terminais ar grafikais, prieina prie automatų per terminus ir automatų labirintuose.

Dauguma automatų teorijos problemų yra bendros pagrindinių tipų valdymo sistemoms, jos apima automatų analizės ir sintezės problemas, užbaigtumo, minimizavimo problemas, taip pat problemas, susijusias su lygiaverčiomis automatų transformacijomis. Analizės uždavinys – aprašyti jo elgesį pagal duotą automatą arba iš neišsamių duomenų apie automatą ir jo veikimą nustatyti vieną ar kitą jo savybę. Sintezės užduotis yra sukurti automatą su tam tikru elgesiu arba operacija. Greta šios problemos yra problemos, susijusios su tam tikro elgesio automatų sudėtingumo įvertinimu, taip pat su tam tikra prasme optimalių automatų konstravimu. Išsamumo problema yra išsiaiškinti, ar tam tikrą automatų rinkinį galima gauti iš mažesnio rinkinio, naudojant tam tikras automatų operacijas. Automatų mažinimo užduotis yra sumažinti automato parametrų reikšmes (pavyzdžiui, būsenų skaičių), todėl gaunamas automatas, kuris viena ar kita prasme yra lygiavertis pradiniam. Be pagrindinių valdymo sistemų tipams bendrų užduočių, automatų teorija nagrinėja specifines automatams būdingas problemas. Taigi, atsižvelgiant į problemos sąlygas, patogu nurodyti automatų elgesį skirtingomis kalbomis (reguliariosios išraiškos, kanoninės lygtys, predikatų logikos kalba ir kt.), Dėl kurių reikia pasirinkti svarbias užduotis. pakankamai patogios adekvačios kalbos ir vertimo iš vienos kalbos į kitą. Automato būsenų skaičiaus mažinimo problema yra susijusi su sintezės ir lygiaverčių transformacijų problemomis. Ryšium su vienos klasės automatų elgsenos modeliavimu kitos klasės automatais, iškyla modeliavimo automatų mažinimo ir jų sudėtingumo įvertinimo problemos. Speciali automatų teorijos dalis yra susijusi su vadinamaisiais eksperimentais su automatais. Pagrindinis šio skyriaus uždavinys – gauti tam tikrą informaciją apie automato sandarą, stebint jo reakciją į tam tikrus išorinius poveikius. Šiuo atveju iškyla problemų, susijusių su eksperimentų klasifikavimu ir problemų išsprendžiamumu tam tikro tipo eksperimentais, taip pat su minimalių eksperimentų trukmės, pakankamos tam tikroms problemoms išspręsti, įvertinimu. Eksperimento su automatais koncepcija taip pat naudojama automatų valdymo uždaviniuose. Specialūs automatų teorijos skyriai – tai automatų žaidimai ir automatų elgesys atsitiktinėje aplinkoje, kuriuose nagrinėjami automatų sąveikos tarpusavyje ir su tam tikra išorine aplinka klausimai. Daugelis aukščiau išvardintų problemų gali būti laikomos masinėmis problemomis (žr. Algoritminę problemą). Dėl baigtinių automatų dauguma jų turi teigiamą sprendimą.

Automatų teorija pritaikoma daugelyje sričių. Pavyzdžiui, kai kurių formalių skaičiavimų išsprendžiamumas įrodomas naudojant teorijos automatus. Automatų teorijos metodai ir sąvokos iš esmės naudojami matematinės lingvistikos srityse. Automato samprata gali pasitarnauti kaip pavyzdinis objektas sprendžiant įvairias problemas, o tai leidžia panaudoti teorijos automatus įvairiuose taikomuosiuose tyrimuose.

Lit .: Kudryavtsev V. B., Aleshin S. V., Podkolzin A. S. Įvadas į automatų teoriją. M., 1985 m.

Visi aukščiau aptarti įrenginiai priklauso kombinuotų grandinių klasei, ty diskretiesiems įrenginiams be atminties. Kartu su jais skaitmeninėse technologijose plačiai paplito nuoseklūs automatai, arba, kitaip tariant, kombinacinės grandinės, sujungtos su atminties elementais.

Pagal terminą mašina galima suprasti kokio nors realaus įrenginio funkcionavimą remiantis tiek signalais apie išorinės aplinkos būklę, tiek vidiniais signalais apie paties automato būseną. Šiuo atžvilgiu kompiuteris gali būti laikomas skaitmenine mašina. Skaitmeninė mašina yra įrenginys, skirtas skaitmeninei informacijai konvertuoti. Kita vertus, pagal terminą mašina galite suprasti kai kurių prietaisų matematinį modelį. Bendroji automatų teorija yra padalinta į dvi dalis: abstrakčiai ir struktūrinės automatų teorija. Skirtumas tarp jų yra tas, kad abstrakčioji teorija abstrahuojasi tiek nuo paties automato, tiek nuo įvesties ir išvesties signalų struktūros. Abstrakčioji teorija analizuoja automatinius perėjimus veikiant abstrakčiams įvesties žodžiams ir abstrakčiams išvesties žodžiams, suformuotiems ant šių perėjimų.

Struktūrinėje teorijoje nagrinėjama tiek paties automato, tiek jo įvesties ir išvesties signalų struktūra, automatų konstravimo iš elementarių automatų metodai, įvesties ir išvesties signalų kodavimo metodai, automato būsenos.

Atsižvelgiant į tai, įprasta atskirti du automatų modelius: struktūrinį ir abstraktų. Teoriškai nagrinėjant automatus naudojamas abstraktus modelis. Struktūrinis modelis naudojamas automato grandinei sukonstruoti iš loginių elementų ir trigerių ir yra skirtas valdymo funkcijai atlikti.

Abstraktus automatas yra matematinis skaitmeninio automato modelis, apibrėžtas šešių komponentų vektoriumi S=(A,Z,W,d,l,a 1), kur А=(a a ,…,am ) yra vidinių automato būsenų rinkinys. abstraktus automatas; Z=)