Mașină Rezumat (în algoritmi de teorie) - modelul matematic abstractizare un dispozitiv discret având o intrare, o ieșire și la fiecare dată este într-o stare de multiple posibile. La intrarea acestui dispozitiv apar simbolurile unei limbi, iar la ieșire se dau simbolurile (în cazul general) ale unei alte limbi.
Formal, un automat automat este definit ca un număr de cinci
În cazul în care S - un set finit de stări ale automatului, X, Y - respectiv finite de intrare și de ieșire alfabete, din care sunt formate prin rânduri citite emise în mod automat, - funcția de tranziție, - funcția de ieșire.
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 avtomataposledovatelnosti simboluri de ieșire pentru acea simvolovrazvorachivayutsya secvență la intervale de timp discrete t = 1, 2, 3, ... momente de timp discrete 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 automatele formează o clasă fundamentală a modelelor discrete ca model independent și ca componentă principală a mașinilor Turing, automate cu memorie de stocare, automate finite și alți convertori de informații.
Modelul abstract al automatelor este utilizat pe scară largă, ca bază, pentru construirea de modele discrete de recunoaștere, generare și transformare a secvențelor de simboluri.
Articole similare
Trimiteți-le prietenilor: