Text this: Algebraic and Automata-Theoretic Properties of Formal Languages