Abstract | ||
---|---|---|
A variation of first-order logic with variables for exponents is developed to solve some problems in the setting of recognizable languages on the free monoid, accommodating operators such as product, bounded shuffle and reversion. Restricting the operators to powers and product, analogous results are obtained for recognizable languages of an arbitrary finitely generated monoid M, in particular for a free inverse monoid of finite rank. As a consequence, it is shown to be decidable whether or not a recognizable subset of M is pure or p-pure. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1142/S0218196704001906 | INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION |
Keywords | Field | DocType |
recognizable languages, decidability, first-order logic | Discrete mathematics,Algebra,Decidability,First-order logic,Monoid,Operator (computer programming),Syntactic monoid,Free monoid,Trace theory,Mathematics,Bounded function | Journal |
Volume | Issue | ISSN |
14 | 5-6 | 0218-1967 |
Citations | PageRank | References |
2 | 0.48 | 4 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pedro V. Silva | 1 | 141 | 29.42 |