Mudanças entre as edições de "Scc-205(joaoluis)"
(→Listas de Exercícios) |
|||
| Linha 11: | Linha 11: | ||
<center><font size=+100>'''Quadro de Avisos'''</font></center> | <center><font size=+100>'''Quadro de Avisos'''</font></center> | ||
<blockquote style="background: white; border: 1px solid black; padding: 1em;"> | <blockquote style="background: white; border: 1px solid black; padding: 1em;"> | ||
| + | *23/09/2010: Disponível Lista de Exercícios do Capítulo 4 e Slides do Capítulo 4. | ||
*15/09/2010: Atualização do arquivo com as notas da Prova 1. | *15/09/2010: Atualização do arquivo com as notas da Prova 1. | ||
*13/09/2010: Disponível Notas da Prova 1, Lista de Exercícios do Capítulo 3 e Slides do Capítulo 3. | *13/09/2010: Disponível Notas da Prova 1, Lista de Exercícios do Capítulo 3 e Slides do Capítulo 3. | ||
Edição das 18h53min de 23 de setembro de 2010
- SCC-205 - Teoria da Computação e Linguagens Formais - Turma A - prof. João Luís
Linguagens Regulares: Autômatos finitos determinísticos e não-determinísticos; expressões regulares; técnicas para identificar e descrever linguagens regulares; técnicas para mostrar que uma linguagem não é regular; propriedades de tais linguagens. 2. Linguagens Livres de Contexto: Gramáticas Livres de Contexto; derivações; árvores de derivação; ambigüidade; autômatos a pilha; propriedades de tais linguagens; técnicas para mostrar que uma linguagem não é livre de contexto. Linguagens Dependentes de Contexto e Linguagens com Estrutura de Frase: Máquinas de Turing; definições básicas e sua relação com a noção de um algoritmo/programa. Poder das Máquinas de Turing e Tese de Church-Turing. Indecibilidade: Máquinas de Turing Universais; Limitações sobre a nossa habilidade de computar; problemas indecidíveis. Teoria de Complexidade: Complexidade de Tempo, Complexidade de Espaço, Intratabilidade.
- 23/09/2010: Disponível Lista de Exercícios do Capítulo 4 e Slides do Capítulo 4.
- 15/09/2010: Atualização do arquivo com as notas da Prova 1.
- 13/09/2010: Disponível Notas da Prova 1, Lista de Exercícios do Capítulo 3 e Slides do Capítulo 3.
- 30/08/2010: Atenção Mudança de horário de atendimento do Aluno PAE para semana de 30/08 até 03/09: 31/08 das 17 às 18h e 01/09 das 14 às 16h, mesmo local.
- 24/08/2010: Disponível Trabalho em Grupo 1.
- 17/08/2010: Disponível Lista de Exercícios do Capítulo 2 e Slides do Capítulo 2.
- 16/08/2010: Mudança de horário de atendimento do Aluno PAE para o dia 18/08 (das 14 às 16h00, mesmo local).
- 13/08/2010: Disponível Lista de Exercícios do Capítulo 1.
- 02/08/2010: Inicio do período letivo.
Índice
Informações Gerais
Título: Teoria da Computação e Linguagens Formais (SCC-205) - Turma A - Ciências de Computação
Professor: Dr. João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
Aluno PAE: Fernando Alva Manchego (falva at icmc dot usp dot br)
Horário de Aulas: Ter. e Qui. 10:10 - 11:50. Sala 5-004
- Horário Atendimento
- Professor: Terças, das 14 às 17h00. Local: Bloco 3, sala 3-153.
- Aluno PAE: Quartas, das 16 às 19h00. Local: Laboratório de ICMC Bloco 1, sala 1-114.
Programa do Curso
Programa do Curso (apresentação)
Material Didático
- Capítulo 1 - Linguagens Regulares e Autômatos Finitos
- Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha
- Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente
- Capítulo 4 - Linguagens Recursivamente Enumeráveis e Máquinas de Turing
Trabalhos Práticos
- Os grupos para os trabalhos serão compostos de no máximo três pessoas.
- Trabalho em Grupo 1
Listas de Exercícios
- Lista de Exercícios Capítulo 1
- Lista de Exercícios Capítulo 2
- Lista de Exercícios Capítulo 3
- Lista de Exercícios Capítulo 4
Datas Importantes
Provas
- 02/09/2010 - Prova 1
- 21/10/2010 - Prova 2
- 02/12/2010 - Prova 3
Apresentação dos trabalhos em grupo
- 27/09/2010 a 01/10/2010 - Trabalho 1
- 22/11/2010 a 26/11/2010 - Trabalho 2
Notas
- As fórmulas para o cálculo das notas estão especificadas no Programa da Disciplina.
- Notas Prova 1
