Let L_{f,λ} = {ω in Σ* | f(ω) > λ} be the language recognized by a formal series Σ* →R with isolated cut point λ. We provide new conditions that guarantee the regularity of the language L_{f,λ} in the case that f is rational or f is a Hadamard quotient of rational series. Moreover the decidability property of such conditions is investigated.
Regularity of languages defined by formal series with isolated cut point / A. Bertoni, M.P. Bianchi, F. D'Alessandro. - In: RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. - ISSN 0988-3754. - 46:4(2012), pp. 479-493. [10.1051/ita/2012019]
Regularity of languages defined by formal series with isolated cut point
M.P. Bianchi;
2012
Abstract
Let L_{f,λ} = {ω in Σ* | f(ω) > λ} be the language recognized by a formal series Σ* →R with isolated cut point λ. We provide new conditions that guarantee the regularity of the language L_{f,λ} in the case that f is rational or f is a Hadamard quotient of rational series. Moreover the decidability property of such conditions is investigated.
Pubblicazioni consigliate
I metadati presenti in AIR sono rilasciati con licenza CCO mentre i file delle pubblicazioni sono rilasciati con licenza CC BY-SA, salvo diversa indicazione. In caso di violazione di copyright, contattare l'assistenza di AIR
