โ๏ธ Syntactic MonoidsRegular Languages, Algebraic Automata Theory, Star-free Languages, Recognition