Un automat abstract (în teoria algoritmilor) este o abstractizare matematică. Un model al unui dispozitiv discret având o intrare, o ieșire și în fiecare moment al timpului fiind într-o singură stare din setul de posibile. Intrarea acestui dispozitiv este simbolurile unui singur alfabet. La ieșire, produce simboluri (în general) ale unui alt alfabet.
Formal, un automat automat este definit ca un număr de cinci
Unde S este setul de stări finite ale automatului, X, Y sunt alfabete de intrare și ieșire finite, din care se formează liniile citite și ieșite de automaton, funcția de tranziție, funcția de ieșire.
Diagrama funcțională a automatului abstract
Un automat abstract cu o stare inițială distinctă se numește automat automat. Astfel, automatul abstract definește o familie de automate inițiale
Dacă funcțiile de tranziție și de ieșire sunt determinate în mod unic pentru fiecare pereche, atunci automatul se numește determinist. În caz contrar, automatul este numit nedeterminist sau parțial determinat.
Dacă funcția de tranziție și / sau funcția de ieșire sunt aleatoare, atunci automatul este numit probabilistic.
Restricționarea numărului de parametri ai unui automat abstract definește un concept ca un automat finit.
Funcționarea mașinii este generarea a două secvențe: o secvență de stări succesive ale automatului și secvența de simboluri de ieșire care sunt dislocate în momente discrete de timp t pentru secvența de simboluri = 1, 2, 3, ... puncte discrete de timp sunt numite bare.
Funcționarea automatului la momentele discrete ale timpului t poate fi descrisă printr-un sistem de relații de recurență:
Pentru a clarifica proprietățile automatelor abstracte, este introdusă o clasificare.
Abstract automata formează o clasă fundamentală de modele discrete ca model independent și ca componentă principală a mașinilor Turing. automata cu memorie de stocare. automate finite și alte convertoare de informații.
Modelul unui automat abstract este folosit pe scară largă, ca model de bază, pentru a construi modele discrete de automate care recunosc, generează și transformă secvențe de simboluri.
Uita-te la ceea ce este "Abstract Machine" în alte dicționare:
automată abstractă - abstraktusis automatas statusas T sritis automatika atitikmenys: angl. abstract automat vok. abstrakter Automat, m rus. mașină abstract, m pranc. automate abstrait, m ... Automatikos terminų žodynas
O mașină de stat finită este un automat abstract fără flux de ieșire, numărul de stări posibile din care este finit. Rezultatul automatului este determinat de starea sa finală. Există mai multe opțiuni pentru specificarea unei mașini de stat finite. De exemplu, ... ... Wikipedia
TYURINGA, MACHINE - O mașină abstractă (adică un calculator sau alt mecanism precis, definit), descris teoretic de către matematicianul britanic Alan M. Turing în anii 1930. Practic, mașina Turing constă dintr-o bandă și un cap de citit. Banda ... ... Dicționarul explicativ al psihologiei
Teoria automată este o secțiune a ciberneticii teoretice care studiază modele matematice (numite automate sau mașini) de dispozitive reale sau posibile care procesează informații discrete în cicluri discrete. Principal ... ... Dicționar economic și matematic
Teoria automatelor - [Teoria automatelor] sectiune a ciberneticii teoretice, care studiază modelul matematic (denumit aici automatelor sau mașini) dispozitive reale sau potențiale, procesare discretă în formarea discrete același ciclu de ceas. Principal ... ... Dicționar economic și matematic
Teoria automatelor - Secțiunea ciberneticii teoretice, care studiază modelul matematic (se face referire aici ca automate sau mașini), dispozitive reale sau potențiale, informații discrete de prelucrare discrete același ciclu de ceas. Conceptele de bază ale acestei teorii ... ... Directorul traducătorului tehnic
Teoria automatelor - Teoria automatelor este o secțiune a matematicii discrete care studiază computerele abstracte automate care sunt prezentate sub formă de modele matematice și probleme pe care le pot rezolva. Teoria automatelor este cea mai strâns legată de ... ... Wikipedia
Calculator - Diagrama unui calculator personal: 1. Monitor 2. Placa de baza 3 ... Wikipedia
Metode formale - specificație formală Exemplu folosind Z notație în știință și inginerie software metode formale este un grup de metode bazate pe formalismul matematic pentru ... Wikipedia
- Mașina de stat finită. Jesse Russell. Această carte va fi realizată în conformitate cu comanda dvs. privind tehnologia Print-on-Demand. Conținut de înaltă calitate prin articole WIKIPEDIA! Un aparat de stat finit este o mașină abstractă fără ieșire ... Citiți mai multe Cumpărați pentru 1147 руб
- Rezumat automat. Jesse Russell. Această carte va fi realizată în conformitate cu comanda dvs. privind tehnologia Print-on-Demand. Conținut de înaltă calitate prin articole WIKIPEDIA! O mașină abstractă (în teoria algoritmilor) este ... Mai multe informații Cumpărați pentru 870 руб