Modelagem e CLP Linguagens e Expressões Regulares

Documentos relacionados
Modelagem e CLP Autômatos

INE5317 Linguagens Formais e Compiladores. AULA 4: Gramáticas

C : R I IN 0. tal que. C(α) = 0 sempre que α I {, ɛ} C(α + β) = C(α) + C(β) + 1. C(αβ) = C(α) + C(β) + 1. C(α ) = C(α) + 1.

Linguagens Formais. Aula 01 - Conceitos Básicos. Prof. Othon Batista Mestre em Informática

Linguagens e Autômatos

Capítulo II Gramáticas

Teoria da Computação Aula 02 Introdução

LINGUAGENS FORMAIS E AUTÔMATOS

Capítulo II Gramáticas

Exercicios. 7.2 Quais das seguintes afirmações são verdadeiras? Justifica. (d) abcd L((a(cd) b) )

Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.

Linguagens Formais e Autômatos P. Blauth Menezes

Prof. Dr. Marcos Castilho. Departamento de Informática/UFPR. 27 de Fevereiro de 2018

Linguagens Formais e Problemas de Decisão

Linguagens Formais e Autômatos 02/2015. LFA Aula 02. introdução 28/09/2015. Celso Olivete Júnior.

LINGUAGENS FORMAIS E AUTÔMATOS. Prova 2-10/06/ Prof. Marcus Ramos

Linguagens Formais e Autômatos (LFA)

IV Gramáticas Livres de Contexto

Modelagem e Controladores Lógicos Programáveis Sistemas a Eventos Discretos

Modelagem e CLP Redes de Petri

Aula 25 - Espaços Vetoriais

Linguagens Formais - Preliminares

Linguagem (formal) de alfabeto Σ

Universidade Federal de Alfenas

Introdução Definição Conceitos Básicos de Linguagem

Prof. Adriano Maranhão COMPILADORES

Revisões de Conjuntos

Exercícios Associados à Aula 02 (14/08/2013)

Definições Hierarquia de Chomsky Exemplos de gramáticas. Gramáticas. Objetivo de ensinar o inglês pelo computador e conseguir um tradutor de línguas

Fundamentos da Teoria da Computação

LLC's: Lema do Bombeamento e Propriedades de Fechamento

Capítulo 9: Linguagens sensíveis ao contexto e autômatos linearmente limitados.

Lista de exercícios 1

AFNs, Operações Regulares e Expressões Regulares

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Apontamentos de Modelos de Computação. Ana Paula Tomás

Alfabeto, Cadeias, Operações e Linguagens

Conceitos básicos de Teoria da Computação

Linguagens Formais e Autômatos P. Blauth Menezes

Teoria das Linguagens. Linguagens Formais e Autómatos (Linguagens)

Fundamentos da Teoria da Computação

Aula de 28/10/2013. sticas; Implementação. em Ruby

Propriedades de Linguagens Livres de Contexto. Propriedades de Linguagens Livres de Contexto. Propriedades de Linguagens Livres de Contexto

O que é Linguagem Regular. Um teorema sobre linguagens regulares. Uma aplicação do Lema do Bombeamento. Exemplo de uso do lema do bombeamento

Linguagens Livres de Contexto

Histórico e motivação

Linguagens Formais e Autômatos. Conceitos Básicos Prof. Anderson Belgamo

1 INTRODUÇÃO E CONCEITOS BÁSICOS

Capítulo 8: O problema da parada. Decidibilidade e computabilidade. José Lucas Rangel Introdução.

BCC244. Alfabeto, String, Linguagem, Gramática. Registro aqui o agradecimento à Profa. Lucília por ceder slides que fazem parte deste materal.

Teoria da Computação

Draft-v0.1. Máquinas de Turing Máquinas de Turing


LFA Aula 07. Equivalência entre AFD e AFND. Equivalência entre ER s e AF s Equivalência entre GR s e AF s. Linguagens Formais e Autômatos

Linguagens Formais e Autômatos

Linguagens Formais e Autômatos

Processamento de Linguagens e Compiladores

LINGUAGENS FORMAIS Definições. Desenvolveram-se na História em função da necessidade dos grupos humanos que as empregavam

Expressões Regulares. Linguagens Formais e Autômatos. Andrei Rimsa Álvares

Capítulo 1: Alfabetos, cadeias, linguagens

LR's: Lema do Bombeamento e Propriedades de Fechamento

Compiladores. Análise lexical. Plano da aula. Motivação para análise lexical. Vocabulário básico. Estrutura de um compilador

Capítulo 2: Procedimentos e algoritmos

Matemática Discreta para Ciência da Computação

Exercícios de topologia geral, espaços métricos e espaços vetoriais

Linguagens livres de contexto e autômatos de pilha

Gramáticas e Linguagens independentes de contexto

Editor de Autômatos Finitos. Acadêmica: Josiane Patrícia Morastoni Orientadora: Joyce Martins

Linguagens Formais e Autômatos (LFA)

Máquinas de Turing - Computabilidade

Apostila 01 Fundamentação da Teoria da Computação e Linguagens Formais

Gramáticas ( [HMU00], Cap. 5.1)

Então (τ x, ) é um conjunto dirigido e se tomarmos x U U, para cada U vizinhança de x, então (x U ) U I é uma rede em X.

Modelos de Computação

Lista de Exercícios CT-200 Primeiro Bimestre Carlos Henrique Quartucci Forster Estagiário: Wesley Telles. Revisão de Teoria de Conjuntos

1. Num grupo G, sejam a e b dois elementos diferentes da identidade e tais que a 3 = b 2 = e e ba = a 2 b.

INE5317 Linguagens Formais e Compiladores AULA 9: Propriedades e Reconhecimento das Linguagens Livres do Contexto

IBM1088 Linguagens Formais e Teoria da

Propriedades das Linguagens Livres do Contexto

A.Tomás, N.Moreira Modelos de Computação DCC-FCUP

Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Prof. Jefferson Morais

Prova 1 de INF1626 Linguagens Formais e Autômatos

Exercícios sobre Espaços Vetoriais II

Expressões Regulares e Gramáticas Regulares

Instituto Superior Técnico Teoria da Computação - LEIC, LERC 2012/2013 Aula prática 6. 1 Palavras e linguagem gerada por gramática

Compiladores Aula 4. Celso Olivete Júnior.

LINGUAGENS FORMAIS Modelos Determinísticos e Não Determinísticos. Usam-se modelos matemáticos para representar eventos (fenômenos) do mundo real.

Modelos de Computação Folha de trabalho n. 10

Compiladores. Simão Melo de Sousa. Computer Science Department University of Beira Interior, Portugal. S. Melo de Sousa Compiladores

Compiladores. Parser LL 10/13/2008

Apostila 02. Objetivos: Estudar os autômatos finitos Estudar as expressões regulares Estudar as gramáticas regulares Estudar as linguagens regulares

COMPILADORES. Revisão Linguagens formais Parte 01. Geovane Griesang

Linguagens Não-Regulares

Como construir um compilador utilizando ferramentas Java

Distribuições de Probabilidades

Análise Léxica. Fundamentos Teóricos. Autômatos Finitos e Conjuntos Regulares (cap. III da apostila de Linguagens Formais e Compiladores)

Linguagens Formais e Autômatos (LFA)

Conceitos Básicos. Vocabulário Cadeias Linguagens Problema

Notas sobre Definições Recursivas

Transcrição:

Modelagem e CLP Linguagens e Expressões Regulares Rafael Garlet de Oliveira Instituto Federal Catarinense - IFC Câmpus Luzerna 5 de março de 2014 Rafael Garlet de Oliveira 1 / 19

Sumário 1 Linguagens Alfabetos Cadeias Linguagens Operações Sobre Linguagens 2 Expressões Regulares Definição Exemplos Propriedades Linguagem Regular 3 Exercícios Rafael Garlet de Oliveira 2 / 19

Alfabetos Rafael Garlet de Oliveira 3 / 19

Cadeias Rafael Garlet de Oliveira 4 / 19

Potências de um Alfabeto Rafael Garlet de Oliveira 5 / 19

Fechamento Kleene Rafael Garlet de Oliveira 6 / 19

Linguagens Rafael Garlet de Oliveira 7 / 19

Operações Sobre Linguagens Sejam as linguagens A, B e L Σ* Concatenação: AB := {s Σ /s = uv, u A, v B} Uma cadeia em AB é a concatenação de uma cadeia de A com uma cadeia de B. Prefixo-Fechamento: L := {s/ t Σ, st L}, em geral L L. L é composto de todas as cadeias de Σ prefixos de L. L é prefixo-fechada se qualquer prefixo de L é cadeia de L. Fechamento-Kleene: L := ε L LL LLL... Uma cadeia de L é formada pela concatenação de um número de cadeias de L, incluindo ε. Operações usuais sobre conjuntos. Rafael Garlet de Oliveira 8 / 19

Representação de SEDs por Linguagens Uma linguagem pode especificar todas as sequências de eventos em um SED. O comportamento sequencial de um SED pode ser descrito através de um par de linguagens: L e L m. L: comportamento gerado do sistema: todas as cadeias de eventos fisicamente possíveis; L m : comportamento marcado do sistema: conjunto de cadeias que correspondem a tarefas completas; L m L: o comportamento gerado contém o comportamento marcado; L = L: o comportamento gerado é prefixo-fechado. Rafael Garlet de Oliveira 9 / 19

Exercícios Considere o alfabeto Σ = {α, β, γ} e as linguagens L 1 = {ε, α, αββ} e L 2 = {γ} definidas sobre Σ. L 1 e L 2 são prefixo fechadas? L 1 L 2 = L 1 = L 2 = L 1 L 2 = L 2 = Rafael Garlet de Oliveira 10 / 19

Sumário 1 Linguagens Alfabetos Cadeias Linguagens Operações Sobre Linguagens 2 Expressões Regulares Definição Exemplos Propriedades Linguagem Regular 3 Exercícios Rafael Garlet de Oliveira 11 / 19

Convenção Utilizada Se u e v são cadeias de eventos: u = {u} (u + v) = {u, v} = {u} {v} u = {ε, u, uu, uuu,...} uv = {uv} Rafael Garlet de Oliveira 12 / 19

Definição Recursiva Uma expressão regular para um dado alfabeto Σ pode ser definida da seguinte maneira: 1 São expressões regulares: φ: conjunto vazio; ε : linguagem{ε}; σ : linguagem{σ}, σ Σ. 2 Se r e s são expressões regulares, então rs, r, s, (r + s) são expressões regulares; 3 Toda expressão regular é obtida pela aplicação das regras 1 e 2 um número finito de vezes. Rafael Garlet de Oliveira 13 / 19

Exemplos Seja o alfabeto Σ = {α, β, γ}, são exemplos de expressões regulares: (α + β)γ = {α, β, αγ, βγ, αγγ, βγγ, αγγγ, βγγγ,...} (αβ) + γ = {ε, γ, αβ, αβαβ, αβαβαβ,...} Rafael Garlet de Oliveira 14 / 19

Exemplo Seja o alfabeto Σ = {α, β}, onde: α : acesso de uma tarefa ao recurso 1; β : acesso de outra tarefa ao recurso 1. A = (αβ) ; B = (α + β) ; C = (αβ) + (βα) ; Encontre uma expressão regular que indique que a diferença entre o número de acessos de cada tarefa ao recurso 1 não seja superior a 1. Rafael Garlet de Oliveira 15 / 19

Propriedades Sejam R, S e T expressões regulares: R + φ = R Rε = R = εr Rφ = φ = φr R + S = S + R R + R = R R + (S + T ) = (R + S) + T R(ST ) = (RS)T R(S + T ) = RS + RT ε = ε φ = ε (R + S) = (R + S ) (R + S) = (R S ) (R ) = R (R) (R ) = R Rafael Garlet de Oliveira 16 / 19

Linguagem Regular Expressões regulares fornecem um meio para descrever linguagens: Definição: Linguagem Regular É qualquer linguagem que possa ser descrita por uma expressão regular. Rafael Garlet de Oliveira 17 / 19

Sumário 1 Linguagens Alfabetos Cadeias Linguagens Operações Sobre Linguagens 2 Expressões Regulares Definição Exemplos Propriedades Linguagem Regular 3 Exercícios Rafael Garlet de Oliveira 18 / 19

Rafael Garlet de Oliveira rafael.oliveira@luzerna.ifc.edu.br Sala de Professores 1 Rafael Garlet de Oliveira 19 / 19