Este es un programa que evalúa una archivo que posee la descripcion de un automata determinista.
- evalua que el las transiciones sean congruentes con los estados de que se definieron.
-la busqueda se da por diccionarios
-valida tambien la longitud en lineas del archivo