J'essaie d'utiliser un diagramme machine à états finis pour représenter le type de données abstrait Stack, et j'ai du mal à trouver un moyen de représenter un alphabet non borné. Une pile peut avoir un nombre infini d'éléments, mais je ne peux pas tracer d'états infinis dans mon diagramme.Expression d'une pile ADT avec un diagramme de machine à états finis
La solution que je vise est d'utiliser la récursivité, mais je ne trouve pas d'exemples d'exprimer la récursion dans une machine à états finis diagramme. Existe-t-il un moyen standard pour dessiner une récursion? Ou y a-t-il une autre solution à mon problème d'infinité?
Comme vous l'avez dit, une pile n'est pas une machine à états finis, alors pourquoi faites-vous cet exercice en premier lieu? Il y a une machine à états finis appelée "automate push-down" qui utilise une pile pour stocker une partie de son état en plus des états de la machine. Est-ce ce que vous demandez? – Welbog
Je faisais cela pour une mission d'école, et une machine à états finis est définitivement ce que je cherchais. Je suis confus aussi. –