Abstract
Let Σ be a finite alphabet. A set \(\mathcal{R}\) of regular languages over Σ is called rational if there exists a finite set \(\mathcal E\) of regular languages over Σ, such that \(\mathcal{R}\) is a rational subset of the finitely generated semigroup \((\mathcal{S},\cdot)=\langle\mathcal E\rangle\) with \(\mathcal E\) as the set of generators and language concatenation as a product. We prove that for any rational set \(\mathcal{R}\) and any regular language R ⊆ Σ* it is decidable (1) whether \(R\in\mathcal{R}\) or not, and (2) whether \(\mathcal{R}\) is finite or not.
This research was supported in part by the grant No. 10002-251 of the RAS program No. 17 “Parallel computations and multiprocessor systems”
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abiteboul, S.: Querying semi-structured data. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 1–18. Springer, Heidelberg (1996)
Afonin, S., Hazova, E., Shundeev, A.: On regular language factorisation: a complete solution for unary case. Tech. Rep. 252, CDMTCS, Auckland (2004)
Afonin, S., Shundeev, A., Roganov, V.: Semistructured data search using dynamic parallelisation technology. In: Proceedings of the 26th International Convention MIPRO 2003, Opatija, Croatia, pp. 152–157 (2003)
Arbib, M.: Algebraic Theory of Machines, Languages, and Semigroups. Academic Press, London (1968)
Bala, S.: Regular language matching and other decidable cases of the satisfiability problem for constraints between regular open terms. In: Diekert, V., Habib, M. (eds.) STACS 2004. LNCS, vol. 2996, pp. 596–607. Springer, Heidelberg (2004)
Brzozowski, J., Culik, K., Gabrielian, A.: Classification of noncounting events. Journal of computer and system sciences 5, 41–53 (1971)
Brzozowski, J.A., Cohen, R.: On decompositions of regular events. Journal of the ACM 16, 132–144 (1969)
Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.: Rewriting of regular expressions and regular path queries. Journal of Computer and System Sciences 64, 443–465 (2002)
Calvanese, D., Giacomo, G.D., Lenzerini, M., Vardi, M.Y.: Answering regular path queries using views. In: ICDE, pp. 389–398 (2000)
Hashiguchi, K.: Limitedness theorem on finite automata with distance functions. Journal of computer and system sciences 24, 233–244 (1982)
Hashiguchi, K.: Representation theorems on regular languages. Journal of computer and system sciences 27, 101–115 (1983)
Kari, L.: On language equations with invertible operations. Theoretical Computer Science 132, 129–150 (1994)
Kari, L., Thierrin, G.: Maximal and minimal solutions to language equations. Journal of Computer and System Sciences 53, 487–496 (1996)
Kirsten, D.: Desert automata and the finite substitution problem. In: Diekert, V., Habib, M. (eds.) STACS 2004. LNCS, vol. 2996, pp. 305–316. Springer, Heidelberg (2004)
Leiss, E.: Language Equations. Springer, Heidelberg (1999)
Leung, H., Podolskiy, V.: The limitedness problem on distance automata: Hashiguchi’s method revisited. Theoretical Computer Science 310, 147–158 (2004)
de Luca, K., Revisto, A.: A finiteness condition for finitely generated semigroups. Semigroup forum 28, 123–134 (1984)
Mascle, J.-P.: Torsion matrix semigroups and recognizable transductions. In: Kott, L. (ed.) ICALP 1986. LNCS, vol. 226, pp. 244–253. Springer, Heidelberg (1986)
Pin, J.-E.: Tropical semirings. In: Gunawardena, J. (ed.) Idempotency, pp. 50–69. Cambridge University Press, Cambridge (1998)
Salomaa, A.: Jewels of Formal Language Theory. Computer science press, Rockville (1981)
Salomaa, A., Yu, S.: On the decomposition of finite languages. In: Proceedings of the Developments of Language Theory 1999. World Scientific, Singapore (2000)
Simon, I.: Limited subsets of a free monoid. In: Proceedings of the 19st Annual Symposium on Foundations of Computer Science, pp. 143–150 (1978)
Simon, I.: Recognizable sets with multiplicities in the tropical semiring. In: Koubek, V., Janiga, L., Chytil, M.P. (eds.) MFCS 1988. LNCS, vol. 324, pp. 107–120. Springer, Heidelberg (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Afonin, S., Hazova, E. (2005). Membership and Finiteness Problems for Rational Sets of Regular Languages. In: De Felice, C., Restivo, A. (eds) Developments in Language Theory. DLT 2005. Lecture Notes in Computer Science, vol 3572. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11505877_8
Download citation
DOI: https://doi.org/10.1007/11505877_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26546-7
Online ISBN: 978-3-540-31682-4
eBook Packages: Computer ScienceComputer Science (R0)