Este curso oferece uma introdução teórica e prática aos fundamentos das linguagens formais, gramáticas e autômatos, abordando seu papel central na computação. Os alunos aprenderão a classificar e relacionar diferentes tipos de linguagens, conforme a Hierarquia de Chomsky, com os autômatos que as reconhecem e as gramáticas que as geram. Serão discutidos tópicos como autômatos finitos, expressões regulares, autômatos de pilha e máquinas de Turing, com ênfase nas questões de decidibilidade e computabilidade. Além disso, o curso promove o desenvolvimento do raciocínio lógico e formal, que é essencial para a resolução de problemas computacionais e outras subáreas da computação, preparando os alunos para enfrentar os limites da computação convencional.
- Professor: Jefferson Oliveira Andrade