activity
20012026
most citedStar-Free Languages are Church-Rosser Congruential

12 citations · 64 across the 32 of their papers we have counts for

collaborators
Showing cs.FLShow all

15 papers · 1 filter

cs.FL2025

Quadratic word equations with regular constraints and the exponent of periodicity

Volker Diekert, Silas Natterer, Alexander Thumm

In this article, we study word equations in free semigroups and the conjecture that the existence of infinitely many solutions entails the existence of solutions with arbitrarily l…

cs.FL2021

Properties of Graphs Specified by a Regular Language

Volker Diekert, Henning Fernau, Petra Wolf

Traditionally, graph algorithms get a single graph as input, and then they should decide if this graph satisfies a certain property . What happens if this question is modified i…

cs.FL2020★ 3 cited

Regular matching problems for infinite trees

Carlos Camino, Volker Diekert, Besik Dundua +2

We study the matching problem of regular tree languages, that is, "?" where are regular tree languages over the union of finite ranked alphabets $Σ…

cs.FL2019

Decidability of membership problems for flat rational subsets of and singular matrices

Volker Diekert, Igor Potapov, Pavel Semukhin

We consider membership problems for rational subsets of the semigroup of matrices over . For a semigroup , the rational subsets are def…

cs.FL2017

Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions

Volker Diekert, Lukas Fleischer

What is the common link, if there is any, between Church-Rosser systems, prefix codes with bounded synchronization delay, and local Rees extensions? The first obvious answer is tha…

cs.FL2016

Solutions of Word Equations over Partially Commutative Structures

Volker Diekert, Artur Jeż, Manfred Kufleitner +1

Let be a free partially commutative monoid with involution and its quotient group (for example, a right-angled Artin or Coxeter group). We show that for any syste…