Autômatos são modelos abstratos para uma classe de algoritmos limitada mas muito utilizada. Linguagens regulares estão presentes em vários usos para descrição de padrões; linguagens livres de contexto estão por trás de todas as linguagens de programação. O curso integra todos esses conceitos, de forma que a teoria leva à produção de algoritmos de grande utilidade prática.
- Professor: Arnaldo Mandel