Ybadoo - Soluções em Software Livre
Turmas
1º Semestre de 2026

A Máquina com Pilhas é um autômato determinístico que utiliza uma estrutura de pilha (LIFO) como memória de trabalho. Contudo, é com duas pilhas que se atinge a equivalência à Máquina de Turing, cujo modelo de fita infinita e cabeça de leitura/escrita estabelece o padrão de computabilidade. Desenvolva um autômato com pilha, definido sobre o alfabeto Σ = {0, 1, $}, capaz de realizar a adição de dois números binários. 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 máquina deve gerar a sequência correspondente à soma binária. A seguir, são apresentados exemplos de entradas e os respectivos resultados esperados.

Exemplos de entradas possíveis
EntradaSaídaStatus
10$10100aceita
100$1111011aceita
1011$101010101aceita
101$00 ou 01$101indiferenterejeita
$ ou εindiferenterejeita

M = ({0, 1, $}, D)

Máquina com Pilhas
Autômato com pilha, definido sobre o alfabeto Σ = {0, 1, $}, capaz de realizar a adição de dois números binários