Article contents
Regularity of languages defined by formal series with isolatedcut point∗
Published online by Cambridge University Press: 02 August 2012
Abstract
LetLϕ,λ = {ω ∈ Σ∗| ϕ(ω) > λ} be thelanguage recognized by a formal seriesϕ:Σ∗ → ℝ with isolated cut pointλ. We provide new conditions that guarantee the regularity of thelanguage Lϕ,λ in the case thatϕ is rational or ϕ is a Hadamard quotient of rationalseries. Moreover the decidability property of such conditions is investigated.
- Type
- Research Article
- Information
- RAIRO - Theoretical Informatics and Applications , Volume 46 , Issue 4: Special Issue: Non-Classical Models ofAutomata and Applications III (NCMA-2011) , October 2012 , pp. 479 - 493
- Copyright
- © EDP Sciences 2012
References
- 1
- Cited by