Contient exactement deux b finit par b

1 rubans

4 états

Cette machine deterministe prend en entrée un mot sur l’alphabet {a,b} précédé d’un espace et teste si ce mot appartient au langage a*ba*b.

Simulateur

Spécification de la machine

nom : a*ba*b initial : i final : ok demi ruban : 1 i,_ 0,_,> 0,a 0,a,> 0,b 1,b,> 1,a 1,a,> 1,b 2,b,> 2,_ ok,-,>

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr