Abstract. We show that the information rate of the language accepted by a reversal-bounded deterministic counter machine is computable. For the nondeterministic case, we provide computable upper bounds. For the class of languages accepted by multi-tape deterministic finite automata, the information rate is computable as well.
International audienceWe investigate the descriptional complexity of the subregular language classes...
We investigate the relationship between the classes of languages accepted by deterministic and nonde...
AbstractThe amount of nondeterminism that a pushdown automaton requires to recognize an input string...
Thesis (Ph.D.), Computer Science, Washington State UniversityIn this thesis, we present information-...
In 1965 Hennie proved that one-tape deterministic Turing machines working in linear time are equival...
AbstractWe present binary deterministic finite automata of n states that meet the upper bound 2n on ...
The existence and complexity of decision procedures for families of deterministic pushdown automata ...
In this paper, simultaneous lower bounds on space and input head reversals for deterministic, nondet...
We study lower bounds on space and input head reversals for deterministic, nondeterministic, and alt...
A set L is (m, n)-computable iff there is a mechanism which on input of n different words produces n...
Abstract. We study the state complexity of languages that can be obtained as reversals of regular la...
International audienceThe size of deterministic automata required for recognizing regular and ω-regu...
Abstract. An $(m, n) $-computation of a function $f $ is given by a deterministic Turing machine whi...
AbstractWe investigate the state complexity of some operations on binary regular languages. In parti...
AbstractWe compare the number of states between minimal deterministic finite automata accepting a re...
International audienceWe investigate the descriptional complexity of the subregular language classes...
We investigate the relationship between the classes of languages accepted by deterministic and nonde...
AbstractThe amount of nondeterminism that a pushdown automaton requires to recognize an input string...
Thesis (Ph.D.), Computer Science, Washington State UniversityIn this thesis, we present information-...
In 1965 Hennie proved that one-tape deterministic Turing machines working in linear time are equival...
AbstractWe present binary deterministic finite automata of n states that meet the upper bound 2n on ...
The existence and complexity of decision procedures for families of deterministic pushdown automata ...
In this paper, simultaneous lower bounds on space and input head reversals for deterministic, nondet...
We study lower bounds on space and input head reversals for deterministic, nondeterministic, and alt...
A set L is (m, n)-computable iff there is a mechanism which on input of n different words produces n...
Abstract. We study the state complexity of languages that can be obtained as reversals of regular la...
International audienceThe size of deterministic automata required for recognizing regular and ω-regu...
Abstract. An $(m, n) $-computation of a function $f $ is given by a deterministic Turing machine whi...
AbstractWe investigate the state complexity of some operations on binary regular languages. In parti...
AbstractWe compare the number of states between minimal deterministic finite automata accepting a re...
International audienceWe investigate the descriptional complexity of the subregular language classes...
We investigate the relationship between the classes of languages accepted by deterministic and nonde...
AbstractThe amount of nondeterminism that a pushdown automaton requires to recognize an input string...