A note on pure and p-pure languages

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

Autores

Pedro V. Silva (Autor) FCUP

Revista

Título: Acta Informatica

Vol. 39

Páginas: 579-595

ISSN: 0001-5903

Editora: Springer Nature

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 2 Citações

Outras Informações

ID Authenticus: P-000-FY3

DOI: 10.1007/s00236-003-0107-x

Abstract (EN): A variation of first order logic with variables for exponents is developed to solve some problems in the setting of rational languages on the free monoid, implying in particular algorithms for purity and p-purity. This same problem is addressed for the case of rational free group languages, and characterizations of the rational subsets of IN involved are also obtained.

Idioma: Inglês

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

Nº de páginas: 17