Geodesic
Regularity of languages defined by formal series with isolated cut point
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 46 (2012) no. 4, pp. 479-493

Voir la notice de l'article provenant de la source Numdam

Let Lϕ,λ = {ω ∈ Σ∗ | ϕ(ω) > λ} be the language recognized by a formal series ϕ:Σ∗ → ℝ with isolated cut point λ. We provide new conditions that guarantee the regularity of the language Lϕ,λ in the case that ϕ is rational or ϕ is a Hadamard quotient of rational series. Moreover the decidability property of such conditions is investigated.

DOI : 10.1051/ita/2012019
Classification : 68Q45, 68Q70
Keywords: formal power series, Hadamard quotient, regular languages 
@article{ITA_2012__46_4_479_0,
     author = {Bertoni, Alberto and Bianchi, Maria Paola and D{\textquoteright}Alessandro, Flavi},
     title = {Regularity of languages defined by formal series with isolated cut point},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {479--493},
     publisher = {EDP-Sciences},
     volume = {46},
     number = {4},
     year = {2012},
     doi = {10.1051/ita/2012019},
     mrnumber = {3107860},
     zbl = {1279.68131},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita/2012019/}
}
TY  - JOUR
AU  - Bertoni, Alberto
AU  - Bianchi, Maria Paola
AU  - D’Alessandro, Flavi
TI  - Regularity of languages defined by formal series with isolated cut point
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2012
SP  - 479
EP  - 493
VL  - 46
IS  - 4
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita/2012019/
DO  - 10.1051/ita/2012019
LA  - en
ID  - ITA_2012__46_4_479_0
ER  - 
%0 Journal Article
%A Bertoni, Alberto
%A Bianchi, Maria Paola
%A D’Alessandro, Flavi
%T Regularity of languages defined by formal series with isolated cut point
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2012
%P 479-493
%V 46
%N 4
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita/2012019/
%R 10.1051/ita/2012019
%G en
%F ITA_2012__46_4_479_0
Bertoni, Alberto; Bianchi, Maria Paola; D’Alessandro, Flavi. Regularity of languages defined by formal series with isolated cut point. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 46 (2012) no. 4, pp. 479-493. doi: 10.1051/ita/2012019

Cité par Sources :