Serie #1 LFYA 2020-I:Batería de preguntas
Para la resolución de la serie recomendamos usar: http://www.jflap.org/ y si son un poco más aventurados https://gitlab.com/ivanvladimir/maquinas (sin documentación y garantías)

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

Pregunta 1

Considerando el alfabeto Σ={a,b,1,2,#,$} diseñe 
  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
Adicionalmente, evalué la función de transición extendida para la cadena: aaa1$ para el AF, AFND y AFND-ε

Lo anterior, para el lenguaje de passwords con las siguientes características
  • Mayor a longitud 2
  • Al menos un numeral (dígito)
  • Al menos un símbolo alfanumérico

Evidencia que será evaluada
  1. Ejemplos de cadenas que deben ser aceptadas
  1. Ejemplos de cadenas que deben ser rechazadas
  1. La expresión regular
  1. El AFND-ε y la evaluación de la función de transición extendida
  1. El AFND y la evaluación de la función de transición extendida
  1. El AF y la evaluación de la función de transición

Pregunta 2

Considerando el alfabeto Σ={a,b,c,d,@,.} diseñe 
  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
Adicionalmente, evalué la función de transición extendida para la cadena: a@bbc.d para el AF, AFND y AFND-ε

Lo anterior, para el lenguaje de direcciones e-mail.

Evidencia que será evaluada
  1. Ejemplos de cadenas que deben ser aceptadas
  1. Ejemplos de cadenas que deben ser rechazadas
  1. La expresión regular
  1. El AFND-ε y la evaluación de la función de transición extendida
  1. El AFND y la evaluación de la función de transición extendida
  1. El AF y la evaluación de la función de transición

Pregunta 3

Considerando el alfabeto Σ={a,b,c,<,>,/} diseñe 
  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
Adicionalmente, evalué la función de transición extendida para la cadena: <\head> para el AF, AFND y AFND-ε

Lo anterior, para el lenguaje de etiquetas HTML siguiendo con las siguientes características: