Regulated Rewriting in Formal Language Theory, EATCS Monographs on Theoretical Computer Science, 1989. ,
Finite turn pushdown automata, SIAM Journal of Control, vol.4, issue.3, pp.429-453, 1966. ,
Remarks on blind and partially blind one-way multicounter machines, Theoretical Computer Science, vol.7, pp.311-324, 1978. ,
The complexity of decision problems for finite-turn multicounter machines, Journal of Computer and System Sciences, vol.22, issue.2, pp.220-229, 1981. ,
Addison-Wesley series in computer science, 1978. ,
Petri net algorithms in the theory of matrix grammars, Acta Informatica, vol.31, issue.8, pp.719-728, 1994. ,
Introduction to Automata Theory, Languages, and Computation, 1979. ,
The effect of end-markers on counter machines and commutativity, Theoretical Computer Science, vol.627, pp.71-81, 2016. ,
Reversal-bounded multicounter machines and their decision problems, J. ACM, vol.25, issue.1, pp.116-133, 1978. ,
Grammatical characterizations of NPDAs and VPDAs with counters, Lecture Notes in Computer Science. 21st International Conference on Implementation and Application of Automata, CIAA 2016, vol.9705, p.11, 2016. ,
An hierarchy between context-free and context-sensitive languages, Journal of Computer and System Sciences, vol.4, issue.5, pp.492-508, 1970. ,
Some remarks on state grammars and matrix grammars, Information and Control, vol.23, pp.48-57, 1973. ,
On state-alternating context-free grammars, Theoretical Computer Science, vol.337, issue.1, pp.183-216, 2005. ,
On the effect of the finite index restriction on several families of grammars, Information and Control, vol.39, pp.284-302, 1978. ,
Matrix grammars with a leftmost restriction, Information and Control, vol.20, issue.2, pp.143-149, 1972. ,
Slender matrix languages, pp.375-385, 2000. ,