Finite Automata, Their Algebras and Grammars