Linguagens Formais e Autômatos. Apresentação do Plano de Ensino

Transcrição

1 Linguagens Formais e Autômatos Apresentação do Plano de Ensino

2 Linguagens Formais e Autômatos LFA Código - CMP4145 Turma C01 Engenharia da Computação e Ciência da Computação Horário: Segunda e Quinta: 20:30 22:00 Sábado: 9:00 10:30

3 Comunicação Utilizaremos Enviar msn: Whatsapp

4 Plano de Ensino Ementa Objetivos Gerais Objetivos Específicos Conteúdo Programático Metodologia Avaliação Atividade Externa à Disciplina Bibliografia Básica Bibliografia Complementar Cronograma Disponível no SOL

5 Ementa Alfabetos, palavras, linguagens e gramáticas. Linguagens regulares e autômatos finitos. Linguagens livres de contexto e autômatos com pilhas. Linguagens sensíveis ao contexto. Linguagens com sentido de frase. Máquinas de Turing como reconhecedores de linguagens.

6 Objetivos Gerais Dominar os conceitos de linguagens formais Dominar os conceitos de máquinas de estados e autômatos finitos Dominar os conceitos de gramáticas

7 Objetivos Específicos Construir Autômatos Finitos Entender e Elaborar Gramáticas Reconhecer Linguagens.

8 Conteúdo Programático Introdução e Conceitos Básicos Conjuntos e relações; Provas formais; Alfabetos, cadeia de caracteres, linguagens e gramáticas.

9 Conteúdo Programático Linguagens Regulares Autômato Finito Determinístico; Autômato Finito Não Determinístico; Conversão de autômatos Expressão regular Gramática regular Propriedades das linguagens regulares Conversão expressão regular autômato finito determinístico

10 Conteúdo Programático Linguagem Livre de Contexto Gramática livre de contexto Árvore de derivação Simplificação da gramática Autômato de Pilha Linguagens Recursivamente Enumeráveis e Sensíveis ao Contexto Máquina de Turing

11 Metodologia Aulas expositivas; Formação de grupos para definição, discussão e solução de problemas; Estudo dirigido- resolução de exercícios em classe. Metodologias Ativas

12 Avaliação NF = 0.4 * N * N2 N1 ( ) ((P1 + P2)/2) + Ponto de Participação N2 ( ) ((P3 + P4)/2 + AI) Cada prova terá o valor máximo de 9 pontos

13 Avaliação Interdisciplinar AI Valor: 0 a 1.0 Somada na N2 de todas as disciplinas Calendário: 10 de Maio

14 Freqüência Falta Reprova Mínimo: 75% 120 presenças; 30 faltas Cada aula conta 2 presenças Cada AED conta 4 presenças

15 Atividade Externa à Disciplina AED 1: Elaborar as regras léxicas de uma linguagem. Entrega: 07/04 AED 2: Elaborar as regras sintáticas de uma linguagem Entrega: 16/06 AED 3: Jornada da Cidadania Entrega: 28/05 Só serão aceitas atividades entregues na data correta.

16 Bibliografia Básica

17 Bibliografia Complementar

18 Bibliografia Complementar

19 Material de Apoio

20 Cronograma Aulas 01, 02, 03 serão repostas da seguinte forma. Aula 01 no dia 17/02 Aula 02 - Conjuntos, relações e funções. (24/02) Aula 03 - Provas Formais. (03/03) Será dada +45 minutos nos dias das provas 1,2 e 3.

21 Cronograma Aulas 1-3: Revisão de conteúdo Aulas 4-12: Introdução e Conceitos Básicos Linguagens Regulares Prova 1 (10/03) Aulas 15 22: Operações com Linguagens Regulares Prova 2 (07/04)

22 Cronograma Aulas 25 36: Gramáticas Regular e Livre de Contexto Prova 3 (05/05) Aulas Formas Normais Autômatos de Pilha Maquina de Turing Prova 4 (18/06)

23 Cronograma 21/06 entrega das notas Prova Substitutiva (25/06) Substitui a menor nota. Somente para alunos que não reprovaram por falta.

24 Porque estudar LFA? Apresenta uma fundamentação matemática da computação (fornece provas). É pré-requisito essencial para a disciplina de compiladores

25 Porque estudar LFA? Dá suporte à verificação da computabilidade de problemas (problemas reais tem solução computacional).

26 Porque estudar LFA? Para entender a complexidade de um problema. Um problema pode ser fácil ou difícil de se resolver. A complexidade de algoritmos pode fazer esta classificação baseando-se na dificuldade computacional do problema.

27 Porque estudar LFA? Para entender a teoria computacional. Alguns problemas básicos não podem ser resolvidos. Ela classifica os problemas em solúveis e não solúveis

28