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 (2024)
Início
Ambientes
2024
EACH
ACH
ACH2043-102-2024
Introdução (aula 1)
Aula 1: Introdução
Aula 1: Introdução
Clique no link
ACH2043-Aula01-Introducao.pdf
para ver o arquivo.
◄ Datas das próximas provas
Seguir para...
Seguir para...
Avisos
Fórum de dúvidas e discussões
Notas das P1 a PSub
Datas das próximas provas
Livro "Atenção Plena" (pdf autorizado)
Ouvir esse podcast - a questão da atenção
Assistir esse vídeo: "A MELHOR LIVE DE NUTRIÇÃO QUE VOCÊ JÁ VIU" (com Denise Carreiro)
Assistir esse vídeo: Palestra de Mindfulness promovida pela USP
Aula 2: Autômatos finitos
Aula 3: Autômatos finitos determinísticos (AFDs)
Aula 4: Autômatos finitos não-determinísticos (AFNs)
Aula 5: Equivalência entre AFDs e AFNs
Aula 6: Fechamentos de linguagens regulares
Aula 7: Expressões regulares
Aula 8: Gramáticas Regulares
Aula 9: Linguagens não regulares
Aula 10a: Como implementar AFDs
Alguns exercícios resolvidos - Cap 1 Sipser (parte 1)
Alguns exercícios resolvidos - Cap 1 Sipser (parte 2)
Aula 10b: Gramáticas Livres de Contexto
Aula 11: Análise sintática de gramáticas livres de contexto
Aula 12: Forma normal de Chomsky
Aula 12: Resolução do exercício feito em sala
Aula 13: Autômato com pilha
Sobre as aulas 10 e 13: alguns exercícios resolvidos (GLCs e APNs)
Aula 14: Equivalência entre GLCs e APNs
Aula 15: Linguagens não livres de contexto
Aula 16: Máquinas de Turing
Aula 17: Máquinas de Turing e Linguagens Sensíveis ao Contexto
Artigo "The language of genes"
Aula 18: Variantes de Máquinas de Turing
Aula 19: A definição de algoritmo
Aula 20: Linguagens decidíveis
Aula 21: Linguagens não Turing-reconhecíveis; o Problema da Parada
Aula 22: Linguagens indecidíveis (parte 1)
Aula 23: Linguagens indecidíveis (parte 2)
Aula 24: Redutibilidade por mapeamento
Aula 25: Complexidade
Livro "Atenção Plena" (pdf autorizado) ►