2. Identifique los componentes del autmata (que tipo de tupla es) El autmata finito Determinista del ejercicio se comporta como una quntupla que est compuesta por un alfabeto que contiene los smbolos 0 y 1, por un conjunto de estados; los cuales son q 0, q 1, q 2, q 3, q 4, q 5, q 6, q 7. Por un estado inicial que comienza en q 0 y por dos estados finales o de aceptacin que son q 3 y q 5 y por funciones de transicin. Tenemos los estados del autmata, en este caso inicia en el estado q 0, este a su vez recibe un smbolo del alfabeto (puede ser 0 1) y de acuerdo al smbolo, recibe las funciones de transicin que le indican el siguiente estado que se debe dirigir.
3. Identifique la tabla de transicin correspondiente
4. Identifique el lenguaje que reconoce (no en notacin de ER) y enuncie cinco posibles cadenas vlidas que terminen en el estado halt y cinco cadenas no vlidas: El autmata, recibe el conjunto de todas las cadenas que comiencen por 0 o por 1, reconoce cadenas que contienen una cantidad par de ceros o de unos, reconoce combinaciones de 0 o 1, bajo ciertas condiciones o propiedades que resultan complejas. No reconoce cadenas 01 o 10, se llega al estado final con 0 o 1.
Cadenas vlidas: 000000 11 110110 11011101 001010
Cadenas no vlidas: 111111111 000111 101 1101 0000000
5. Encuentre la expresin regular vlida. (se genera de forma manual, asociando cada operador y sentencia al diagrama de moore de forma explicativa). No se genera con el JFLAP
6. Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus componentes y como se escriben matemticamente). Justifquela si la convierte a la Izquierda o a la derecha. Plsmela en el simulador y recrela. (Debe quedar documentado en el texto el paso a paso que realizan en el simulador)
Los componentes del AFD son los siguientes: V = A, B, C, D, E, F, G = 0,1 R = Es el conjunto de reglas, es un subconjunto finito de V x (V U ) S= Es el smbolo inicial y es un elemento de V La gramtica regular es Lineal por la derecha, porque todas las producciones tienen la forma A aB o bien A a
Tenemos el diagrama de Moore del autmata, damos click en convert to grammar
Tambin podemos ingresar a jflap, Grammar y diligenciar