Accession Number : AD0713160

Title :   MULTI-STACK-COUNTER LANGUAGES,

Corporate Author : SYSTEM DEVELOPMENT CORP SANTA MONICA CALIF

Personal Author(s) : Book,Ronald ; Ginsburg,Seymour

Report Date : 28 AUG 1970

Pagination or Media Count : 37

Abstract : A stack-counter acceptor is a stack acceptor in which the storage alphabet is just one letter. The present paper discusses multi-stack-counter acceptors operating in quasi-realtime, i.e., acceptors in which each storage tape is a stack counter and in which there are only a bounded number of consecutive E-moves. It is shown that the quasi-real-time k-stack-counter acceptor is equivalent to one operating in nondeterministic real-time. Lastly, it is shown that acceptance by final state of a k-stack-counter acceptor is equivalent to acceptance by empty tape and final state. (Author)

Descriptors :   (*PROGRAMMING LANGUAGES, COMPUTATIONAL LINGUISTICS), DESIGN, SET THEORY, MATHEMATICAL MODELS, DATA STORAGE SYSTEMS, REAL TIME, THEOREMS

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE