Loading...
Please wait, while we are loading the content...
Similar Documents
Makanin's ALgorithm for Solving . . . (1998)
| Content Provider | CiteSeerX |
|---|---|
| Author | Diekert, Volker |
| Abstract | We give a self-contained proof of a fundamental result of Makanin (1977), which solves the satisfiability problem of equations with constants over free monoids. Our presentation of Makanin's algorithm is borrows Schulz (1992a), where Makanin's result is extended to the case where solutions are restricted by imposing regular constraints on the variables. This report appears (with minor modifications) as a chapter of the new book of M. Lothaire Algebraic Combinatorics on Words. |
| File Format | |
| Publisher Date | 1998-01-01 |
| Access Restriction | Open |
| Subject Keyword | Lothaire Algebraic Combinatorics Borrows Schulz Minor Modification Self-contained Proof Satisfiability Problem Regular Constraint Free Monoids New Book Fundamental Result |
| Content Type | Text |