Text this: Finite automata, their algebras and grammars :