# Two way deterministic multihead counter automata or logspace TM with counter

Is that known something about languages recognized by two-way deterministic multihead counter automaton or logspace TM with counter (equivalent model)? This class called Aux2DC in my advisor's paper. Or about such nondeterministic class? I've obtained that class of languages recognized by such nondeterministic maschines includes NL and it seems to be included in LOGCFL. Are there any papers on this subject? Is that result trivial?

So, for including class $\mathsf{NL}$, you do not need a counter!
The value of the counter belonging to a two-way nondeterministic multi-head finite automaton with one-counter can be bounded by a polynomial, otherwise, the computation enters an infinite loop. Since both such a counter and the input heads can be simulated in logspace, $\mathsf{LOGCFL}$ upper bound can be replaced with $\mathsf{NL}$.
Note that any language recognized by a two-way deterministic (nondeterministic) one-head finite automaton with one-counter is in $\mathsf{L}$ ($\mathsf{NL}$).