On some bounded semiAFLs and AFLs
โ Scribed by Paavo Turakainen
- Book ID
- 107766428
- Publisher
- Elsevier Science
- Year
- 1981
- Tongue
- English
- Weight
- 904 KB
- Volume
- 23
- Category
- Article
- ISSN
- 0020-0255
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Conditions are given under which the classes of formal languages defined by nondeterministic (deterministic) tape-bounded Turing acceptors will be principal AFLs. This paper is a sequel to the immediately preceding paper (see Ref. [1]). 1 To avoid unnecessary duplication, the terminology, notation,
Complexity classes of formal languages defined by time-and tape-bounded Turing acceptors are studied. Sufficient conditions for these classes to be AFLs are given. Further, it is shown that a time-bounded nondeterministic Turing acceptor need have only two storage tapes.