Objectivos, Programa, Bibliografia e Avaliação Teoria da Computação Licenciatura em Ciência e Tecnologia da Computação Licenciatura em Engenharia Informática e de Computadores (Prep.) Docente: Elisabete Raposo Freire http://www.uac.pt/~efreire/TC0506/TC0506.htm Objectivos, Programa, Bibliografia e Avaliação
Objectivos Aprender a trabalhar com modelos computacionais comuns, desde os autómatos finitos às máquinas de registos. Entender e saber utilizar a teoria das linguagens regulares. Compreender o conceito de computabilidade e seus limites. Apresentação
Programa Autómatos finitos deterministas. Propriedades de fecho de linguagens regulares. Equivalência e minimização de autómatos finitos deterministas. Lema da bombagem para linguagens regulares. Autómatos finitos não deterministas. Equivalência de autómatos finitos deterministas e não deterministas relativamente às linguagens reconhecidas. Gramática, gramática livre de contexto e gramática regular. Expressões regulares. Raciocínio sobre expressões regulares. Conversão entre as diferentes representações de linguagens regulares. Apresentação
Programa (continuação) Máquina URM. Funções computáveis e predicados decidíveis. A classe das funções parciais recursivas: definição indutiva (estudo detalhado da composição, recursão e minimização). Teorema de Kleene: identidade das classes das funções computáveis pela máquina URM e das funções parciais recursivas. Gödelização de programas URM. Existência de funções não computáveis: diagonalização. O teorema s-m-n e o teorema de Rice. Funções universais e programa universal. Problemas clássicos da computabilidade e da decidibilidade e aplicações. Apresentação
Bibliografia N. Cutland. Computability: An Introduction to Recursive Function Theory, Cambridge University Press, 1980. C. Sernadas. Introdução à Teoria da Computação, Editorial Presença, 1993. M. Sipser. Introduction to the Theory of Computation, PWS Publishing Company, 1997. J. Hopcroft, R. Motwani e J. Ullman. Introduction to Automata Theory, Languages, and Computation, Addison Wesley, 2001. D. Mandrioli e C. Ghezzi. Theoretical Foundations of Computer Science, John Wiley, 1987. Apresentação
Avaliação Avaliação por frequência Os alunos têm de frequentar pelo menos 50% das aulas Nota final = 30% Prova de Frequência 1 + 30% Prova de Frequência 2 + 30% Prova de Frequência 3 +10% avaliação contínua Datas das Provas de Frequência 15 Março, 24 Abril e 29 Maio Exame e Época de Recurso Nota Final =Nota do Exame escrito (Não há provas orais) Apresentação
Horário de Atendimento durante o período de aulas Horário de atendimento durante o período de aulas (proposta) 2ª feira das 09:15 às 10:15 Local: Gabinete da docente Nota: As sessões de dúvidas consideram-se encerradas se 15min após o seu início nenhum aluno tiver comparecido. Carga horária semanal: aulas teóricas 3horas aulas práticas 2horas estudo recomendado 3horas Apresentação