Accession Number:

AD0712704

Title:

TAPE- AND TIME-BOUNDED TURING ACCEPTORS AND AFLs,

Descriptive Note:

Corporate Author:

HARVARD UNIV CAMBRIDGE MASS DIV OF ENGINEERING AND APPLIED PHYSICS

Personal Author(s):

• Book,Ronald
• Greibach,Shelia
• Wegbreit,Ben

Report Date:

1970-05-01

Pagination or Media Count:

27.0

Abstract:

Complexity classes of formal languages defined by time- and tape-bounded Turing acceptors are studied with the aim of showing sufficient conditions for these classes to be AFLs and to be principal AFLs. Author

Descriptors:

• (*PROGRAMMING LANGUAGES
• AUTOMATA)
• MAGNETIC TAPE
• SET THEORY
• GROUPS(MATHEMATICS)
• THEOREMS

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE