3 papers
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/…
cs.FL2016
Operations on Weakly Recognizing Morphisms
Lukas Fleischer, Manfred Kufleitner
Weakly recognizing morphisms from free semigroups onto finite semigroups are a classical way for defining the class of omega-regular languages, i.e., a set of infinite words is wea…