Regularity of languages defined by formal series with isolated cut point
Alberto Bertoni, Maria Paola Bianchi, Flavi D’Alessandro (2012)
RAIRO - Theoretical Informatics and Applications
Similarity:
Let = { ∈ | () } be the language recognized by a formal series : → ℝ with isolated cut point . We provide new conditions that guarantee the regularity of the language in the case that is rational or is a Hadamard quotient of rational series. Moreover the decidability property of such conditions is investigated.