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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
