Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/31971

Title: A survey on the local divisor technique
Authors: Diekert, Volker
Kufleitner, Manfred
Keywords: Local divisors
Factorization forests
Bounded synchronization delay
Linear temporal logic
Kamp's theorem
Issue Date: 2014
Publisher: © Elsevier
Citation: DIEKERT, V. and KUFLEITNER, M., 2014. A survey on the local divisor technique. Theoretical Computer Science, 610(Pt A), pp. 13-23.
Abstract: © 2015 Elsevier B.V. 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.
Description: This paper was accepted for publication in the journal Theoretical Computer Science and the definitive published version is available at https://doi.org/10.1016/j.tcs.2015.07.008
Sponsor: M.K. was supported by the German Research Foundation (DFG) grant DI 435/5-2.
Version: Accepted for publication
DOI: 10.1016/j.tcs.2015.07.008
URI: https://dspace.lboro.ac.uk/2134/31971
Publisher Link: https://doi.org/10.1016/j.tcs.2015.07.008
ISSN: 0304-3975
Appears in Collections:Published Articles (Computer Science)

Files associated with this item:

File Description SizeFormat
localsurvey.pdfAccepted version311.79 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.