20
resultados encontrados
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.
Nesta aula, apresento a 1a parte da Seção 2.1 do Livro de Michael Sipser, "Introdução à Teoria da Computação". Mais especificamente, introduzo alguns conceitos, exemplos e definições formais relacionados às gramáticas livres-do-contexto.
Nesta aula, apresentamos a 2a parte da Seção 1.3 do Livro de Michael Sipser, "Introdução à Teoria da Computação". Mais especificamente, apresentamos a prova de que todo autômato finito pode ser convertido em uma expressão regular.
Nesta aula, apresentamos a 1a parte da Seção 1.3 do Livro de Michael Sipser, "Introdução à Teoria da Computação". Mais especificamente, apresentamos:
a) A definição de expressões regulares;
b) Uma ideia geral de suas aplicações;
c) A prova de que toda expressão regular pode ser convertida em um autômato finito não determinístico.
Nesta aula, encerramos o estudo da Seção 1.2 do Livro de Michael Sipser, "Introdução à Teoria da Computação". Utilizamos o conceito de não-determinismo para mostrar que as linguagens regulares são fechadas sob as operações de união, concatenação e estrela.
Nesta aula, apresentamos um algoritmo para simulação de autômatos finitos não-determinísticos.
Este vídeo contém um breve tutorial sobre o uso do JFLAP para construção e simulação de autômatos finitos determinísticos
Neste vídeo, ilustramos a construção passo a passo de autômatos finitos através de três exemplos simples.
20
resultados encontrados
Carregando
