El problema planteado consiste en hallar el automata finito deterministico de la subhilera 11 o ~00.
Esta solución hace uso de la teoria de lenguajes sobre automatas finitos: tablas de transiciones y automata finito deterministico.
El desarrollo de este ejercicio requiere de un analisis inverso. Tenemos el diagrama de transiciones del automata finito, luego debemos hallar las tablas de transiciones y calcular luego el automata finito deterministico.
¿Qué hace este automata? A partir del diagrama de transiciones podemos ver que el automata toma como entrada bits de 0, 1 y los estados de aceptación C, D, E indican que el algoritmo solo es aceptado si contiene subhileras de 11 o NO contiene subhileras de 00, luego entradas validas serian: 10010110 (porque contiene subhilera 11), 01010 (porque no continene subhilera 00), etc..
Puede descargar la solucion de este ejercicio desde aqui
[Tweet «»De un automata se contruye un algoritmo» #Tutorias ☺»]