Practica 4 TALF

Enunciado Practica 4

afnd1

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

Pinchamos en Test ->  Highlight NonDeterminism

Estados no deterministas marcados

b. Marcar las transacciones ε (λ)

Pinchamos en Test ->  Highlight λ-Transitions

transiciones epsilon

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).

estados civiles

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

metodo complemento

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

no 4 as

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

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

todos los símbolos del alfabeto

Leave a Reply

Your email address will not be published. Required fields are marked *