A note on pure and <Emphasis Type="Italic">p</Emphasis>-pure languages |
| |
Authors: | Email author" target="_blank">Pedro?V?SilvaEmail author |
| |
Affiliation: | (1) Centro de Matemática, Faculdade de Ciências, Universidade do Porto, R. Campo Alegre 687, 4169-007 Porto, Portugal |
| |
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
involved are also obtained.Received: 5 December 2002, Pedro V. Silva: http://www.fc.up.pt/cmup |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|