O objetivo da máquina descrita na pergunta é realizar subtração por 2 na base unária. A máquina lê o primeiro espaço em branco na fita e, em seguida, lê os dois primeiros 1's na fita. Se houver menos de três 1's na fita, a máquina entra em um loop infinito. A máquina lê todos os 1's restantes na fita no estado q4.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar