Care este diferența dintre o mașină cu stare finită și un automat cu împingere?


Răspunsul 1:

Diferența depinde de implementare. În mod obișnuit, așa cum a menționat deja Jim, automatul pushdown ar fi o stivă de stări, în care fiecare stat din stivă ar avea doar 2 tranziții (una pe fiecare parte), în timp ce o mașină cu stare finită ar putea fi un grafic cu tranziții care rulează în diferite state. Asistenții artificiali sensibili la context (de exemplu) ar putea fi implementați ca un automate push down, în timp ce stratul de aplicație al oricărui dispozitiv interactiv pentru utilizator ar putea fi implementat ca o statemachine finită.

S-ar putea crede că punerea în aplicare a statemachinelor ierarhice este automatizare pushdown combinată cu statemachine finite la fiecare nivel.


Răspunsul 2:

Tranziția mașinilor cu stare finită este o funcție de la setul de stare la cel de stare. Astfel, oferită o intrare, configurația viitoare (sau starea) mașinii depinde doar de starea cu care începeți. În pda, funcția de tranziție trece de la un simbol superior al stivei și o locație la o altă locație. Astfel, viitorul automatelor date cu o intrare depinde de starea și de conținutul stivei (starea următoare depinde de partea de sus a stivei, de lângă următorul depinde, eventual, de al doilea element, de lângă alături de următorul, de a treia și așa mai departe) . Dimensiunea stivei este nelimitată. Astfel, starea sau configurația ar putea fi nelimitată.


Răspunsul 3:

Tranziția mașinilor cu stare finită este o funcție de la setul de stare la cel de stare. Astfel, oferită o intrare, configurația viitoare (sau starea) mașinii depinde doar de starea cu care începeți. În pda, funcția de tranziție trece de la un simbol superior al stivei și o locație la o altă locație. Astfel, viitorul automatelor date cu o intrare depinde de starea și de conținutul stivei (starea următoare depinde de partea de sus a stivei, de lângă următorul depinde, eventual, de al doilea element, de lângă alături de următorul, de a treia și așa mai departe) . Dimensiunea stivei este nelimitată. Astfel, starea sau configurația ar putea fi nelimitată.