|
|
| Linha 5: |
Linha 5: |
| | *[[scc-205(joaoluis)|Teoria da Computação e Linguagens Formais]] - (turma BCC-A) - Profa. João Luís Garcia Rosa | | *[[scc-205(joaoluis)|Teoria da Computação e Linguagens Formais]] - (turma BCC-A) - Profa. João Luís Garcia Rosa |
| | *[[scc-205(sandra)|Teoria da Computação e Linguagens Formais]] - (turma BCC-B) - Profa. Sandra Maria Aluisio | | *[[scc-205(sandra)|Teoria da Computação e Linguagens Formais]] - (turma BCC-B) - Profa. Sandra Maria Aluisio |
| − |
| |
| − |
| |
| − |
| |
| − |
| |
| − | <blockquote style="background: white; border: 1px solid red; padding: 1em;">
| |
| − | <center>
| |
| − | <font size=+34 color=red>
| |
| − | *'''SCC-205 - Teoria da Computação e Linguagens Formais - Turma A - prof. João Luís'''
| |
| − | </font></center>
| |
| − | </blockquote>
| |
| − |
| |
| − |
| |
| − | 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.
| |
| − |
| |
| − | <center><font size=+100>'''Quadro de Avisos'''</font></center>
| |
| − | <blockquote style="background: white; border: 1px solid black; padding: 1em;">
| |
| − | *02/08/2010: Inicio do período letivo.
| |
| − | </blockquote>
| |
| − |
| |
| − | == 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: Quartas, das 09 às 12h00. 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 ==
| |
| − |
| |
| − | [[Media:SCC205Cap0.pdf|Programa do Curso (apresentação)]]
| |
| − |
| |
| − | == Material Didático ==
| |
| − |
| |
| − | *[[Media:SCC205Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
| |
| − |
| |
| − | == 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 ==
| |
