Tag: practicas

Enunciado Practica 4

afnd1

1.- Dado el AFND- ε afnd1
a. Marcar los estados no deterministas

Pinchamos en Test ->  Highlight NonDeterminism

b. Marcar las transacciones ε (λ)

Pinchamos en Test ->  Highlight λ-Transitions

c. Indica la traza de todos los caminos recorridos hasta aceptar o no aceptar
las palabras:

• aaabbaab
  • No existen trazas en las que  acepte el automa
  • Trazas que no aceptan
    • 
    • 
    • 
    • 
    • 
    • 
• aaaaaabbbbbb
  • Trazas que Acepta
    • 
    • 
    • 
    • 
  • Trazas que no Acepta
    • 
    • 
    • 
    • 
    • 
    • 
    • 
    • 

NOTA: utiliza para ello todas las opciones del Step by State (Step,Reset,Freeze,Thaw,Trace, Remove)

2.-Modela un autómata sobre el paso de una persona de un estado civil a otro: tener en cuenta al menos los estados civiles “soltero”, “casado”, “divorciado”, “viudo”. Considere al divorcio como un proceso con duración (instantáneo).

3.-Diseñar usando el método del complemento un AFD que acepte las palabras en {a, b} que no inicien con abab.

4.- Construir autómatas finitos deterministas que acepten cada uno de los lenguajes siguientes.
a.

b. Los números binarios en los que la primera cifra es diferente de la última.

c. Todas las cadenas sobre  que contienen al menos una vez cada símbolo de  .

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