The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying 401 –
420 of
948
We show that the size of a Las Vegas automaton
and the size of a complete, minimal deterministic
automaton accepting a regular
language are polynomially related. More precisely, we show
that if a regular language L is accepted by a
Las Vegas automaton having r states such that
the probability for a definite answer to occur is at least p,
then r ≥ np, where n is the number of the states
of the minimal deterministic automaton accepting L.
Earlier this result has been obtained
in [2] by using a reduction...
In [6] it was shown that shuffle languages
are contained in one-way-NSPACE(log n) and in P.
In this paper we show that nondeterministic one-way logarithmic space
is in some sense the lower bound for accepting shuffle languages.
Namely, we show that there exists a shuffle language which is not
accepted by any deterministic one-way Turing machine with space bounded by
a sublinear function, and that there exists a shuffle language which is
not accepted with less than logarithmic space even if we allow...
We answer to a question of De Luca and Restivo whether there exists a circular code which is maximal as circular code and not as code.
We answer to a question of De Luca and Restivo whether there exists a circular code which is maximal
as circular code and not as code.
In this paper, we define the notion of biRFSA which is a residual finate state automaton (RFSA) whose the reverse is also an RFSA. The languages recognized by such automata are called biRFSA languages. We prove that the canonical RFSA of a biRFSA language is a minimal NFA for this language and that each minimal NFA for this language is a sub-automaton of the canonical RFSA. This leads to a characterization of the family of biRFSA languages. In the second part of this paper, we define the family...
In this paper, we define the notion of biRFSA which is a residual finate state
automaton (RFSA) whose the reverse is also an RFSA. The languages recognized by
such automata are called biRFSA languages. We prove that the canonical RFSA of a
biRFSA language is a minimal NFA for this language and that each minimal
NFA for this language is a sub-automaton of the canonical RFSA. This leads
to a characterization of the family of biRFSA languages.
In the second part of this paper, we define the family...
Currently displaying 401 –
420 of
948