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

Subject Categories:

  • Linguistics
  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE