![Page 1: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/1.jpg)
Linguagens Formais e Autômatos
Apresentação do Plano de Ensino
![Page 2: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/2.jpg)
Linguagens Formais e Autômatos
� LFA� Código - CMP4145� Turma – A01� Engenharia da’Computação e Ciência da
Computação� Horário:
� Segunda, Terça e Quinta. � 9:00 – 10:30
![Page 3: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/3.jpg)
Comunicação
� Utilizaremos e-mail� Enviar e-mail:
� [email protected]� Assunto: aluno LFA
� Todo e-mail enviado será respondido, a não obtenção de resposta significa o não recebimento do e-mail.
![Page 4: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/4.jpg)
Plano de Ensino
� Ementa� Objetivos Gerais� Objetivos Específicos� Conteúdo Programático� Metodologia� Avaliação
![Page 5: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/5.jpg)
Plano de Ensino
� Atividade Externa à Disciplina� Bibliografia Básica� Bibliografia Complementar� Cronograma
� Disponível no SOL
![Page 6: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/6.jpg)
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.
![Page 7: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/7.jpg)
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
![Page 8: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/8.jpg)
Objetivos Específicos
� Construir autômatos finitos� Entender e elaborar gramáticas� Reconhecer linguagens.
![Page 9: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/9.jpg)
Conteúdo Programático
� Introdução e Conceitos Básicos� Conjuntos e relações;� Provas formais;� Alfabetos, cadeia de caracteres, linguagens e
gramáticas.
![Page 10: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/10.jpg)
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
![Page 11: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/11.jpg)
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
![Page 12: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/12.jpg)
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.
![Page 13: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/13.jpg)
Avaliação
� NF = 0.4 * N1 + 0.6 * N2� N1 (0.0 – 10.0)
� (P1 + P2)/2
� PN2 (0.0 – 9.0)� (P3 + P4)/2
� N2 = PN2 + AI
![Page 14: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/14.jpg)
Avaliação InterdisciplinarAI
� Valor: 0 a 1.0� Somada na N2 de todas as disciplinas� Calendário: 14 de Maio
![Page 15: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/15.jpg)
Freqüência
� Falta Reprova� Mínimo: 75%� 120 presenças; 30 faltas� Cada aula conta 2 presenças� Cada AED conta 6 presenças
![Page 16: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/16.jpg)
Atividade Externa à Disciplina
� AED 1: � Implementar um autômato finito� Entrega: 07/04
� AED 2:� Implementar um autômato de pilha� Entrega: 16/06
� Só serão aceitas atividades entregues na data correta.
� Cada AED, se devidamente correta, valerá até 1.0 na N1 e N2 respectivamente.
![Page 17: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/17.jpg)
Bibliografia Básica
![Page 18: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/18.jpg)
Bibliografia Complementar
![Page 19: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/19.jpg)
Bibliografia Complementar
![Page 20: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/20.jpg)
Material de Apoio
![Page 21: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/21.jpg)
Cronograma
� Aulas 1- 11: � Introdução e Conceitos Básicos� Autômatos Finitos
� Prova 1 (09/03)� Aulas 14 – 23:
� Operações com Linguagens Regulares
� Prova 2 (07/04)
![Page 22: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/22.jpg)
Cronograma
� Aulas 26 – 36:� Gramáticas – Linguagem Livre de Contexto
� Prova 3 (12/05)� Aulas 39 – 50
� Autômatos de Pilha� Maquina de Turing
� Prova 4 (16/06)
![Page 23: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/23.jpg)
Breve Histórico
� Em 1936, Alan Turing (matemático) propôs a possibilidade de se construir um computador digital através da formalização de um procedimento em tempo finito.
![Page 24: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/24.jpg)
Breve Histórico
� Turing estabeleceu um modelo formal de algoritmo.
� Ele reduziu os vários sistemas formais a um sistema básico, tornando possível o computador digital.
![Page 25: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/25.jpg)
Breve Histórico
� Sistema Formal� Um “jogo” rigorosamente definido. � Especificar:
� Regras para manipulação dos símbolos.� A natureza dos símbolos.� A situação inicial � Lista de movimentos permitidos a uma dada
posição.
![Page 26: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/26.jpg)
Breve Histórico
� Alan Turing criou uma máquina que executava operações sobre a teoria dos números por meio de regras de um sistema formal embutidas na mesma.
![Page 27: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/27.jpg)
Breve Histórico
� Isso gerou uma nova perspectiva para formalizar a matemática.
� Turing descobriu que os números são mais importantes como símbolos.
![Page 28: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/28.jpg)
Breve Histórico
� Tese de Church
“qualquer procedimento pode ser descrito por uma máquina de Turing”
![Page 29: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/29.jpg)
Breve Histórico
� A teoria das linguagens formais surgiu nas décadas de 1940 e 1950.
� Seu objetivo inicial era modelar a função do cérebro, desenvolvendo teorias relacionadas com as linguagens naturais.
![Page 30: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/30.jpg)
Breve Histórico
� Em 1969, S. Cookestendeu o estudo de Turing do que podia e do que não podia ser calculado.
� Classe de Problemas� P, NP, NP-hard
![Page 31: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/31.jpg)
Porque estudar LFA?
� Apresenta uma fundamentação matemática da computação (fornece provas).
� É pré-requisito essencial para a disciplina de compiladores
![Page 32: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/32.jpg)
Porque estudar LFA?
� Dá suporte à verificação da computabilidadede problemas (problemas reais tem solução computacional).
![Page 33: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/33.jpg)
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.
![Page 34: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/34.jpg)
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
![Page 35: Linguagens Formais e Autômatos - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Comunicação Utilizaremos e-mail Enviar e-mail: ceciliaucg@gmail.com](https://reader031.vdocuments.pub/reader031/viewer/2022022101/5bb1286209d3f246678d159e/html5/thumbnails/35.jpg)