A NOTE ON PUSHDOWN STORE AUTOMATA AND REGULAR SYSTEMS.
SYSTEM DEVELOPMENT CORP SANTA MONICA CALIF
Pagination or Media Count:
A theorem of Bar-Hillel, Perles, and Shamir is used to show that the set of tapes left on the pushdown store by a regular set is regular. As a consequence, one obtains a generalization of a theorem of Buchi. Author
- Computer Programming and Software
- Computer Hardware