A survey on the local divisor technique

DOI10.1016/j.tcs.2015.07.008zbMath1332.68147arXiv1410.6026OpenAlexW1487309160MaRDI QIDQ896673

Manfred Kufleitner, Volker Diekert

Publication date: 10 December 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.6026

zbMATH Keywords

linear temporal logicbounded synchronization delayfactorization forestsKamp's theoremlocal divisors

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Temporal logic (03B44)

Related Items (4)

A Lyndon's identity theorem for one-relator monoids ⋮ Parikh-reducing Church-Rosser representations for some classes of regular languages ⋮ Characterizing classes of regular languages using prefix codes of bounded synchronization delay ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Star-free languages are Church-Rosser congruential
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• Factorization forests of finite height
• LTL is expressively complete for Mazurkiewicz traces
• The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
• On factorization forests of finite height
• Omega-rational expressions with bounded synchronization delay
• The Krohn-Rhodes Theorem and Local Divisors
• A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
• The Height of Factorization Forests
• Church-Rosser Thue systems and formal languages
• On finite monoids having only trivial subgroups
• Linear Temporal Logic for Regular Cost Functions
• Codes with bounded synchronization delay
• Regular Languages Are Church-Rosser Congruential

This page was built for publication: A survey on the local divisor technique