Deux fois plus de a que de b

2 rubans

6 états

Cette machine prend en entrée un mot w sur l’alphabet {a,b}. Elle l’accepte si et seulement si il contient deux fois plus de symboles a que de symboles b.

Simulateur

Spécification de la machine

nom: Deux fois plus de a que de b initial: q0 final: ok q0,[ab_],_ q+,$1,0,-,- q+,a,_ q+,a,_,>,> q+,a,0 q+,a,0,>,> q-,a,0 q+,a,0,>,> q-,a,_ q-,a,_,>,> q+,b,_ q<+,b,_,-,< q+,b,0 q<-,b,0,-,< q-,b,_ q<-,b,_,-,< q-,b,0 q<-,b,0,-,< q<+,b,_ q+,b,_,>,< q<+,b,0 q-,b,0,>,< q<-,b,[0_] q-,b,$2,>,< q+,_,0 ok,_,0,-,- q-,_,0 ok,_,0,-,-

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr