@article{ITA_1978__12_4_369_0, author = {Book, Ronald V. and Greibach, Sheila A.}, title = {The independence of certain operations on {semiAFLs}}, journal = {RAIRO. Informatique th\'eorique}, pages = {369--385}, publisher = {EDP-Sciences}, volume = {12}, number = {4}, year = {1978}, mrnumber = {517636}, zbl = {0388.68068}, language = {en}, url = {http://archive.numdam.org/item/ITA_1978__12_4_369_0/} }
TY - JOUR AU - Book, Ronald V. AU - Greibach, Sheila A. TI - The independence of certain operations on semiAFLs JO - RAIRO. Informatique théorique PY - 1978 SP - 369 EP - 385 VL - 12 IS - 4 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_1978__12_4_369_0/ LA - en ID - ITA_1978__12_4_369_0 ER -
Book, Ronald V.; Greibach, Sheila A. The independence of certain operations on semiAFLs. RAIRO. Informatique théorique, Tome 12 (1978) no. 4, pp. 369-385. http://archive.numdam.org/item/ITA_1978__12_4_369_0/
1. Reversal-bounded Multipushdown Machine, J. Comput. Syst. Sc., Vol. 8, 1974, pp. 315-332. | MR | Zbl
and ,2. Simple Representations of Certain Classes of Languages, J. Assoc. Comput. Mach., Vol. 25, 1978, pp. 23-31. | MR | Zbl
,3. Quasirealtime Languages, Math. Syst. Theory, Vol. 4, 1970, pp. 97-111. | MR | Zbl
and ,4. Comparison and Reset Machines, to be presented at 5th Intl. Golloq. Automata, Languages and Programming, Udine, Italy, 1978. | MR | Zbl
, and ,5. Linear Languages and the Intersection Closures of Classes of Languages, SIAM J. Computing, Vol. 7, 1978, pp. 167-177. | MR | Zbl
,6. Reversal-bounded Acceptors and Intersections of Linear Languages, SIAM J. Computing, Vol. 3, 1974, pp. 283-295. | MR | Zbl
, and ,7. A Note on AFLs and Bounded Erasing, Inform. and Control, Vol. 19, 1971, pp. 18-29. | MR | Zbl
and ,8. On Languages Specified by Relative Acceptance, Theoret. Comput. Sc., Vol. 7, 1978 (to appear). | MR | Zbl
and ,9. Counter Machines and Counter Languages, Math. Syst. Theory, Vol. 2, 1968, pp. 265-283. | MR | Zbl
, and ,10. Intersection Closed full AFL and the Recursively Enumerables Languages, Inform. and Control, Vol. 22, 1973, pp. 201-231. | MR | Zbl
and ,11. Principal AFL, J. Comput. Syst. Sc., Vol. 4, 1970, pp. 308-338. | MR | Zbl
and ,12. One-way Stack Automata, J. Assoc. Comput. Mach., Vol. 14, 1967, pp. 389-418. | MR | Zbl
, and ,13. AFL with the Semilinear Property, J. Comput. Syst. Sc., Vol. 5, 1971, pp. 365-396. | MR | Zbl
and ,14. Continuous Operations on Languages, Math. Syst. Theory, Vol. 11, 1977, pp. 29-46. | MR | Zbl
,15. The Unsolvability of the Recognition of Linear Context-free Languages, J. Assoc Comput. Mach., Vol. 13, 1966, pp. 582-587. | MR | Zbl
,16. An Infinite Hierarchy of Context-free Languages, J. Assoc. Comput. Mach., Vol. 16, 1969, pp. 91-106. | MR | Zbl
,17. Erasing on Context-free AFLs, Inform. and Control, Vol. 21, 1972, pp. 436-465. | MR | Zbl
,18. Syntactic Operators on Full semi AFLs, J. Comput. Syst. Sc., Vol. 6, 1972, pp. 30-76. | MR | Zbl
,19. Remarks on the Complexity of Nondeterministic Counter Languages, Theoret. Comput. Sc., Vol. 1, 1976, pp. 269-288. | MR | Zbl
,20. Control Sets on Context-free Grammar Forms, J. Comput. Syst. Sc., Vol. 15, 1977, pp. 35-98. | MR | Zbl
,21. One-way Finite Visit Automata, Theoret. Comput. Sc, Vol. 6, 1978, pp. 175-221. | MR | Zbl
,22. Remarks on Blind and Partially Blind Multicounter Machines, Theoret. Comput. Sc. (to appear). | Zbl
,23. Multitape AFA, J. Assoc. Comput. Mach., Vol. 19, 1972, pp. 193-21. | MR | Zbl
and ,24. Structures of Bounded Languages in Certain Classes of Languages, Inform. and Control (to appear).
,25. ρ-matrix Languages, Theoret. Comput. Sc. (to appear).
,26. Computation Sequence Sets, J. Comput. Syst. Sc, Vol. 13, 1976, pp. 1-24. | MR | Zbl
,27. Absolutely Parallel Grammars and two-way Finite-state Transducers, J. Comput. Syst. Sc, Vol. 6, 1972, pp. 324-342. | MR | Zbl
,28. Bounded-crossing transducers, Inform. and Control, Vol. 27, 1975, pp. 329-335. | MR | Zbl
,29. Separating Deterministic time Complexity Classes, J. Assoc. Comput. Mach., Vol. 25, 1978, pp. 146-167. | MR | Zbl
, and ,30. The Dedidability of the Reachability Problem for Vector Addition Systems, Proc. 9th Annual Symposium on Theory of Computing, Boulder, Colorado, May 1977, pp. 61-76. | MR
and ,31. On Equal Matrix Languages, Inform. and Control, Vol. 14, 1969, pp. 135-151. | MR | Zbl
,