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.
Nesta aula, apresento a 3a parte da Seção 2.1 do Livro de Michael Sipser, "Introdução à Teoria da Computação". Mais especificamente, apresento a definição da Forma Normal de Chomsky (FNC) e o método de conversão de gramáticas livres-do-contexto para a FNC.
Nesta aula, apresento a 2a parte da Seção 2.1 do Livro de Michael Sipser, "Introdução à Teoria da Computação". Mais especificamente, apresento alguns exemplos e estratégias para construção de gramáticas livres-do-contexto, bem como o conceito de ambiguidade.