3,520 research outputs found
Complementation of Rational Sets on Countable Scattered Linear Orderings
In a preceding paper (Bruyère and Carton, automata on linear orderings, MFCS'01), automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-infinite and even transfinite words studied by Büchi. Kleene's theorem has been generalized to these words. We prove that rational sets of words on countable scattered linear orderings are closed under complementation using an algebraic approach
Complementation of Rational Sets on Scattered Linear Orderings
International audienceIn a preceding paper, automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-finite and even transfinite words studied by Buchi Kleene's theorem has been generalized to these words. We prove that rational sets of words on countable scattered linear ordering are closed under complementation using an algebraic approach
Automata and temporal logic over arbitrary linear time
Linear temporal logic was introduced in order to reason about reactive
systems. It is often considered with respect to infinite words, to specify the
behaviour of long-running systems. One can consider more general models for
linear time, using words indexed by arbitrary linear orderings. We investigate
the connections between temporal logic and automata on linear orderings, as
introduced by Bruy\`ere and Carton. We provide a doubly exponential procedure
to compute from any LTL formula with Until, Since, and the Stavi connectives an
automaton that decides whether that formula holds on the input word. In
particular, since the emptiness problem for these automata is decidable, this
transformation gives a decision procedure for the satisfiability of the logic
On factorisation forests
The theorem of factorisation forests shows the existence of nested
factorisations -- a la Ramsey -- for finite words. This theorem has important
applications in semigroup theory, and beyond. The purpose of this paper is to
illustrate the importance of this approach in the context of automata over
infinite words and trees. We extend the theorem of factorisation forest in two
directions: we show that it is still valid for any word indexed by a linear
ordering; and we show that it admits a deterministic variant for words indexed
by well-orderings. A byproduct of this work is also an improvement on the known
bounds for the original result. We apply the first variant for giving a
simplified proof of the closure under complementation of rational sets of words
indexed by countable scattered linear orderings. We apply the second variant in
the analysis of monadic second-order logic over trees, yielding new results on
monadic interpretations over trees. Consequences of it are new caracterisations
of prefix-recognizable structures and of the Caucal hierarchy.Comment: 27 page
The Rank of Tree-Automatic Linear Orderings
We generalise Delhomm\'e's result that each tree-automatic ordinal is
strictly below \omega^\omega^\omega{} by showing that any tree-automatic linear
ordering has FC-rank strictly below \omega^\omega. We further investigate a
restricted form of tree-automaticity and prove that every linear ordering which
admits a tree-automatic presentation of branching complexity at most k has
FC-rank strictly below \omega^k.Comment: 20 pages, 3 figure
- …