linguagens formais e tradutores linguagens regulares (revisão) prof. andré luis meneses silva...

15
Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva [email protected] www.campusitabaiana.ufs.br/sistemas

Upload: internet

Post on 17-Apr-2015

112 views

Category:

Documents


3 download

TRANSCRIPT

Page 1: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br

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

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

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

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

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

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

Autômatos Finitos Determinísticos

Page 8: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br

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

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

Diagrama de Estados (UML)

Page 11: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br

AplicaçõesCompiladores

Page 12: Linguagens Formais e Tradutores Linguagens Regulares (Revisão) Prof. André Luis Meneses Silva alms@ufs.br

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

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

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

Referências

Sipser, Michael. Introdução a Teoria da Computação.