Enunciado de la practica Enunciado Practica 3 Talf.
1.-Introduce en JFlap el siguiente autómata e intenta averiguar que lenguaje describe
Para averiguar que lenguaje genera el autómata la forma mas intuitiva es transformarlo en una expresión regular, en el menu de JFlap seleccionamos “Convert->Convert FA to RE”
pinchamos en el boton “Do It” el cual generara transiciones vaciás entre estados
Volvemos a pinchar en “Do It” para eliminar estados no iniciales o no finales
la etiqueta de informacion situada debajo de la pestaña de conversión nos indica que la transformación de autómata finito a expresion regular esta completada, por lo tanto ya podemos pinchar en el botón Export el cual creara una nueva ventana mostrándonos la expresión regular
por lo tanto el lenguaje que crea este autómata esta compuesto por un numero de caracteres (a>=0) una letra b y un numero de repeticiones de la cadena bb>=0
2.- Modela el autómata que reconozca cadenas con un número par de “0”s y “1”s
Partimos de que 0 es par por lo tanto ε es una palabra valida, y el estado inicial.
Los posibles estados para este autómata son:
- Numero de 1’s par y numero de 0’s par
- Numero de 1’s par y numero de 0’s impar
- Numero de 1’s impar y numero de 0’s par
- Numero de 1’s impar y numero de 0’s impar
creamos un nuevo autómata en JFlap introduciendo los cuatro posibles estados:
habíamos quedado en que ε tiene un numero par de 0’s y un numero par de 1’s por lo tanto 1P0P es estado inicial y final. Asi que lo que nos queda es completar las transiciones.
3.- Autómata que reconozca cadenas impares de de “0”s y “1”s
igual que el apartado anterior pero cambiando el estao final en lugar de 1P0P es 1I0I
4.- Construye un AFD que acepte identificadores, con las siguientes características
a. Solo letras vocales minúsculas
b. Es válido el carácter de subrayado, con la condición que como máximo exista uno
c. No se permiten espacios en blanco
d. También puede tener números, pero no pueden estar al principio ni al final del identificador, ni haber más de tres consecutivos
Hola buenas.
La palabra 0011 o la palabra 1100 tienen un número par de 0’s y un numero par de 1’s y sin embargo el autómata no las puede validar.
¿Esta bien?
Gracias por todo.
Me he equivocado, disculpa las molestias.