Revisión 1: Rubrica
Se revisan conceptos de los Lenguajes Regulares:
  • Operaciones de Lenguajes Regulares
  • Autómatas finitos
  • Autómatas finitos no determinísticos
  • Autómatas finitos no determiínisticos con transiciones epsilón
  • Los métodos de reducción
  • La función extendida
Se investiga sobre la minimización de autómatas finitos (determinístico)
Se aplican el uso de expresiones regulares profesionales

Sección uno:  ERERAFND-εAFND\textnormal{-}\varepsilonAFNDAFNDAFAF

Competencias a evaluar del alumno:
  • Verificará el lenguaje pedido a través de proponer cadenas que pertenecen al lenguaje
  • Diseño de Expresiones Regulares
  • Aplicación de reducciones 
  • De aplicarlo, uso de herramientas especializadas para reducciones entre Autómatas finitos
Concepto a evaluar
Puntos
Total puntos
Expresión Regular representa al lenguaje
10
10
AFND-εAFND\textnormal{-}\varepsilon correcto
10
10
AFNDAFND correcto
10
10
AFAF correcto
10
10
Notación correcta
Reducción de un punto por cada error hasta 5 reducciones
5
Puntos totales

45

Sección 2:  AFND-εAFND\textnormal{-}\varepsilon o AFNDAFND o AFAF

Competencias a evaluar del alumno:
  • Verificará el lenguaje pedido a través de proponer cadenas que pertenecen al lenguaje
  • Diseño de autómatas
  • Verificación de diseño de autómatas a través de una comprobación común para ejemplos de cadenas

Concepto a evaluar
Puntos
Total puntos
Ejemplos que pertenecen correctos
1 por ejemplo correcto
5
Ejemplos que no pertenecen correctos
1 por ejemplo correcto
5
Autómata representa al alenguaje
10
10
Proporciona explicación razonable
0: Nula o incoherente
1: Incluye elementos válidos
2: Repite el funcionamiento del autómata
5: Establece relación con lenguaje de forma abstracta
5
Comprobación correcta para cadenas 
0.5 por comprobación de ejemplo
5
Puntos totales

30

Sección 3: Minimización


Competencias a evaluar del alumno:
  • Investigación sobre temática de curso
  • Aplicación de minimización de un autómata
  • De aplicarlo, uso de herramientas especializadas para minimización de un autómata finito

Concepto a evaluar
Puntos
Total puntos
Resumen sobre minimización
7
7
AF minimizado
2
2