Omega-rational expressions with bounded synchronization delay

DOI10.1007/s00224-013-9526-4zbMath1343.68135OpenAlexW2044927444MaRDI QIDQ2354594

Volker Diekert, Manfred Kufleitner

Publication date: 20 July 2015

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://dspace.lboro.ac.uk/2134/31969

zbMATH Keywords

finite monoidlocal divisorstar-free languagebounded synchronization delayomega-regular language

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (2)

Characterizing classes of regular languages using prefix codes of bounded synchronization delay ⋮ A survey on the local divisor technique

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• A syntactic congruence for rational \(\omega\)-languages
• Locally trivial categories and unambiguous concatenation
• Sur le produit de concatenation non ambigu
• Von Neumann regularity in Jordan triple systems
• The Krohn-Rhodes Theorem and Local Divisors
• A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
• On finite monoids having only trivial subgroups
• Codes with bounded synchronization delay

This page was built for publication: Omega-rational expressions with bounded synchronization delay