A Máquina de Post, proposta por Emil Leon Post, é um autômato determinístico que utiliza uma estrutura de fila (FIFO) como memória de trabalho. Desenvolva uma Máquina de Post, definida sobre o alfabeto Σ = {0, 1, $}, capaz de calcular a disjunção exclusiva (XOR) entre duas sequências binárias. A entrada será fornecida no formato A$B, em que A e B representam os operandos e $ atua como delimitador. Após o processamento, a fila deve conter a sequência resultante da operação bit a bit (XOR). A seguir, são apresentados exemplos de entradas e os respectivos resultados esperados.
| Entrada | Saída | Status |
|---|---|---|
| 10$10 | 00 | aceita |
| 100$111 | 011 | aceita |
| 1011$1010 | 0001 | aceita |
| 101$00 ou 01$101 | indiferente | rejeita |
| $ ou ε | indiferente | rejeita |
M = ({0, 1, $}, D, #)