Scc-205(joaoluis)

• 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

• 31/07/2012: Disponível Lista de Exercícios do Capítulo 1.
• 31/07/2012: 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: Cristiano Bacelar de Oliveira (cbacelar at icmc dot usp dot br)

Horário de Aulas: Terça (08:10 - 9:50) e Quinta (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: Marcar horário por e-mail. Local: Laboratório de ICMC Bloco 6, sala 6-205.

Programa do Curso

Programa do Curso (apresentação)

Material Didático

• O material está disponível através do Dropbox.

Link: https://www.dropbox.com/sh/rtszzifu0j735qz/ALFB-ZCE0G/SCC-205

Trabalhos Práticos

Indicações Gerais

• Os grupos para os trabalhos serão compostos de no máximo três pessoas.

Sistema BOCA

• Sistema BOCA - SCC205

Listas de Exercícios

• Lista de Exercícios Capítulo 1

Datas Importantes

Provas

• A definir

Apresentação dos trabalhos em grupo

• A definir

Notas

• As fórmulas para o cálculo das notas estão especificadas no Programa da Disciplina.

Links úteis

• Ementa Sistema Júpiter [1]
• Ferrameta JFLAP [2]