We give a positive solution to the so-called finite substitution problem which was open for more than 10 years [11]: given recognizable languages K and L, decide whether there exists a finite substitution σ such that σ(K) = L. For this, we introduce a new model of weighted automata and show the decidability of its limitedness problem by solving the underlying Burnside problem. © Springer-Verlag 2004.
CITATION STYLE
Kirsten, D. (2004). Desert automata and the finite substitution problem. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2996, 305–316. https://doi.org/10.1007/978-3-540-24749-4_27
Mendeley helps you to discover research relevant for your work.