Introduzir os conceitos de linguagens formais e autômatos e suas relações com linguagens de programação. Introduzir os conceitos básicos de computabilidade e complexidade, discutindo as limitações da ciência da computação.
Nesta aula, apresento a 1a parte da Seção 2.2 do Livro de Michael Sipser, "Introdução à Teoria da Computação". Mais especificamente, introduzo o conceito, definição formal e exemplos de autômatos com pilha.