Deciding Emptiness for Stack Automata on Infinite Trees

• 1 September 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 113  (2) , 278-299
• https://doi.org/10.1006/inco.1994.1073

Abstract

Keywords

• DECIDING EMPTINESS
• STACK AUTOMATA
• INFINITE TREES
• EMPTINESS FOR STACK