Can a pushdown automaton solve the halting problem for another Pushdown automaton? It's already shown here turing machine can solve the halting problem for a pushdown automaton. Decidability of halting problem for DPDAs with $\epsilon$-transitions? But can a pushdown automaton do the same?
Asked
Active
Viewed 181 times
