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 169 times
0
-
What is the “halting problem” in case of DPDA? It always halts. – prime_hit Jun 09 '20 at 18:16
-
I suspect you'll have to define how you propose to represent pushdown automata before the question becomes answerable. Because PDAs are so weak, this question might be sensitive to the specific representation used. – D.W. Jun 09 '20 at 19:54
-
The halting problem only makes sense when considering machines that don't always halt. Pushdown automata always halt by definition. They either accept or reject. – frabala Jun 09 '20 at 20:40