TAREA 8

EJERCICIO:

DISEÑE EL AFN QUE E={0,1} ACEPTA PALABRAS QUE CONTIENEN "00 " Y NO CONTIENEN "11"

Obtenenmos dos lenguajesL1 y L2 por separado

L1: Palabras que contienen "00"

¬( L2) : Palabras que no contienen "11"

Complementamos L1 y unimos a través de transiciones vacías

Ahora hacemos la tabla con estado y transiciones para tranformar un equivalente :

Renombramos los estados y ubicamos a los estados no finales que son Q3 y Q5 y complementamos porque ¬ (L1) U ¬(L2) = ¬(L1 n L2) por Morgan y entonces Q3 y Q5 ahora son Finales:

Hacemos la reducción y comprobación de equivalencia a través de método de tabla de estados distinguibles. Obteniendo el sig autómata: