Linguagens Formais - aula 02

Slides:



Advertisements
Apresentações semelhantes
TEORIA DA COMPUTAÇÃO Parte I  Introdução  Linguagens Regulares
Advertisements

FAPE - Curso de Ciência da Computação
FAPE - Curso de Ciência da Computação
Matemática Computacional
Tópicos em Compiladores
Compiladores Claudio Benossi
Linguagem Fabrício Dias
Unidade 7 SEQUÊNCIAS E REGULARIDADES
I - Noções dum compilador
I - Noções dum compilador
Compiladores I Cristiano Damiani Vasconcellos
Linguagens Formais e Autômatos
Teoria da Computação FIC– Ciência da Computação
Análise Léxica (Parte 2)
TEORIA DOS AUTÓMATOS FINITOS E DAS SUAS LINGUAGENS
Análise Sintática - Continuação
Então, vamos lá! Qual é esse conteúdo?
Linguagens Livres de Contexto
Lema da Bomba (Pumping Lemma) para linguagens livre de contexto
Linguagens e Máquinas WILSON ROSA DE OLIVEIRA DEPARTAMENTO DE INFORMÁTICA UFPE
autômatos finitos com transições e
Identificando Linguagens Não Regulares
Aplicações de Pilhas Pilhas são fundamentais em diversas áreas da computação: Sistemas Operacionais Arquitetura de Computadores Compiladores Entre outros.
Construção de Compiladores
Alfabetos, Palavras e Linguagens
Prof. Luiz A M Palazzo Pelotas, fevereiro de 2011
Exercícios Linguagens Formais.
Prof. Msc. Raul Paradeda Aula 3 Fundamentos
Folha de Cálculo Como Dar Nome a Uma ou mais Células?
Informática Teórica Engenharia da Computação
Informática Teórica Engenharia da Computação
Informática Teórica Engenharia da Computação
Informática Teórica Engenharia da Computação
Informática Teórica Engenharia da Computação
Informática Teórica Engenharia da Computação
Compiladores, Aula Nº 5 João M. P. Cardoso
Compiladores, Aula Nº 9 João M. P. Cardoso
Computabilidade e Linguagens Formais
Expressões fracionárias
Gramáticas Livres de Contexto
Informática Teórica Engenharia da Computação
Ling. Formais e Autômatos AFN-ε
Teoria da Computação Aula 1 Prof. Fabiano Sabha.
Expressões Regulares e Gramáticas
Capítulo II Gramáticas e Linguagens
Analise sintática aula-07-analise-sintática.pdf.
Universidade Federal de Campina Grande – UFCG Centro de Engenharia Elétrica e Informática – CEEI Departamento de Sistemas e Computação – DSC Teoria da.
Linguagem XML Criando um documento XML válido
Linguagens Formais e Compiladores
Linguagens Formais e Autômatos
LFA: Unidade 03 – Parte B Engenharia/Ciência da Computação
Exercícios de Pilha e Fila
Estado Final Único para NFAs e DFAs
Prof. André Luis Roland Tancredo Engenheiro da Computação e Pesquisador em Desenvolvimento Tecnológico para Semicondutores pelo CNPq Especialista em Microeletrônica.
Fundamentos de linguagens de programação
Linguagem C.
Computabilidade e Linguagens Formais
Computabilidade e Linguagens Formais
Engenharia/Ciência da Computação
tópicostópicos itens 01. Terminologia 02. Operações básicas 03. Representação de linguagens 04. Formalização de gramáticas 05. Processo de derivação 06.
Aula 6 1 Análise Lexical Compiladores, Aula Nº 6 João M. P. Cardoso.
Compiladores Análise Léxica
Operações com conjuntos Informações importantes. Igualdade de conjuntos Dois conjuntos A e B são considerados iguais quando tem a mesma quantidade de.
Faculdade Pernambuca - FAPE Compiladores Abril/2007 Compiladores Abril/2007.
Árvores e Árvores Binárias
COMPILADORES 03 Prof. Marcos.
AULA 8 Excel SOMASE Instrutor:Vinicius S. Santana.
Lógica Matemática e Elementos de Lógica Digital
Expressões Regulares Junho, Expressões Regulares Uma Expressão Regular (ER), aka REGEX, é um método formal de se especificar um padrão de texto.
SEMÂNTICA DENOTACIONAL Alexandre Mota
Transcrição da apresentação:

Linguagens Formais - aula 02 Expressões Regulares A expressão regular é a maneira mais compacta e mais simples de descrever conjuntos regulares, e é usada com essa finalidade em construção de compiladores, editores, sistemas operacionais, protocolos, etc. É um formalismo denotacional, também considerado gerador. Linguagens Formais - aula 02

Linguagens Formais - aula 02 Definição: Uma Expressão Regular (ER) sobre um alfabeto  é definida como segue:  é uma ER (linguagem vazia)  é uma ER (linguagem contendo somente a cadeia vazia ) para cada a  , a é uma ER se  e  são ER´s, então | é uma ER. ( OU  – alternância) se  e  são ER´s, então  é uma ER. (concatenação) se  é uma ER, então (*) é uma ER (exponenciação) *:  |  |  |  |..... +:  |  |  |..... ordem de precedência: exponenciação, concatenação, alternância. Linguagens Formais - aula 02

Linguagens Formais - aula 02 Expressão regular Linguagem representada aa Somente a palavra aa ba* Todas as palavras que começam com b, seguido por zero ou mais a´s (a|b)* Todas as palavras sobre {a, b} (a|b)* aa (a|b) * Todas as palavras que contém aa como subpalavra a* ba* ba* Todas as palavras contendo exatamente 2 b´s (a|b)* (aa| bb ) Todas as palavras que terminam com aa ou bb (a| ) (b | ba)* Todas as palavras que não possuem 2 a´s consecutivos Linguagens Formais - aula 02

Linguagens Formais - aula 02 Expressões regulares representam Linguagens Regulares Se  é uma expressão regular qualquer, então L() é uma linguagem representada por . L() =  e L(a) = {a} para cada a   Se  e  são expressões regulares, então L() = L()L() Se  e  são expressões regulares, então L(|) = L() | L() Se  é uma expressão regular, então L(*) = L()*   + = * Linguagens Formais - aula 02

Linguagens Formais - aula 02 Exemplos:  1. As expressões (a|b)* aa (a|b) * e (a|b)* bb (a|b) * representam as cadeias que contêm aa e bb respectivamente. Combinando as duas expressões com o operador | alternância, temos a expressão (a|b)* aa (a|b) * | (a|b)* bb (a|b) * que representa o conjunto de cadeias que contêm as subcadeias aa ou bb. Linguagens Formais - aula 02

Linguagens Formais - aula 02 Exercícios: 1. Indique se a cadeia 1011 pertence às linguagens correspondentes a cada uma das expressões regulares a) __________ (10)*1011 b) __________ 0*(10 | 11)* c) __________ 1(00)*(11)* d) __________ (1 | 00)(01 | 0)1* 2) Escreva uma expressão regular para cada uma das seguintes linguagens sobre o alfabeto {a,b}: a) O conjunto de todas as cadeias que começam e terminam com a e contém no mínimo um b b) O conjunto de todas as cadeias que terminam em ab c) O conjunto de todas as cadeias com comprimento igual a 2 Linguagens Formais - aula 02