Une implémentation basique d'un automate à états finis simple et déterministe (AEFSD) en Rust où la matrice de transition est implémentée via l'usage d'une HashMap. Ce programme a été conçu dans le cadre d'un mini-projet universitaire.
Le langage reconnu par cet automate est L = {0^i bb 1^j / i >= 0, k > 1}
Un autre éxemple en Python est disponible ici