A NOTE ON PUSHDOWN STORE AUTOMATA AND REGULAR SYSTEMS

摘要

A theorem of Bar-Hillel, Perles, and Shamir is used to show that the set of tapes I left on the pushdown store by a regular set is regular. As a consequence, one obtains a generalization of a theorem of Buchi.