Académique Documents
Professionnel Documents
Culture Documents
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