SCE-5832(gracan)

SCE5832 -TEORIA DA COMPUTAÇÃO

• Local: Sala (..... ) - Horário: QUA - 9 - 12h
• Profa. Graça Nunes; gracan [arroba] icmc.usp.br; Sala: 4-201

Avisos:

- Data de Início das aulas: 08/março

Aula a aula:

1. - 10 Mar – Apresentação da Disciplina (Prof. João Luis Rosa)
2. - 17 Março – Noções de Complexidade
3. - 24 Março – Conceitos de Linguagens Formais. Autômatos Finitos (1)
4. - 31 Março – Semana Santa - não há aula
5. - 7 Abril - Autômatos Finitos Determinísticos e Não-Determinísticos (2)
6. - 14 Abril - Expressões Regulares e Propriedades (Lema do Bombeamento)
7. - 28 Abril - 1a. Prova
8. - 5 Maio – Propriedades de Decisão das LR. Minimização de AF.
9. - 12 Maio - Gramáticas Livres de Contexto e Autômatos a Pilha
10. - 19 Maio - Linguagens Livres de Contexto
11. - 26 Maio - 2a. Prova
12. - 2 Junho - Indecidibilidade e Máquinas de Turing
13. - 9 Junho - Poder Computacional das Máquinas de Turing
14. - 16 Junho - Indecidibilidade
15. - 23 Junho - Intratabilidade
16. - 30 Junho - 3a. Prova

Listas de Exercícios

- Lista 0- Análise de Algoritmos: Arquivo:GNLista0AnaliseAlg.pdf

- Lista 1- Automatos Finitos: Arquivo:GNLista1AFDeAFND.pdf

- Lista 2- Gramáticas Livres de Contexto: Arquivo:GNLista2GLC.pdf

- Lista 3- Automatos a Pilha: Arquivo:GNLista3AP.pdf

- Lista 4- Linguagens Livres de Contexto: Arquivo:GNLista4LLC.pdf

- Lista 5- Máquinas de Turing: Arquivo:GNLista5MT.pdf

- Lista 6- Decidibilidade: Arquivo:GNLista6Decidib.pdf

Notas

-

-