/sci/ - Science & Math

>>10210629
I've always wondered why no textbooks straight up show the correlation between automata and monoids (including groups). That shit makes stuff like OP's picture trivial to understand (not to mention all the other concepts of group theory) and you don't have to go beating around the bush with all these vague-ass weak theorems and appeals to a higher power. You could even do it by defining monoids as categories (in a slightly different way than the usual) if you don't want to talk about formal languages and automatas.