Diseñe una MT que se comporte como reconocedor que su lenguaje aceptado sea
el conjunto de cadenas con el mismo número de ceros que de unos.
Desarrollo
S2 b b R S3
S3 b a L S4
S3 a a R S3
S4 a a L S4
S4 b b L S5
S5 a a L S5
S5 b a R S1
0 q0 a
1 q1 aa
3 q3 aab
5 Q5 aa