Saltar para:
Logótipo
Você está em: Início > CC1004
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Modelos de Computação

Código: CC1004     Sigla: CC1004     Nível: 100

Áreas Científicas
Classificação Área Científica
OFICIAL Ciência de Computadores

Ocorrência: 2017/2018 - 2S Ícone do Moodle

Ativa? Sim
Página Web: http://www.dcc.fc.up.pt/~rvr/aulas/AC1718/MC17-18/
Unidade Responsável: Departamento de Ciência de Computadores
Curso/CE Responsável: Licenciatura em Ciência de Computadores

Ciclos de Estudo/Cursos

Sigla Nº de Estudantes Plano de Estudos Anos Curriculares Créditos UCN Créditos ECTS Horas de Contacto Horas Totais
L:B 3 Plano de Estudos Oficial 3 - 6 56 162
L:CC 94 Plano de estudos a partir de 2014 1 - 6 56 162
L:F 10 Plano de Estudos Oficial 2 - 6 56 162
3
L:G 0 Plano estudos a partir do ano letivo 2017/18 2 - 6 56 162
3
L:M 2 Plano de Estudos Oficial 2 - 6 56 162
3
L:Q 1 Plano estudos a partir do ano letivo 2016/17 3 - 6 56 162
MI:ERS 148 Plano Oficial desde ano letivo 2014 1 - 6 56 162

Docência - Responsabilidades

Docente Responsabilidade
Rogério Ventura Lages dos Santos Reis Regente

Docência - Horas

Teórica: 2,00
Práticas Laboratoriais: 2,00
Tipo Docente Turmas Horas
Teórica Totais 2 4,00
Rogério Ventura Lages dos Santos Reis 4,00
Práticas Laboratoriais Totais 9 18,00
Rogério Ventura Lages dos Santos Reis 2,00
Nelma Resende Araújo Moreira 4,00
Luís Filipe Coelho Antunes 4,00
Eva Catarina Gomes Maia 4,00
Bruno Serra Loff Barreto 4,00

Língua de trabalho

Português

Objetivos

Ensinar conceitos e resultados fundamentais sobre três modelos de computação básicos (autómatos finitos, autómatos de pilha e máquinas de Turing) e sobre as classes de linguagens formais associadas, com foco nas linguagens regulares e independentes de contexto.

Resultados de aprendizagem e competências

Capacidade de especificar linguagens formais simples usando formas de descrição alternativas e de determinar a sua classificação na hierarquia de poder computacional.

Modo de trabalho

Presencial

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. Autómatos de pilha. Propriedades das linguagens independentes de contexto (LIC). Lema da repetição para LICs. Máquinas de Turing e noção de computabilidade.

Bibliografia Obrigatória

Ana Paula Tomás; Introdução às Linguagens Formais e Modelos de Computação, DCC-FCUP, 2014 ((Versão revista de Apontamentos de Modelos de Computação;Ana Paula Tomás, DCC-FCUP, 1999))
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman; Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2006. ISBN: 0-321-47617-4
Dexter C. Kozen; Automata and Computability, Sringer, 1997. ISBN: ISBN 0-387-94907-0
Mark V. Lawson; Finite Automata, Chapman & Hall/CRC, 2004. ISBN: 1-58488-255-7

Métodos de ensino e atividades de aprendizagem

Aulas teóricas de exposição dos conteúdos programáticos.
Aulas práticas de resolução de exercícios propostos semanalmente.

Tipo de avaliação

Avaliação distribuída com exame final

Componentes de Avaliação

Designação Peso (%)
Exame 50,00
Teste 50,00
Total: 100,00

Obtenção de frequência

Presença a pelo menos 3/4 das aulas práticas

Fórmula de cálculo da classificação final

Classificação final corresponde à classificação obtida
- como média aritmética dos dois testes, o primeiro a realizar durante o semestre e o segundo na data do exame da época normal (cada um com nota mínima de 6 valores). Os dois testes incidem respectivamente sobre a matéria lecdionada durante a primeira e a segunda parte do semestre.
- o exame da época de recurso não contabiliza a nota obtida no primeiro teste e aborda toda a matéria leccionada durante o semestre.

Melhoria de classificação

Por exame final.

Recomendar Página Voltar ao Topo
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2022-09-25 às 08:42:30 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias