Apresentação

Avaliação

Critério de Avaliação

Trabalhos Práticos

Exames

Pautas com as Notas (TPs e Exames)

Programa

Bibliografia

Notas Pedagógicas e Material de Apoio Diverso

Fichas de Exercícios para as Aulas Teórico-Práticas

Sumários das Aulas Teóricas e Teórico-Práticas

Cursos a que é leccionada:

Ciências da Computação (LCC) -- 2º ano ()

Escolaridade:

2 + 1 + 2

Responsável:

Pedro Rangel Henriques

Equipe Docente:

Pedro Rangel Henriques [] (1 + 1 + 1)

Daniela Carneiro da Cruz [danieladacruz@di.uminho.pt] (0 + 1 + 1)

Obs: é indicado o número de turmas de cada tipo de aula que cada docente lecciona.

Estrutura de Funcionamento:

Exposição da matéria fundamental ---motivação, conceitos, definições, métodos e justificações--- a nível das aulas teóricas.
Resolução dos exercícios de consolidação, no quadro e no computador, a nível das aulas teórico-práticas e práticas.
Realização, no computador, de trabalhos concretos de aplicação, em ambiente Linux, recorrendo às ferramentas flex/yacc e à linguagem C; os trabalhos serão desenvolvidos extra aulas.

Objectivos:

Os objectivos fundamentais deste curso são:

• Apresentar a noção de linguagem formal e caracterizar o conceito de processamento de linguagens, estabelecendo os objectivos, as tarefas dum processador, as exigências que lhe são impostas e as técnicas de desenvolvimento (face às restrições e à complexidade do problema);
• Apresentar os conceitos de gramática e de autómato e a sua aplicação ao desenvolvimento de Processadores de Linguagens (PL's).
• Introduzir formalismos para especificação da sintaxe e da semântica das linguagens e estudar a implementação dos analisadores que se podem derivar desses formalismos.
• Tornar os alunos aptos a desenvolver Processadores de Linguagens segundo os métodos da Tradução Dirigida pela Sintaxe (TDS) e da Tradução Dirigida pela Semântica (TDSem), recorrendo ao uso de ferramentas para geração automática dos ditos Processadores.

Critério:

A Avaliação tem uma componente teórica e uma componente prática ambas obrigatórias.
De acordo com o regulamento actualmente em vigor na UM, a nota teórica será obtida através de 2 provas individuais escritas (2 Testes), realizadas ao longo do semestre, ou através de 1 Exame de Recurso, realizado no final do Semestre, caso a nota média nos testes seja inferior a 10valores.
A nota prática será obtida através da realização de 2 trabalhos práticos que envolverão o desenvolvimento completo de um processador para uma linguagem específica, compreendendo a análise do enunciado concreto, o planeamento da resolução e a sua implementação em computador.
O trabalho será realizado ao longo do semestre, extra-aulas e em grupo de 2 ou 3 alunos, sendo apresentado ao docente, para ser discutido em frente ao computador, acompanhado dum relatório sucinto, em datas a combinar com os alunos. Recorda-se que é obrigatória a presença de todos os elementos do grupo aquando da apresentação ao docente.

Cada Trabalho Prático será classificado de acordo com os seguintes escalões:

Escalão	Nota
Não Entregue	0
Não Satisfaz	7
Satisfaz no Mínimo	10
Satisfaz	13
Bom	16
Muito Bom	19

A nota final será determinada de acordo com a seguinte fórmula:

NotaFinal = NotaTeorica * 0.60 + NotaPratica * 0.40 Exige-se 10 valores como nota mínima em cada uma das partes.

Programa detalhado:

• I. Introdução ao Processamento de Linguagens:
  • I.1 Conceitos básicos: Linguagem e Gramática
  • I.2 Caracterização de Processador de Linguagens: objectivos; tarefas; requisitos
  • I.3 Processamento de Texto (Filtragem) com base em Regras de Produção (regras Condição-Acção) recorrendo a Expressões Regulares
• II. Análise Léxica especificada via Expressões Regulares (ER) ou Gramáticas Regulares (GR); Autómatos Reactivos:
  • II.1 Uso do Gerador flex
• III. Análise Sintáctica especificada via Gramáticas Independentes de Contexto (GIC):
  • III.1 Parsing Top-Down: Recursivo-descendente (RD) e LL(1)
  • III.2 Parsing Bottom-Up: LR(0), SLR(1), LALR(1)}
• IV. Análise Semântica e Transformação (reacção) especificada via Gramáticas Tradutoras (GT) ---Tradução Dirigida pela Sintaxe:
  • IV.1 Uso do Gerador yacc
• V. Análise Semântica e Transformação (reacção) especificada via Gramáticas de Atributos (GAs)---Tradução Dirigida pela Semântica:
  • V.1 Uso do Gerador AntLR

Fichas de Exercícios para as Aulas Teórico-Práticas