Bonjour,

Je suis à la recherche d'une implémentation d'un automate fini paramétrable sous la forme d'une classe Zend.

C'est finalement assez simple comme fonctionnement puisque je ne cherche pas quelque chose de fonctionnel pour un cas précis, je compte définir le graphe des états par moi-même.
Le composant doit pouvoir prendre une description des transitions en paramètre, une succession d'événements en entrée puis fournir à la sortie un état final et un dénombrement de chacune des transitions.

Le code doit normalement être assez court et je peux tout à fait le faire moi-même. Par contre, il peut exister des syntaxes pour représenter les transitions d'une telle machine. Je me dis que c'est dommage de réinventer la roue.

Cela semble déjà exister sous Pear : http://pear.php.net/package/FSM/redirected
Mais la documentation ne propose pas de syntaxe textuelle pour définir l'ensemble des transitions.

En vous remerciant par avance.