SCC-205

De CoteiaWiki
Revisão de 17h45min de 2 de agosto de 2010 por Falva (discussão | contribs) (Programa do Curso)

  • 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.


Quadro de Avisos
  • 02/08/2010: Inicio do período letivo.

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:

Horário Atendimento 
Professor: Quartas, das 10 às 12h00 e das 18 às 19h00. Local: Bloco 3, sala 3-153.
Aluno PAE: Sextas, das 09 às 12h00. Local: Laboratório de ICMC Bloco 1, sala 1-114.

Programa do Curso

Programa do Curso (apresentação)

Material Didático

Trabalhos Práticos

Listas de Exercícios

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

Links Importantes

No Jupiter-web: [[1]]