Algebraic and Combinatorial Methods in Formal Languages and Discrete Structures