Quina diferència hi ha entre una màquina d'estat finit i un autòmat pushdown?


Resposta 1:

La diferència depèn de la implementació. Típicament, com ja va mencionar Jim, els automàtics pushdown serien una pila d’estats, on cada estat de la pila tindria només 2 transicions (una a cada costat), mentre que una màquina d’estat finit podria ser un gràfic amb transicions que circulen per estats. Els ajudants artificials sensibles al context (com a exemple) es podrien implementar com a autòmats endavant, mentre que la capa d'aplicació de qualsevol dispositiu interactiu per a l'usuari es podria implementar com a base de dades.

Es podria pensar que la implementació d’estadístiques jeràrquiques és automatització de pressions combinades amb estadístiques de fines a cada nivell.


Resposta 2:

La transició de les màquines d'estat finit és una funció del conjunt d'estat al conjunt d'estat. D’aquesta manera, donada una entrada, la futura configuració (o estat) de la màquina només depèn de l’estat amb què comenceu. En pda la funció de transició va des d’un símbol superior de la pila i una ubicació a alguna altra ubicació. Així, el futur dels autòmats donats a una entrada depèn de l’estat i del contingut de la pila (el següent estat depèn de la part superior de la pila, al costat del següent depèn possiblement del segon element, al costat del següent al possible del tercer i així successivament) . La mida de la pila no té límits. Per tant, l'estat o configuració podrien quedar sense límits.


Resposta 3:

La transició de les màquines d'estat finit és una funció del conjunt d'estat al conjunt d'estat. D’aquesta manera, donada una entrada, la futura configuració (o estat) de la màquina només depèn de l’estat amb què comenceu. En pda la funció de transició va des d’un símbol superior de la pila i una ubicació a alguna altra ubicació. Així, el futur dels autòmats donats a una entrada depèn de l’estat i del contingut de la pila (el següent estat depèn de la part superior de la pila, al costat del següent depèn possiblement del segon element, al costat del següent al possible del tercer i així successivament) . La mida de la pila no té límits. Per tant, l'estat o configuració podrien quedar sense límits.