Modelos de Computação (CC1004) 2018-2019
"Aula de dúvidas" - 13 de Junho às 16:00 - Anfiteatro 2 (DCC)
Objectivos: Introdução ao estudo das linguagens formais. Pretende-se que o aluno seja capaz de especificar linguagens formais usando formas de descrição alternativas e determinar a sua classificação na hierarquia de poder computacional.
Tópicos do Programa: Noção de linguagem formal. Autómatos finitos determinísticos e não determinísticos. Expressões regulares e autómatos finitos. Propriedades das linguagens regulares. Minimização de autómatos finitos. Lema da repetição para linguagens regulares. Linguagens e gramáticas independentes de contexto. Árvores de derivação. Ambiguidade. Simplificações de gramáticas independentes de contexto e formas normais. Propriedades das linguagens independentes de contexto (LIC). Lema da repetição para LICs. Máquinas de Turing e noção de computabilidade.
Tópicos do Programa: Noção de linguagem formal. Autómatos finitos determinísticos e não determinísticos. Expressões regulares e autómatos finitos. Propriedades das linguagens regulares. Minimização de autómatos finitos. Lema da repetição para linguagens regulares. Linguagens e gramáticas independentes de contexto. Árvores de derivação. Ambiguidade. Simplificações de gramáticas independentes de contexto e formas normais. Propriedades das linguagens independentes de contexto (LIC). Lema da repetição para LICs. Máquinas de Turing e noção de computabilidade.
Horário de atendimento e dúvidas
2ª 17:00-18:00 - Sabine Broda (sbb(at)dcc.fc.up.pt) gab 1.12
4ª 16:00-17:00 - Nelma Moreira (nam(at)dcc.fc.up.pt) gab. 1.20
4ª 16:30-18:00 - Rogério Reis (rvr(at)dcc.fc.up.pt) gab. 1.27
5ª 14:00-15:00 - Bruno Loff (bruno.loff(at)gmail.com) gab. 1.04
2ª 17:00-18:00 - Sabine Broda (sbb(at)dcc.fc.up.pt) gab 1.12
4ª 16:00-17:00 - Nelma Moreira (nam(at)dcc.fc.up.pt) gab. 1.20
4ª 16:30-18:00 - Rogério Reis (rvr(at)dcc.fc.up.pt) gab. 1.27
5ª 14:00-15:00 - Bruno Loff (bruno.loff(at)gmail.com) gab. 1.04
Última modificação: 18/04/2024