The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying 21 –
40 of
948
The aim of this paper is to design a theoretical framework that allows us to perform the computation of regular expression derivatives through a space of generic structures. Thanks to this formalism, the main properties of regular expression derivation, such as the finiteness of the set of derivatives, need only be stated and proved one time, at the top level. Moreover, it is shown how to construct an alternating automaton associated with the derivation of a regular expression in this general framework....
This paper presents a generalized minimal realization theory of machines in a category which contains the Kleiski case. The minimal realization is the cheapest realization for a given cost functor. The final reachable realization of Arbib and Manes ([5]) and the minimal state approach for nondeterministic machines are included here.
We investigate automatic presentations of ω-words.
Starting points of our study are the works of Rigo and Maes,
Caucal, and Carton and Thomas concerning lexicographic presentation,
MSO-interpretability in algebraic trees, and the decidability of
the MSO theory of morphic words.
Refining their techniques we observe that the lexicographic
presentation of a (morphic) word is in a certain sense canonical.
We then generalize our techniques to a hierarchy of classes of ω-words
enjoying the above...
We define L rational and L recognizable power series, and establish a
Kleene-Schützenberger theorem for Lindenmayerian power series by showing
that a power series is L rational if and only if it is L recognizable.
This paper deals with the formal description of what we call Fuzzy Temporal Propositions: propositions with explicitly expressed information of a temporal type. The set of syntactic rules that make a grammar up for defining a language for this kind of propositions is presented. For some of the rules, examples that illustrate the expressive power of this type of knowledge representation are introduced. Semantic criteria and definitions are also introduced through examples in order to show how intuitive...
Among Sturmian words, some of them are morphic,
i.e. fixed point of a non-identical morphism on words.
Berstel and Séébold (1993) have shown that if a characteristic Sturmian word is morphic,
then it can be extended by the left with one or two letters
in such a way that it remains morphic and Sturmian.
Yasutomi (1997) has proved that these were the sole possible additions and
that, if we cut the first letters of such a word, it didn't remain morphic.
In this paper, we give an elementary and combinatorial...
A reversible automaton is a finite automaton in which each
letter induces a partial one-to-one map from the set of states into
itself. We solve the following problem proposed by Pin. Given an
alphabet A, does there exist a sequence of languages Kn on A
which can be accepted by a reversible automaton, and such that the
number of states of the minimal automaton of Kn is in O(n), while
the minimal number of states of a reversible automaton accepting
Kn is in O(ρn) for some ρ > 1? We give...
The aim of this paper is to show that the theory of (generalized) random systems with complete connection may serve as a mathematical framework for learning and adaption. Chapter 1 is of an introductory nature and gives a general description of the problems with which one is faced. In Chapter 2 the mathematical model and some results about it are explained. Chapter 3 deals with special learning and adaption models.
We propose a variation of Wythoff’s game on three piles of tokens, in the sense that the losing positions can be derived from the Tribonacci word instead of the Fibonacci word for the two piles game. Thanks to the corresponding exotic numeration system built on the Tribonacci sequence, deciding whether a game position is losing or not can be computed in polynomial time.
We propose a variation of Wythoff's game on three piles
of tokens, in the sense that the losing positions can be derived from
the Tribonacci word instead of the Fibonacci word for the two
piles game. Thanks to the corresponding exotic numeration system
built on the Tribonacci sequence, deciding whether a game position is
losing or not can be computed in polynomial time.
It is studied how taking the inverse image
by a sliding block code affects the syntactic semigroup of a sofic
subshift. The main tool are ζ-semigroups, considered as
recognition structures for sofic subshifts.
A new algebraic invariant is obtained for
weak equivalence of sofic subshifts, by
determining which classes of sofic subshifts
naturally defined by pseudovarieties of finite semigroups are closed
under weak equivalence. Among such classes are the classes of almost
finite type subshifts...
Currently displaying 21 –
40 of
948