Text this: Algebraic and automata-theoretic properties of formal languages /