Documenti analoghi: Algebraic and Automata-Theoretic Properties of Formal Languages