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. :-)



Applications of semigroups
Here is a question of mine along similar lines:


[Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied?](https://mathoverflow.net/questions/243022/have-semigroups-with-actions-on-themselves-that-have-a-dual-to-the-compatibility/243106#243106)


The answer by Joseph Van Name may contain something of interest to you, in particular there is a reference given at the end of it.


The question is precisely about the links between semigroup theory and computer science, specifically rewriting theory, funnily enough.


