Complementation of Rational sets on Scattered Linear Orderings of Finite Rank

Olivier Carton (1) , Chloé Rispal (2)

1 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications
2 LIGM - Laboratoire d'Informatique Gaspard-Monge

In a preceding paper [1], 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 Buchi. Kleene's theorem has been generalized to these words. We show that deterministic automata do not have the same expressive power. Despite this negative result, we prove that rational sets of words of finite ranks are closed under complementation.

Domaines: Algorithme et structure de données [cs.DS]

Olivier Carton, Chloé Rispal. Complementation of Rational sets on Scattered Linear Orderings of Finite Rank. Theoretical Computer Science, 2007, 382 (2), pp.109-119. ⟨10.1016/j.tcs.2007.03.008⟩. ⟨hal-00619538⟩