And maybe it is a tale promoting more theoretical computer science in the education of programmers. For example monoids should be familiar because the states of

And maybe it is a tale promoting more theoretical computer science in the education of programmers. For example monoids should be familiar because the states of a minimal DFAs are essentially the elements of the syntactic monoid [1] of the accepted language and the transition function is essentially the monoid operation. [1] https://en.wikipedia.org/wiki/Syntactic_monoid https://en.wikipedia.org/wiki/Syntactic_monoid