Publicação
ω-terms over finite aperiodic semigroups
| Resumo: | This paper provides a characterization of pseudowords over the pseudovariety of all finite aperiodic semigroups that are given by w-terms, that is that can be obtained from the free generators using only multiplication and the w-power. A necessary and sufficient condition for this property to hold turns out to be given by the conjunction of two rather simple finiteness conditions: the nonexistence of infinite anti-chains of factors and the rationality of the language of McCammond normal forms of w-terms that define factors. |
|---|---|
| Autores principais: | Almeida, Jorge |
| Outros Autores: | Costa, José Carlos; Zeitoun, Marc |
| Assunto: | Profinite semigroup Aperiodic semigroup Pseudoword Omega-word Well quasi ordered set Uniform recurrent pseudoword Semigroupoid Pseudovariety Ciências Naturais::Matemáticas Ciências Naturais::Ciências da Computação e da Informação |
| Ano: | 2008 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| Resumo: | This paper provides a characterization of pseudowords over the pseudovariety of all finite aperiodic semigroups that are given by w-terms, that is that can be obtained from the free generators using only multiplication and the w-power. A necessary and sufficient condition for this property to hold turns out to be given by the conjunction of two rather simple finiteness conditions: the nonexistence of infinite anti-chains of factors and the rationality of the language of McCammond normal forms of w-terms that define factors. |
|---|