Accession Number:
AD0628203
Title:
A NOTE ON PUSHDOWN STORE AUTOMATA AND REGULAR SYSTEMS.
Descriptive Note:
Scientific rept.,
Corporate Author:
SYSTEM DEVELOPMENT CORP SANTA MONICA CALIF
Personal Author(s):
Report Date:
1965-08-31
Pagination or Media Count:
17.0
Abstract:
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
Descriptors:
Subject Categories:
- Linguistics
- Computer Programming and Software
- Computer Hardware