Let L-phi,L-lambda = {omega is an element of Sigma* vertical bar phi(omega) > lambda} be the language recognized by a formal series phi : Sigma* -> R with isolated cut point lambda. We provide new conditions that guarantee the regularity of the language L-phi,L-lambda in the case that phi is rational or phi 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 / Alberto, Bertoni; Maria Paola, Bianchi; D'Alessandro, Flavio. - In: RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. - ISSN 0988-3754. - STAMPA. - 46:4(2012), pp. 479-493. ( Third Workshop on Non-Classical Models of Automata and Applications (NMCA 2011) Milano, Italy 18-19 luglio 2011) [10.1051/ita/2012019].
REGULARITY OF LANGUAGES DEFINED BY FORMAL SERIES WITH ISOLATED CUT POINT
D'ALESSANDRO, Flavio
2012
Abstract
Let L-phi,L-lambda = {omega is an element of Sigma* vertical bar phi(omega) > lambda} be the language recognized by a formal series phi : Sigma* -> R with isolated cut point lambda. We provide new conditions that guarantee the regularity of the language L-phi,L-lambda in the case that phi is rational or phi is a Hadamard quotient of rational series. Moreover the decidability property of such conditions is investigated.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
