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