Echivalența automate finite deterministe și non-determinist
Mașina de stat - în teoria algoritmilor, abstractizare matematică. permite să descrie modul în care își schimbă starea unui obiect în funcție de starea curentă și datele de intrare. cu condiția ca numărul total de stări posibile este finit. Aparatul de stat este un caz special al mașinii abstracte.
Există diverse variante de realizare ale unui loc de muncă automat finit. De exemplu, aparatul de stat poate fi specificată utilizând cinci parametri: în cazul în care:
- Q - un set finit de stări ale automatului;
- q0 - starea inițială ();
- F - set de final (sau permite) prevede astfel încât;
- Σ - alfabetul de intrare admisibil (set finit de posibile simboluri de intrare), care sunt formate din rânduri de citire optică;
- δ - maparea predeterminată într-o multitudine de subgrupele de set Q: (uneori numită funcția tranziții δ automatului).
Automată începe în Q0 de stat. citind un caracter din șirul de intrare. Considerat un simbol al mașinii se traduce într-o nouă stare de Q în conformitate cu funcția de tranziție. Dacă la finalizarea citirii cuvântului de intrare (șir de caractere) mașină este într-unul dintre statele care acceptă, cuvântul „luat“ în mod automat. În acest caz, se spune că aparține limbajului mașinii. În caz contrar, cuvântul „respins“.
Alte modalități de a descrie
- Diagrama de stat (sau, uneori, Graficul de tranziție) - reprezentarea grafică a unui set de stări și funcția de tranziție. Este un grafic încărcat-un singur sens. noduri - SC de stat, Arcul - tranzițiile de la un stat la altul, iar sarcina - simbolurile sub care o anumită tranziție. În cazul în care tranziția de la q1 la q2 poate fi realizată cu apariția unuia mai multor personaje, pe arc trebuie să fie etichetate pe toate.
- Masa de tranziție - tabel funcție vizualizare δ. De obicei, în acest tabel fiecare rând corespunde unui stat, iar coloana - un simbol de intrare validă. Celula de la intersecția rândului și coloanei înregistrate de acțiune care trebuie să se efectueze automat, dacă într-o situație în care el a fost în această stare, el a luat de intrare de caractere.
determinism
Mașini de stat finite sunt împărțite în deterministe și non-determinist.
Determinist automatelor finite
- automat finit determinist (DFA) este o mașină în care există fiecare secvență de simboluri de intrare de un singur stat, la care mașina se poate deplasa în afara curentului.
- automaton finit nedeterminist (RNP) este o generalizare a deterministic. Mașini indeterminare se realizează în două moduri:
Sunt pasaje marcate cu ε lanț gol
De la un stat la câteva pasaje care sunt marcate cu același simbol