Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
435474 | Theoretical Computer Science | 2016 | 11 Pages |
Abstract
Local divisors allow a powerful induction scheme on the size of a monoid. We survey this technique by giving several examples of this proof method. These applications include linear temporal logic, rational expressions with Kleene stars restricted to prefix codes with bounded synchronization delay, Church–Rosser congruential languages, and Simon's Factorization Forest Theorem. We also introduce the notion of a localizable language class as a new abstract concept which unifies some of the proofs for the results above.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Volker Diekert, Manfred Kufleitner,