Formato

Información necesaria

Todas las partes del programa leen un formato común que describe cada autómata y su ejecución dada una entrada. Este formato debe poseer la siguiente información:

• Tipo de autómata: Identificador de cada tipo: dfa, nfa, turing.
• Definición del autómata: Para todos los tipos se necesitan:
  • Lista de estados.
  • Estado inicial.
  • Lista de estados finales.
  • Función de transición.
• Entrada del autómata.

Para la representación posterior, el formato debe incluir además:

• Lista de estados.
• Estados de la cinta (sii es máquina de Turing).

Discusión

Cosas a tener en cuenta:

• Graphviz acepta como mínimo estos símbolos.
• Comprobar si pygraphviz maneja bien las cadenas con espacios.