3 citations · 8 across the 9 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.FL2017★ 1 cited
The Intersection Problem for Finite Monoids
Lukas Fleischer, Manfred Kufleitner
We investigate the intersection problem for finite monoids, which asks for a given set of regular languages, represented by recognizing morphisms to finite monoids from a variety V…
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.FL2017
Green's Relations in Finite Transformation Semigroups
Lukas Fleischer, Manfred Kufleitner
We consider the complexity of Green's relations when the semigroup is given by transformations on a finite set. Green's relations can be defined by reachability in the (right/left/…