A NOTE ON PUSHDOWN STORE AUTOMATA AND REGULAR SYSTEMS.

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)

Document Details

Document Type
Technical Report
Publication Date
Aug 31, 1965
Accession Number
AD0628203

Entities

People

  • Sheila A. Greibach

Organizations

  • System Development Corporation

Tags

DTIC Thesaurus Topics

  • Automata
  • Behavior And Behavior Mechanisms
  • Behavioral Disciplines And Activities
  • Behavioral Sciences
  • Cooperation
  • Group Dynamics
  • Machines

Fields of Study

  • Mathematics

Readers

  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Mathematical Modeling and Probability Theory.