Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva...
Transcript of Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva...
![Page 1: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/1.jpg)
Linguagens Formais e Tradutores
Linguagens Regulares(Revisão)
Prof. André Luis Meneses [email protected]
www.campusitabaiana.ufs.br/sistemas
![Page 2: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/2.jpg)
Agenda
Introdução. Linguagens Regulares. Autômatos Finitos Determinístico e não
determinístico.
![Page 3: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/3.jpg)
Introdução
Linguagens Uma Linguagem Formal é um conjunto de palavras
sobre um alfabeto.
Dentro desse conjunto podemos ter várias linguagens.
Hoje revisaremos as linguagens mais simples, que são as regulares.
![Page 4: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/4.jpg)
Linguagens Regulares
O que é uma linguagem regular?
![Page 5: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/5.jpg)
Linguagens Regulares
O que é uma linguagem regular?
Conjunto de linguagens reconhecidos/gerados pelos seguintes formalismos:
Autômato Finitos.
Expressões Regulares.
Gramática Regular.
![Page 6: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/6.jpg)
Linguagens Regulares
O que é uma linguagem regular?
Conjunto de linguagens reconhecidos/gerados pelos seguintes formalismos:
Autômato Finitos.
Expressões Regulares.
Gramática Regular.
AHHH, QUE SACO!!!
![Page 7: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/7.jpg)
Autômatos Finitos Determinísticos
![Page 8: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/8.jpg)
Autômatos Finitos Não-Determinísticos
![Page 9: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/9.jpg)
AutômatosAplicações
Um exemplo clássico e de simples entendimento é um elevador. Trata-se de um sistema que não memoriza as requisições anteriores.
![Page 10: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/10.jpg)
Diagrama de Estados (UML)
![Page 11: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/11.jpg)
AplicaçõesCompiladores
![Page 12: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/12.jpg)
Qual a principal característica dos autômatos?
Memória Limitada. Trabalha apenas
sobre o estado atual.
Memória limitada pela quantidade de estados.
![Page 13: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/13.jpg)
Aquecimento
Fazer um programa java que interpetre: Um arquivo de entrada
Utilizar FileReader e BufferedReader Identifique os seguintes elementos:
Palavras reservadas: if, for. Símbolos: {, }, =, (, ), ; Strings Identificadores(só possui letras).
Caso compareça algum elemento que não esteja nessa lista
![Page 14: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/14.jpg)
Próxima Aula
Linguagens Livres de Contexto. Definição da Linguagem.
![Page 15: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br .](https://reader036.fdocument.pub/reader036/viewer/2022062418/552fc110497959413d8c5c1e/html5/thumbnails/15.jpg)
Referências
Sipser, Michael. Introdução a Teoria da Computação.