Abstract.
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 \(\mathbb{N}\) involved are also obtained.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Received: 5 December 2002,
Pedro V. Silva: http://www.fc.up.pt/cmup
Rights and permissions
About this article
Cite this article
Silva, P.V. A note on pure and p-pure languages. Acta Informatica 39, 579–595 (2003). https://doi.org/10.1007/s00236-003-0107-x
Issue Date:
DOI: https://doi.org/10.1007/s00236-003-0107-x