| Title:
|
Zerotesting bounded one-way multicounter machines (English) |
| Author:
|
Ďuriš, Pavol |
| Author:
|
Hromkovič, Juraj |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
23 |
| Issue:
|
1 |
| Year:
|
1987 |
| Pages:
|
13-18 |
| . |
| Category:
|
math |
| . |
| MSC:
|
68Q05 |
| MSC:
|
68Q25 |
| idZBL:
|
Zbl 0619.68048 |
| . |
| Date available:
|
2009-09-24T17:57:39Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124775 |
| . |
| Reference:
|
[1] T. Chan: Reversal complexity of counter machines.In: Proc. IEEE Symposium on Theory of Computiong 1981, IEEE New York, pp. 146-157. |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[4] S. Ginsburg: Algebraic and Automata - Theoretic Properties of Formal Languages.North-Holland Publ. Comp., Amsterdam 1975. Zbl 0325.68002, MR 0443446 |
| Reference:
|
[5] S. A. Greibach: Remarks on blind and partially blind one-way multicounter machines.Theoret. Comput. Sci 7 (1978), 311-324. Zbl 0389.68030, MR 0513714 |
| Reference:
|
[6] M. Hack: Petri Net Languages, Computation Structures.Group Memo 124, Project MAC, MIT, 1975. |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[9] J. Hromkovič: Reversal bounded multicounter machines.Computers and Artificial Intelligence 4 (1985), 4, 361-366. |
| Reference:
|
[10] J. Hromkovič: Hierarchy of reversal bounded one-way multicounter machines.Kybernetika 22 (1986), 2, 200-206. MR 0849689 |
| Reference:
|
[11] O. H. Ibarra: REcersal bounded multicounter machines and their decision problems.J. Assoc. Comput. Mach. 25 (1978), 116-133. MR 0461988 |
| Reference:
|
[12] M. Jantzen: On zerotesting-bounded multicounter machines.In: Proc. 4th GI Conference, 1979, Springer-Velag Berlin - Heidelberg - New York , pp. 158-169. Zbl 0411.68070, MR 0568101 |
| . |
