Title: Algebraic and Automata-theoretic Properties of Formal Language