Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Ejercicios de reducción de autómatas
1. Universidad Fermín Toro
Vicerrectorado Académico
Escuela de computación
Cabudare, Edo. Lara
Ejercicios propuestos
Autómatas y lenguajes
formales
Alumno:
Guillermo Chirinos
2.
3.
4.
5.
6. Conclusión
Ante todo, buenas noches profesor, como puede observar, se encontró una equivalencia en el
lenguaje del ejercicio M1 (b*a U a*b U a*b) y M3 (b*a u a*b), ya que sus lenguajes son aceptados
por el autómata. También pude concluir que existe una equivalencia entre el ejercicio M2
(aUa*bUa*b) y M4 (aUa*bUa*b) ya que sus lenguajes son ciertamente parecidos o iguales y los
acepta el autómata. Y también son isomorfos porque son equivalentes y reconocen el mismo
lenguaje como fue el caso de M1 con M3 y el de M2 con M4.