BIBLIOS

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
ω#-Algebras

Participantes na publicação
Bernardo H. Fernandes (Author)
Kungliga Tecniska Hoegskolan
Gracinda M. S. Gomes (Author)
Dep. Matemática
CEMAT

Resumo
This article explores a generalization of the algebraic theory of formal languages. Having, as starting point, the work of T. Colcombet on cost functions and stabilization monoids, and of Daviaud et al. on stabilization algebras, this class of algebras is extended to ω#-algebras and ω#-automata are also introduced. The equality problem for order ideals (of free ω#-algebras) recognized by finite ω#-algebras is answered positively in this context. Various results on formal languages and monoids are generalized to this setting of order ideals and ω#-algebras. The class of cost functions is proved to be embeddable in the class of recognizable order ideals.


Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Suporte
Communications in Algebra

Identificadores da Publicação
ISSN - 0092-7872

Editora
Informa UK Limited



Identificadores do Documento
DOI - https://doi.org/10.1080/00927872.2021.1910283
URL - http://dx.doi.org/10.1080/00927872.2021.1910283

Identificadores de Qualidade
SCIMAGO Q2 (2018) - 0.671 - Algebra and Number Theory
SCOPUS (2020) - 0.68