Revisión #1: Batería de ejercicios
Las respuestas de los problemas se colocarán en el formulario proporcionado; la rubrica se puede localizar aquí

Para la resolución de la serie recomendamos usar: https://www2.cs.duke.edu/csed/jflap/jflaptmp/ o  https://gitlab.com/ivanvladimir/maquinas 

Esta revisión cubre las siguientes sesiones:

La revisión está compuesta de cuatro partes

Ejercicios 3 y 4, son dos ejercicios de investigación por lo que se sugiere recurrir a la biografía

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

Para los ejercicios de 1 a  5  diseñar las máquinas solicitadas dado el lenguaje especificado proporcionar la siguiente evidencia 
  1. 5 cadenas que pertenecen al lenguaje especificado
  1. 5 cadenas que no pertenecen al lenguaje especificado
  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 una cadena

Ejercicio 1

Considerando el alfabeto Σ={1,2,3,4,5,6,7,8,9,0,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z} diseñe para el lenguaje:
- Para cadenas que representen RFC
- Pruebe con la cadena: ABCD120368

Ejercicio 2

Considerando el alfabeto Σ={1,2,3,4,5,6,7,8,9,0,.} diseñe para el lenguaje: 
- IPs validas
- Pruebe con la cadena: 132.248.51.88

Ejercicio 3

Considerando el alfabeto Σ={1,2,3,4,5,6,7,8,9,0,+} diseñe para el lenguaje:
- De cadenas que representan la suma de dos números
- Los números no pueden tener ceros a la izquierda
- Los números no pueden ser ceros
- Prueba con la cadena: 1999+30

Ejercicio 4

Considerando el alfabeto Σ={1,2,3,4,5,6,7,8,9,0,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,-} diseñe el lenguaje: 
- De placas con los formatos: LLL-NNN y NNN-LLL (donde L es una letra y N es un número)
- Prueba con la cadena: 124-MNO

Ejercicio 5