A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS

DOI10.1142/S0129054106003978MaRDI QIDQ5483372zbMATHOpenAlexFDO

Authors Alexis Bès, Olivier Carton

Publication date 14 August 2006

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054106003978

zbMATH Keywords

automataorderings

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Developments in Language Theory
• Automata on linear orderings
• scientific article; zbMATH DE number 1834651
• Hierarchy among automata on linear orderings
• Developments in Language Theory

Cites work

• Bilimites de langages reconnaissables
• Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
• Finite divergence
• On frontiers of regular trees
• Star free expressions over the reals
• The monadic theory of order
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(15)

• scientific article; zbMATH DE number 1870548 (Why is no real title available?)
• Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
• scientific article; zbMATH DE number 1972806 (Why is no real title available?)
• scientific article; zbMATH DE number 622491 (Why is no real title available?)
• Hierarchy among automata on linear orderings
• Automata on linear orderings
• OPERATIONAL CHARACTERIZATION OF SCATTERED MCFLs
• Developments in Language Theory
• On the Kleijn-Rozenberg k-adjacent languages
• scientific article; zbMATH DE number 1834651 (Why is no real title available?)
• Logic and Rational Languages of Words Indexed by Linear Orderings
• Series-parallel languages on scattered and countable posets
• On expressive power of regular expressions over infinite orders
• Logic and rational languages of words indexed by linear orderings
• Non-emptiness test for automata over words indexed by the reals and rationals

This page was built for publication: A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5483372)