Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/s00236-003-0107-x | Acta Informatica |
Keywords | Field | DocType |
Free Group,Order Logic,Group Language,Free Monoid,Rational Subset | Discrete mathematics,Combinatorics,First-order logic,Free monoid,Regular language,Rational data type,Mathematics,Free group | Journal |
Volume | Issue | ISSN |
39 | 8 | 0001-5903 |
Citations | PageRank | References |
1 | 0.44 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pedro V. Silva | 1 | 141 | 29.42 |