Salta al contenido principal
Panel 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
Español - Internacional (es)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Buscar
Cerrar
Buscar
Selector de búsqueda de entrada
Acessar
ACH2043 - Introdução à Teoria da Computação (2018)
Página Principal
Cursos
2018
EACH
ACH
ACH2043-202-2018
Diagrama de temas
General
Colapsar todo
Expandir todo
Avisos
Foro
Notas P1 a PSub
Archivo
Aulas 01 a 08 : Autômatos Finitos
Aula 01 - Introdução à disciplina e a autômatos finitos
Archivo
Aula 02 - Cap 1.1 e 1.2 - Autômatos Determinísticos e Não Determinísticos
Archivo
Aula 03 - Equivalência entre AFDs e AFNs
Archivo
Aula 04 - Fechamentos da classe de linguagens regulares
Archivo
Aula 05 - Expressões regulares (parte 1)
Archivo
Aula 06 - Cap 1.3 Expressões regulares (parte 2) e Cap 1.4 - Linguagens não regulares (lema do bombeamento)
Archivo
Aula 07 - Exercícios e Transdutores
Archivo
Aula 08 - HMMs
Archivo
Artigos legais sobre Autômatos Finitos
Carpeta
Aulas 09 a 14: Gramáticas, Linguagens Livres de Contexto, Autômatos a Pilha
Aula 09 - Gramáticas
Archivo
Artigos legais sobre Gramáticas
Carpeta
Aula 10 - Cap 2.1 - Gramáticas Livres de Contexto
Archivo
Aula 11 - Analisador sintático CYK e Cap 2.2 - Autômato com pilha (parte 1)
Archivo
Aula 12 - cap 2.2 - Autômatos com Pilha (parte 2)
Archivo
Aula 13 - cap 2.2 - Autômatos com Pilha (parte 3)
Archivo
Aula 14 - Linguagens NÃO Livres de Contexto
Archivo
Aulas 15 a 19: Cap 3 - Máquinas de Turing
Aulas 15 e 16 - Cap 3.1 - Máquinas de Turing
Archivo
Aula 17 - Cap 3.2 - Variantes de Máquinas de Turing (parte 1)
Archivo
Aula 18 - Cap 3.2 (cont) - Variantes da Máquina de Turing (enumeradores) e Linguagens Sensíveis ao Contexto
Archivo
Artigo "The language of genes"
Archivo
Aula 19 - Cap 3.3 - A Definição de Algoritmo
Archivo
Aulas 20 a 24 : Cap 4 e 5 - Decidibilidade e INdecidibilidade
Aula 20 - Cap 4.1 - Linguagens Decidíveis
Archivo
Aula 21 - Cap 4.2 - Linguagens NÃO Turing-reconhecíveis
Archivo
Aula 22 - Cap 4.2 - O Problema da Parada
Archivo
Aula 23 - Cap 5.1 e 5.3 - Problemas indecidíveis e Redução por Mapeamento
Archivo
Aula 24 - Redução por mapeamento
Archivo
Aula 25 - Complexidade
Aula 25 - Cap 7 - Complexidade
Archivo
Tema 6
Tema 7
Tema 8
Tema 9
Tema 10