Linguagens Formais e Autômatos

Transcrição

1 Linguagens Formais e Autômatos SLIDE 1 Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: facebook:

2 Apresentação Professor Júlio Cesar da Silva Mestre em Administração (Mestrado Acadêmico) MBA em Gestão da Tecnologia da Informação Professor dos cursos tecnólogos e ciência da computação Faculdade Pitágoras Professor da Pós Graduação do SENAC MG Certificado ITIL V3, Cobit 4.1 e Scrum Master Consultor e Diretor de Tecnologias e Negócios da Tecnocracia Soluções em T.I.

3 Disciplina Objetivos da Disciplina: Capacitar o aluno na análise e síntese de linguagens estruturadas em frases, através do uso dos vários tipos de notação estudadas na disciplina; Habilitar o aluno na identificação da classe a que uma linguagem pertence, assim como das suas principais propriedades decorrentes; Desenvolver o raciocínio lógico e abstrato do aluno; Preparar o aluno para a formalização e o estudo da sintaxe de linguagens de programação e de autômatos, bem como dos seus principais modelos de implementação. Ementa: Conjuntos, lógica, Linguagens e gramáticas, Linguagens regulares, Autômatos finitos.

4 Bibliografia

5 Avaliações Parcial1 (Trabalho) : Valor 10 pts - Oficial1 (Prova) : Valor 10 pts - Conteúdo: 1º Bimestre Parcial2 (Trabalho): Valor 10 pts - Oficial2 (Prova): Valor 10 pts - Conteúdo: 1º e 2º Bimestre 2ª Chamada (Prova): Valor 10 pontos - Conteúdo: 1º e 2º Bimestre Exame Final (Prova): Valor 10 pontos - Conteúdo: 1º e 2º Bimestre 1ª Bimestral = [(Parcial1 x 0,3)+(Oficial1 x 0,7)] - 2ª Bimestral = [(Parcial2 x 0,3)+(Oficial2 x 0,7)] NOTA FINAL = (1ª Bimestral + 2ª Bimestral)/2 NOTA FINAL > 6 > Aprovado ou Notal FINAL < 4 > Reprovado 4 <= NOTA FINAL < 6 > Exame Final (Prova) Media = [(Media do 1ª e 2ª Bimestre) + (Exame Final)]/2 Media > 6 -> Aprovado

6 Datas ETAPA 1 Avaliação Oficial I: 30/09 ETAPA 2 Avaliação Oficial II: 02/12 (Conteúdo Etapa I e II) 2ª chamada: 09/02 (Conteúdo Etapa I e II) Exame Especial: 116/02 (Conteúdo Etapa I e II)

7 Regras de envio do Trabalho por Enviar para: Enviar com o titulo: LingFormAuto NomeDoTrabalho Enviar até as 23:59 do ultimo dia. Trabalhos enviados após a data de recebimento perdem 50% do seu valor e não podem ser enviados após a prova da etapa correspondente (Oficial 1 ou Oficial2). Trabalhos que caracterizem copia (85% de semelhança com outro trabalho) terá a sua nota divida pelo numero de copias. Por exemplo, 3 trabalhos iguais, cada um recebe a nota de 10/3 = 3,4. Todos os trabalhos devem trazer a seguinte configuração: capa (nome da faculdade, nome do trabalho, nome do aluno, nome do professor e data), trabalho em fonte 10, bibliografia (livros e sites consultados) e formato em PDF. O nome do arquivo enviado deve ser LingFormAuto-NomeDoTrabalho.pdf Trabalhos enviados fora das regras perdem 50% dos pontos.

8 Normas em Sala de Aula É permitido o uso do celular/tablet/ notebook/google Glass e similares apenas para receber/fazer chamadas (fora da sala de aula) e anotações escritas (individuais ou em trabalhos em grupo). É proibido filmar a aula e tirar fotos da aula e de atividades e provas. É proibido dividir o celular/tablet com outros alunos com intenção de diversão como por exemplo ver vídeos, jogos e whatssap. É permitido se retirar da sala para conversar, ouvir jogo, lanchar, atender telefone, fazer chamadas, ver vídeos e ir para casa!!!!!

9 Linguagem? Autómatos? OMG?

10 Linguagens Formais Explora alguns modelos teóricos de computação, que estão diretamente relacionados aos computadores que usamos atualmente, abordando os seguintes tópicos: Teoria de autômatos Gramáticas Algoritmos Linguagens Formais

11 Linguagens Formais A teoria das linguagens formais nasceu na década de 1950 com o objetivo de tratar linguagens naturais. Logo foi verificada a sua importância para o estudo de linguagens artificiais e, em particular, para as linguagens computacionais, com ênfase em análise léxica e sintática. Mais modernamente, destacam-se aplicações em hipertextos, hipermídias e linguagens não lineares.

12 Gramáticas Consiste de um conjunto de regras que determina o que é e o que não é sintaticamente correto. Exemplo em português: Eu livros leio Viola a gramática portuguesa. Em um programa em Java public class Wrong { x int } Viola a especificação da linguagem Java

13 Teoria dos Autómatos Estuda máquinas abstratas para computação. Vários modelos são estudados, cada um com diferentes habilidades e limitações. OBJETIVO: Descrever precisamente o poder computacional de cada máquina.

14 Teoria dos Autómatos

15 Teoria dos Autómatos

16 Autómatos & Gramáticas OBJETIVO: Podemos automatizar o processo de encontrar erros sintáticos, transformando uma especificação na forma de uma gramática em um programa de Computador? Em caso afirmativo, qual dos modelos de computação estudados na Teoria de Autômatos é adequado para tal situação?

17 Reunindo tudo Teoria de autômatos: Computadores são definidos de modo a agir puramente sobre strings e portanto, definir determinadas linguagens. Gramáticas: Gramáticas especificam linguagens, por meio de regras que derivam um subconjunto de todos os strings de um alfabeto Linguagens: Conjunto de strings definidos sob um alfabeto.

18 Teoria x Prática?

19 Teoria x Prática? Porque esse curso? Toda área científica requer fundamentação teórica sólida Modelos teóricos refletem a essência de situações reais ou práticas Mas qual a utilidade na prática? Reconhecimento de padrão, detecção de intrusão, engenharia de software (UML), programação GUI (event-listeners), segurança em redes (protocolos), verificação formal (descoberta de erros em chips), processamento de linguagem natural, computação genômica (sequenciamento de DNA), implementação de compiladores, definição de documentos, etc.

20 Questionário Responder e enviar por conforme as regras. Titulo: QuestionarioAula1 1. Na sua opinião qual o objetivo desta disciplina? 2. O que a aplicação de uma gramática para a computação? 3. Qual seria a relação entre uma gramática computacional e os autômatos?