Revisión #1: Batería de ejercicios
Para la resolución de la serie recomendamos usar:https://www2.cs.duke.edu/csed/jflap/jflaptmp/ y si son un poco más aventurados https://gitlab.com/ivanvladimir/maquinas (sin documentación y garantías, ver notebooks)

Sección uno: ER→AFND-ε→AFND→AF

Para los ejercicios de 1 a  5  diseñar las máquinas solicitadas dado el lenguaje especificado

Evidencia a incluir:
  1. ER
  1. AFND-εAFND\textnormal{-}\varepsilon 
  1. AFNDAFND 
  1. AFAF
  1. Evaluación de función extendida 

Pregunta 1

Considerando el alfabeto Σ={l,m,n,1,2,#,$} diseñe  para el lenguaje de passwords con las siguientes características:
- Longitud mayor a 2
- Al menos un numeral (dígito)
- Al menos un símbolo alfanumérico 
 
  1. Una expresión regular
  1. Su autómata finito no determinístico con transición epsilón (AFND-ε)
  1. Su autómata finito no deteminístico (AFND)
  1. Su autómata finito AF
  1. Adicionalmente, evalué la función de transición extendida del AF para la cadena: mmm1$ 
 

Pregunta 2

Considerando el alfabeto Σ={x,y,z,w,@,.} diseñe para el lenguaje de direcciones e-mail.
  1. Una expresión regular
  1. Su autómata finito no determinístico con transición epsilón (AFND-ε)
  1. Su autómata finito no deteminístico (AFND)
  1. Su autómata finito AF
  1. Adicionalmente, evalué la función de transición extendida del AF para la cadena: w@x.yz 

Pregunta 3

Considerando el alfabeto Σ={i,j,k,<,>,/} diseñe para el lenguaje de secuencia de etiquetas HTML siguiendo con las siguientes características:
  • Pueden ser etiquetas de apertura o cierre de etiqueta
  • Sólo contienen nombre, no hay atributos
 
  1. Una expresión regular
  1. Su autómata finito no determinístico con transición epsilón (AFND-ε)
  1. Su autómata finito no deteminístico (AFND)
  1. Su autómata finito AF
  1. Adicionalmente, evalué la función de transición extendida del AF para la cadena: <ik></ik> 

Pregunta 4

Considerando el alfabeto Σ={5,6,7,8,9,-} diseñe para el lenguaje de números telefónicos siguiendo con las siguientes características:
  • Todos los números comienzan con 55
  • Los números solo tienen 5 números
  • Los números pueden estar separados por un ‘-’ en pares y tripletas de números

  1. Una expresión regular
  1. Su autómata finito no determinístico con transición epsilón (AFND-ε)