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...

Full description

Bibliographic Details
Main Author: Costa, José Carlos (author)
Other Authors: Nogueira, Conceição (author)
Format: article
Language:eng
Published: 2009
Subjects:
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
Online Access:http://hdl.handle.net/1822/36664
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/36664
Description
Summary: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.

Similar Items