I am limitedly aware of some works done in connecting semigroups and computer sciences. And, indeed, there are many works in this area.
May I ask you what would the ingeniously work be with this goal?
I am asking here because the giants may want to pay an attention to my little request. :-)