Ir para o conteúdo principal
Painel lateral
Disciplinas »
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
AACCs/FFLCH
Pró-Reitoria de Pós-Graduação
Outros
Suporte »
Acesso
Perfis
Ouvintes
Docentes
Criação de Disciplinas da USP
Documentação
HelpDesk e Contato
Guia de uso
Sobre
Português - Brasil (pt_br)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Buscar
Fechar
Buscar
Alternar entrada de pesquisa
Acessar
ACH2043 - Introdução à Teoria da Computação (2018)
Início
Ambientes
2018
EACH
ACH
ACH2043-202-2018
Programação
Geral
Contrair tudo
Expandir tudo
Avisos
Fórum
Notas P1 a PSub
Arquivo
Aulas 01 a 08 : Autômatos Finitos
Aula 01 - Introdução à disciplina e a autômatos finitos
Arquivo
Aula 02 - Cap 1.1 e 1.2 - Autômatos Determinísticos e Não Determinísticos
Arquivo
Aula 03 - Equivalência entre AFDs e AFNs
Arquivo
Aula 04 - Fechamentos da classe de linguagens regulares
Arquivo
Aula 05 - Expressões regulares (parte 1)
Arquivo
Aula 06 - Cap 1.3 Expressões regulares (parte 2) e Cap 1.4 - Linguagens não regulares (lema do bombeamento)
Arquivo
Aula 07 - Exercícios e Transdutores
Arquivo
Aula 08 - HMMs
Arquivo
Artigos legais sobre Autômatos Finitos
Pasta
Aulas 09 a 14: Gramáticas, Linguagens Livres de Contexto, Autômatos a Pilha
Aula 09 - Gramáticas
Arquivo
Artigos legais sobre Gramáticas
Pasta
Aula 10 - Cap 2.1 - Gramáticas Livres de Contexto
Arquivo
Aula 11 - Analisador sintático CYK e Cap 2.2 - Autômato com pilha (parte 1)
Arquivo
Aula 12 - cap 2.2 - Autômatos com Pilha (parte 2)
Arquivo
Aula 13 - cap 2.2 - Autômatos com Pilha (parte 3)
Arquivo
Aula 14 - Linguagens NÃO Livres de Contexto
Arquivo
Aulas 15 a 19: Cap 3 - Máquinas de Turing
Aulas 15 e 16 - Cap 3.1 - Máquinas de Turing
Arquivo
Aula 17 - Cap 3.2 - Variantes de Máquinas de Turing (parte 1)
Arquivo
Aula 18 - Cap 3.2 (cont) - Variantes da Máquina de Turing (enumeradores) e Linguagens Sensíveis ao Contexto
Arquivo
Artigo "The language of genes"
Arquivo
Aula 19 - Cap 3.3 - A Definição de Algoritmo
Arquivo
Aulas 20 a 24 : Cap 4 e 5 - Decidibilidade e INdecidibilidade
Aula 20 - Cap 4.1 - Linguagens Decidíveis
Arquivo
Aula 21 - Cap 4.2 - Linguagens NÃO Turing-reconhecíveis
Arquivo
Aula 22 - Cap 4.2 - O Problema da Parada
Arquivo
Aula 23 - Cap 5.1 e 5.3 - Problemas indecidíveis e Redução por Mapeamento
Arquivo
Aula 24 - Redução por mapeamento
Arquivo
Aula 25 - Complexidade
Aula 25 - Cap 7 - Complexidade
Arquivo
Tópico 6
Tópico 7
Tópico 8
Tópico 9
Tópico 10