The course aims at clarifying central mathematical notions of formal language theory, and at showing how these notions can be usefully employed in order to provide a rigorous algebraic formalization (of some) of the perspectives adopted in generative grammar.