[1] T. Chan: Reversal complexity of counter machines. In: Proc. IEEE Symposium on Theory of Computiong 1981, IEEE New York, pp. 146-157.
[2] P. Ďuriš, Z. Galil:
On reversal-bounded counter machines and on pushdown automata with a bound on the size of the pushdown store. Inform. and Control 54 (1982), 3, 217-227.
MR 0719444
[3] P. Ďuriš, J. Hromkovič:
One-way simple multihead finite automata are not closed under concatenation. Theoret. Comput. Sci. 27 (1983), 121-125.
MR 0742281
[4] S. Ginsburg:
Algebraic and Automata - Theoretic Properties of Formal Languages. North-Holland Publ. Comp., Amsterdam 1975.
MR 0443446 |
Zbl 0325.68002
[5] S. A. Greibach:
Remarks on blind and partially blind one-way multicounter machines. Theoret. Comput. Sci 7 (1978), 311-324.
MR 0513714 |
Zbl 0389.68030
[6] M. Hack: Petri Net Languages, Computation Structures. Group Memo 124, Project MAC, MIT, 1975.
[7] J. Hromkovič:
Closure properties of the family of languages reoginized by one-way two-head deterministic finite state automata. In: Mathematical Foundation of Computer Science 1981 - Proc. 16th Symposium, Štrbské pleso, Czechoslovakia, August 31 - September 4, 1981 (J. Gruska, M. Chytil, eds.).(Lecture Notes in Computer Science 118.) Springer-Velag Berlin - Heidelberg - New York 1981, pp. 304-313.
MR 0652763
[8] J. Hromkovič:
Hierarchy of reversal and zerotesting bounded multicounter machines. In: Mathematicl Foundations of Computer Science 1984 - Proc. 11th Symposium, Prague, Czechoslovakia, September 3-7, 1984 (M. P. Chytil, V. Koubek, eds.).(Lecture Notes in Computer Science 176.) Springer-Velag Berlin - Heidelberg - New York - Tokoy 1984, pp. 312-321.
MR 0783460
[9] J. Hromkovič: Reversal bounded multicounter machines. Computers and Artificial Intelligence 4 (1985), 4, 361-366.
[10] J. Hromkovič:
Hierarchy of reversal bounded one-way multicounter machines. Kybernetika 22 (1986), 2, 200-206.
MR 0849689
[11] O. H. Ibarra:
REcersal bounded multicounter machines and their decision problems. J. Assoc. Comput. Mach. 25 (1978), 116-133.
MR 0461988
[12] M. Jantzen:
On zerotesting-bounded multicounter machines. In: Proc. 4th GI Conference, 1979, Springer-Velag Berlin - Heidelberg - New York , pp. 158-169.
MR 0568101 |
Zbl 0411.68070