A Kleene Theorem for Languages of Words Indexed by Linear Orderings
Résumé
In a preceding paper, Bruyère and Carton introduced automata, as well as rational expressions, which allow to deal with words indexed by linear orderings. A Kleene-like theorem was proved for words indexed by countable scattered linear orderings. In this paper we extend this result to languages of words indexed by all linear orderings.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...