Complete reducibility of the pseudovariety LSl

In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, where κ is the implicit signature consisting of the multiplication and the ω-power. Informally speaking, given a finite equation system with rational constraints, the existence of a solution by pseudow...

ver descrição completa

Detalhes bibliográficos
Autor principal: Costa, José Carlos (author)
Outros Autores: Nogueira, Conceição (author)
Formato: article
Idioma:eng
Publicado em: 2009
Assuntos:
Semigroup
Pseudovariety
System of equations
Implicit signature
Complete tameness
Local semillatice
Infinite word
Pseudoword
complete reducibility
Ciências Naturais::Matemáticas
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
Texto completo:http://hdl.handle.net/1822/36664
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/36664
Descrição
Resumo:In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, where κ is the implicit signature consisting of the multiplication and the ω-power. Informally speaking, given a finite equation system with rational constraints, the existence of a solution by pseudowords of the system over LSl implies the existence of a solution by κ-words of the system over LSl satisfying the same constraints.

Registos relacionados