@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},
year = {1978},
publisher = {EDP Sciences},
volume = {12},
number = {4},
mrnumber = {517636},
zbl = {0388.68068},
language = {en},
url = {https://www.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 - https://www.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. https://www.numdam.org/item/ITA_1978__12_4_369_0/
1. and , Reversal-bounded Multipushdown Machine, J. Comput. Syst. Sc., Vol. 8, 1974, pp. 315-332. | Zbl | MR
2. , Simple Representations of Certain Classes of Languages, J. Assoc. Comput. Mach., Vol. 25, 1978, pp. 23-31. | Zbl | MR
3. and , Quasirealtime Languages, Math. Syst. Theory, Vol. 4, 1970, pp. 97-111. | Zbl | MR
4. , and , Comparison and Reset Machines, to be presented at 5th Intl. Golloq. Automata, Languages and Programming, Udine, Italy, 1978. | Zbl | MR
5. , Linear Languages and the Intersection Closures of Classes of Languages, SIAM J. Computing, Vol. 7, 1978, pp. 167-177. | Zbl | MR
6. , and , Reversal-bounded Acceptors and Intersections of Linear Languages, SIAM J. Computing, Vol. 3, 1974, pp. 283-295. | Zbl | MR
7. and , A Note on AFLs and Bounded Erasing, Inform. and Control, Vol. 19, 1971, pp. 18-29. | Zbl | MR
8. and , On Languages Specified by Relative Acceptance, Theoret. Comput. Sc., Vol. 7, 1978 (to appear). | Zbl | MR
9. , and , Counter Machines and Counter Languages, Math. Syst. Theory, Vol. 2, 1968, pp. 265-283. | Zbl | MR
10. and , Intersection Closed full AFL and the Recursively Enumerables Languages, Inform. and Control, Vol. 22, 1973, pp. 201-231. | Zbl | MR
11. and , Principal AFL, J. Comput. Syst. Sc., Vol. 4, 1970, pp. 308-338. | Zbl | MR
12. , and , One-way Stack Automata, J. Assoc. Comput. Mach., Vol. 14, 1967, pp. 389-418. | Zbl | MR
13. and , AFL with the Semilinear Property, J. Comput. Syst. Sc., Vol. 5, 1971, pp. 365-396. | Zbl | MR
14. , Continuous Operations on Languages, Math. Syst. Theory, Vol. 11, 1977, pp. 29-46. | Zbl | MR
15. , The Unsolvability of the Recognition of Linear Context-free Languages, J. Assoc Comput. Mach., Vol. 13, 1966, pp. 582-587. | Zbl | MR
16. , An Infinite Hierarchy of Context-free Languages, J. Assoc. Comput. Mach., Vol. 16, 1969, pp. 91-106. | Zbl | MR
17. , Erasing on Context-free AFLs, Inform. and Control, Vol. 21, 1972, pp. 436-465. | Zbl | MR
18. , Syntactic Operators on Full semi AFLs, J. Comput. Syst. Sc., Vol. 6, 1972, pp. 30-76. | Zbl | MR
19. , Remarks on the Complexity of Nondeterministic Counter Languages, Theoret. Comput. Sc., Vol. 1, 1976, pp. 269-288. | Zbl | MR
20. , Control Sets on Context-free Grammar Forms, J. Comput. Syst. Sc., Vol. 15, 1977, pp. 35-98. | Zbl | MR
21. , One-way Finite Visit Automata, Theoret. Comput. Sc, Vol. 6, 1978, pp. 175-221. | Zbl | MR
22. , Remarks on Blind and Partially Blind Multicounter Machines, Theoret. Comput. Sc. (to appear). | Zbl
23. and , Multitape AFA, J. Assoc. Comput. Mach., Vol. 19, 1972, pp. 193-21. | Zbl | MR
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. | Zbl | MR
27. , Absolutely Parallel Grammars and two-way Finite-state Transducers, J. Comput. Syst. Sc, Vol. 6, 1972, pp. 324-342. | Zbl | MR
28. , Bounded-crossing transducers, Inform. and Control, Vol. 27, 1975, pp. 329-335. | Zbl | MR
29. , and , Separating Deterministic time Complexity Classes, J. Assoc. Comput. Mach., Vol. 25, 1978, pp. 146-167. | Zbl | MR
30. and , 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
31. , On Equal Matrix Languages, Inform. and Control, Vol. 14, 1969, pp. 135-151. | Zbl | MR






