Factoriality and the Pin-Reutenauer procedure

• Tipo: Artigo em Revista Científica Internacional
• Data: 2016

Autores

Almeida, J (Autor) FCUP; Costa, JoseCarlos (Autor) Outra; Zeitoun, Marc (Autor) Outra

Revista

A Revista está pendente de validação pelos Serviços Administrativos.

Título: DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE

Vol. 18

ISSN: 1462-7264

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 2 Citações

Outras Informações

ID Authenticus: P-00M-QZG

Abstract (EN): We consider implicit signatures over finite semigroups determined by sets of pseudonatural numbers. We prove that, under relatively simple hypotheses on a pseudovariety V of semigroups, the finitely generated free algebra for the largest such signature is closed under taking factors within the free pro-V semigroup on the same set of generators. Furthermore, we show that the natural analogue of the Pin-Reutenauer descriptive procedure for the closure of a rational language in the free group with respect to the profinite topology holds for the pseudovariety of all finite semigroups. As an application, we establish that a pseudovariety enjoys this property if and only if it is full.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 23