Geodesic
Automata with modulo counters and nondeterministic counter bounds
Kybernetika, Tome 50 (2014) no. 1, pp. 66-94

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

We introduce and investigate Nondeterministically Bounded Modulo Counter Automata (NBMCA), which are two-way multi-head automata that comprise a constant number of modulo counters, where the counter bounds are nondeterministically guessed, and this is the only element of nondeterminism. NBMCA are tailored to recognising those languages that are characterised by the existence of a specific factorisation of their words, e. g., pattern languages. In this work, we subject NBMCA to a theoretically sound analysis.
DOI : 10.14736/kyb-2014-1-0066
Classification : 68Q05, 68Q10, 68Q45
Keywords: multi-head automata; counter automata; modulo counters; stateless automata; restricted nondeterminism 
@article{10_14736_kyb_2014_1_0066,
     author = {Reidenbach, Daniel and Schmid, Markus L.},
     title = {Automata with modulo counters and nondeterministic counter bounds},
     journal = {Kybernetika},
     pages = {66--94},
     publisher = {mathdoc},
     volume = {50},
     number = {1},
     year = {2014},
     doi = {10.14736/kyb-2014-1-0066},
     mrnumber = {3195005},
     zbl = {06296992},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.14736/kyb-2014-1-0066/}
}
TY  - JOUR
AU  - Reidenbach, Daniel
AU  - Schmid, Markus L.
TI  - Automata with modulo counters and nondeterministic counter bounds
JO  - Kybernetika
PY  - 2014
SP  - 66
EP  - 94
VL  - 50
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.14736/kyb-2014-1-0066/
DO  - 10.14736/kyb-2014-1-0066
LA  - en
ID  - 10_14736_kyb_2014_1_0066
ER  - 
%0 Journal Article
%A Reidenbach, Daniel
%A Schmid, Markus L.
%T Automata with modulo counters and nondeterministic counter bounds
%J Kybernetika
%D 2014
%P 66-94
%V 50
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.14736/kyb-2014-1-0066/
%R 10.14736/kyb-2014-1-0066
%G en
%F 10_14736_kyb_2014_1_0066
Reidenbach, Daniel; Schmid, Markus L. Automata with modulo counters and nondeterministic counter bounds. Kybernetika, Tome 50 (2014) no. 1, pp. 66-94. doi: 10.14736/kyb-2014-1-0066

Cité par Sources :