Formato de Entrada MTN

Extensión del archivo

.ntm
Conjunto de estados
Esta sección se define cuáles son los posibles estados que puede recorrer el autómata. Se vería de la siguiente

manera:
#states
q0
q1
q2
...
qn

Cada estado estará separado por saltos de línea y el nombre de cada uno de ellos no puede contener el carácter ; ni separadores de
línea, así, la siguiente estructura sería válida:

#states
otro_estado
state_name

Estado inicial
Esta sección define cuál será el estado inicial. El estado contenido en esta sección debe estar en la sección de Conjunto de estados y no es
estricto que sea el primer elemento en esta sección. Por ejemplo:

#initial
state_i

Estados de aceptación
Esta sección define cuáles son los estados de aceptación, cada estado descrito en esta sección debe estar en la sección Conjunto de
estados y se describe en el archivo como:

#accepting
state_j
state_k
...
state_l

Alfabeto de Entrada
Esta sección describe cada símbolo del alfabeto de entrada, rango de caracteres - o caracteres separados por saltos de línea y ninguno de
estos
símbolos debe ser igual al caracter $ ni #. Un rango de caracteres puede anteceder o proceder a un carácter y viceversa.

#inputAlphabet
A-F
a-z
ñ
Ñ
...
0-9
;

Alfabeto de Cinta
Esta sección describe cada símbolo del alfabeto de cinta, rango de caracteres - o caracteres separados por saltos de línea y ninguno de
estos
símbolos debe ser igual al caracter $ . Un rango de caracteres puede anteceder o proceder a un carácter y viceversa.

#tapeAlphabet
A-F
a-z
ñ
Ñ
...
0-9
;

Transiciones
Esta sección define la transiciones que la MTN hará. Los desplazamientos →←− se representan con los símbolos ><- respectivamente. El
carácter en blanco se representa por !
La transición $$\delta(q1,a)={ (q2,A, →), (q3,B, ←),(q4,C,-) } $$ se representa como q1:a?q2:A:>;q3:B:<;q4:C:-
Por ejemplo,

#transitions
q0:! ?q1:A:>;q2:!:<
q1:a?q2:!:<;q3:b:-;q1:a:>

Formato de Salida de Procesamiento Detallado MTN

El formato de salida de procesamiento detallado de las MTN debe seguir el formato del siguiente
ejemplo:

Cadena: aabbcc

Procesamiento:

(q0)aabbcc->a(q1)abbcc->aa(q1)bbcc->aab(q1)bcc->aabb(q1)cc->aabbc(q1)c->…