Sciweavers

Share
CSR
2008
Springer

Logic and Rational Languages of Words Indexed by Linear Orderings

9 years 1 months ago
Logic and Rational Languages of Words Indexed by Linear Orderings
We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of languages indexed by countable scattered linear orderings, but false in the general case. As a corollary we prove that the inclusion problem for rational languages of words indexed by countable linear orderings is decidable.
Nicolas Bedon, Alexis Bès, Olivier Carton,
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where CSR
Authors Nicolas Bedon, Alexis Bès, Olivier Carton, Chloe Rispal
Comments (0)
books