A note on pure and p-pure languages

• Type: Article in International Scientific Journal
• Date: 2003

Authors

Pedro V. Silva (Author) FCUP

Journal

Title: Acta Informatica

Vol. 39

Pages: 579-595

ISSN: 0001-5903

Publisher: Springer Nature

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 2 Citations

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 17