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.
Formal power series; Hadamard quotient; Regular languages
Settore INF/01 - Informatica
2012
Article (author)
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/237105
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact