Green’s relations in deterministic finite automata

Green’s relations are a fundamental tool in the structure theory of semigroups. They can be defined by reachability in the (right/left/twosided) Cayley graph. The equivalence classes of Green’s relations then correspond to the strongly connected components. We study the complexity of Green’s relatio...

Full description

Saved in:
Bibliographic Details
Main Authors: Lukas Fleischer, Manfred Kufleitner
Format: Default Article
Published: 2018
Subjects:
Online Access:https://hdl.handle.net/2134/31946
Tags: Add Tag
No Tags, Be the first to tag this record!