11 search results - page 1 / 3 » Logic and Rational Languages of Words Indexed by Linear Orde... |
CSR
2008
Springer
15 years 1 months ago
2008
Springer
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 langu...
LATIN
2004
Springer
15 years 5 months ago
2004
Springer
In a preceding paper [6], automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-infinite...
101
click to vote
LFCS
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we consider languages of labelled N-free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only ...
116
click to vote
MFCS
2001
Springer
15 years 4 months ago
2001
Springer
We consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce finite automata and rational expressions for these w...
DATESO
2004
15 years 1 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...