MEMBERSHIP AND FINITENESS PROBLEMS FOR RATIONAL SETS OF REGULAR LANGUAGES
2006 ◽
Vol 17
(03)
◽
pp. 493-506
◽
Keyword(s):
Let Σ be a finite alphabet. A set [Formula: see text] of regular languages over Σ is called rational if there exists a finite set [Formula: see text] of regular languages over Σ such that [Formula: see text] is a rational subset of the finitely generated semigroup [Formula: see text] with [Formula: see text] as the set of generators and language concatenation as a product. We prove that for any rational set [Formula: see text] and any regular language R ⊆ Σ* it is decidable (1) whether [Formula: see text] or not, and (2) whether [Formula: see text] is finite or not. Possible applications to semistructured databases query processing are discussed.
2012 ◽
Vol 23
(08)
◽
pp. 1583-1594
Keyword(s):
2010 ◽
Vol 06
(03)
◽
pp. 579-586
◽
Keyword(s):
1991 ◽
Vol 34
(1)
◽
pp. 155-160
◽
1975 ◽
Vol 19
(2)
◽
pp. 238-246
◽
Keyword(s):
1993 ◽
Vol 03
(01)
◽
pp. 79-99
◽
Keyword(s):
2018 ◽
Vol 52
(2-3-4)
◽
pp. 201-218
◽
Keyword(s):
2007 ◽
Vol 13
(3)
◽
pp. 305-339
◽
Keyword(s):