Cada linha na tabela, representa as configurações esperadas para um estado.
Use vírgulas para separar cada um dos elementos.
As seguintes configurações são esperadas nas posições:
1º Estado da máquina
2º Símbolo da fita
3º Operação de escrita
4º Movimento da fita
5º Estado final
Use espaço vazio ou _ para definir espaço em branco. E para sinalizar o movimento a esquerda e D para sinalizar o movimento a direita.
Ex: q1, a, b, D, q2
Como estado inicial da máquina será considerado o valor informado na primeira linha da tabela de estados.
O símbolo inicial deve obrigatoriamente estar definido em alguma configuração do estado inicial da máquina.
Ex: q0, >, >, D, q1 (Considerando que q0 é o estado inicial e > como símbolo inicial)
Ao menos uma linha de configuração deve conter um símbolo de parada. É esperado que símbolo de parada esteja na 4 posição.
Ex: q1, a, a, ! (Considerando ! como símbolo de parada)