Comprimento: oigual a... omaior (ou igual) a... omenor (ou igual) a... omúltiplo de...

Tamanho: px
Começar a partir da página:

Download "Comprimento: oigual a... omaior (ou igual) a... omenor (ou igual) a... omúltiplo de..."

Transcrição

1 Comprimento: oigual a... omaior (ou igual) a... omenor (ou igual) a... opar oímpar omúltiplo de... Símbolos e subcadeias: ocomeça com... otermina com... ocontém... ocontém exatamente tantas ocorrências... ocontém no mínimo tantas ocorrências... ocontém no máximo tantas ocorrências... ojustaposição Combinações: onegação oe oou oou exclusivo

2 Para o grupo de linguagens a seguir, elaborar: Representação como conjuntos Para cada uma das linguagens, construir (e depois comparar com a solução apresentada): Gramática Expressão regular Para cada uma das linguagens, obter: Gramática linear à esquerda / direita

3 Cadeias de comprimento qualquer, incluindo zero. 1 {ε, a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc, aaa, aab,... }

4 S as S bs S cs S ε (a b c)*

5 Cadeias de comprimento qualquer, maior que zero. 2 {a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc, aaa, aab,... }

6 S as S bs S cs S a S b S c (a b c)*(a b c)

7 3 Cadeias de comprimento 3. {bca, aab, aca, bab, cab, acc, abb, abc, acb, aaa, cbb, baa,... }

8 S XXX X a X b X c (a b c)(a b c)(a b c)

9 Cadeias de comprimento diferente de 3. 4 {a, bc, bbcc, bcabaab, bcaa, c, ε, acababab, acaacabbab, cabacacb, aabc, babac, ba, abaaa, bbcb,... }

10 S ε S X S XX S XXXXY X a X b X c Y XY Y ε ε a b c (a b c)(a b c) (a b c)(a b c) (a b c)(a b c)(a b c)*

11 Cadeias de comprimento maior que 3. 5 {bbcc, bcabaab, bcaa, cababab, acaacabbab, cabacacb, aabc, babac, abaaa, bbcb,... }

12 S XXXXY X a X b X c Y XY Y ε (a b c)(a b c)(a b c)(a b c)(a b c)*

13 Cadeias de comprimento menor que 3. 6 {ε, a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc}

14 S XX X a X b X c X ε ε a b c aa ab ac ba bb bc ca cb cc

15 Cadeias de comprimento múltiplo de 3. 7 {bca, acabababb, ε, acabab, cabacacbb, aabcbabaccba, baaaba, aaa, bbbbbb, aabaacbab, aac,... }

16 S XXXS X a X b X c S ε ((a b c)(a b c)(a b c))*

17 Cadeias com uma quantidade par de símbolos. 8 {ε, bb, ac, aabc, abac, abbc, abcc, acac, acbc, aaaacb, bababc,... }

18 S XXS X a X b X c S ε ((a b c)(a b c))*

19 Cadeias com uma quantidade ímpar de símbolos. 9 {bcb, acbbb, a, c, aabcbbb, bbbacbbba, abc, cbabc, aaa,... }

20 S XXS X X X a X b X c ((a b c)(a b c))*(a b c)

21 10 Cadeias iniciando com abb. {abb, abba, abbab, abbabb, abbcabbc, abbcccbbb,... }

22 S abbx X ax X bx X cx X ε abb(a b c)*

23 Cadeias terminando com 3 símbolos b consecutivos. 11 {bbb, acbbb, aabcbbb, abacbbb, abbb, bbbb, acacbbb, bbbacbbb, abababbb,... }

24 S Xbbb X ax X bx X cx S ε (a b c)*bbb

25 Cadeias iniciando com a e terminando com c. 12 {ac, abc, acc, aac, aabc, abac, abbc, abcc, acac, acbc, aaaac, aaabc,... }

26 S axc X ax X bx X cx X ε a(a b c)*c

27 Cadeias que não iniciam com a e não terminam com c. 13 {baca, cb, cacb, caaa, caabcb, babacb, babbcb, cabccb, ca, bb, bcab, bbbcb,... }

28 S XYZ X b X c Z a Z b Y ay Y by Y cy Y ε (b c)(a b c)*(a b)

29 Cadeias com exatamente 3 símbolos b. 14 {bcbb, acbbb, bbab, cbbb, aabcbb, bacabccba, bbbc, cbabcba, ababab,... }

30 S XbXbXbX X ax X cx X ε (a c)*b (a c)* b (a c)* b (a c)*

31 Cadeias com pelo menos 2 símbolos a. 15 {bcbaab, acbabab, aaabbab, cababab, aabcbabaa, bacabcaacba, aaabaaabbc, cbabacaba, abbab,... }

32 S XaXaX X ax X bx X cx X ε (a b c)*a (a b c)* a (a b c)*

33 Cadeias com no máximo 4 símbolos c. 16 {bcbaab, acbabab, ccabbab, cabacacb, aabcbabac, baabaaba, aaabbc, ccabcac, abcbab, ccc,... }

34 S XYXYXYXYX X ax X bx X ε Y c Y ε (a b)*(c ε)(a b)*(c ε)(a b)*(c ε)(a b)*(c ε)(a b)*

35 17 Cadeias que contenham no mínimo 2 símbolos a ou no máximo 3 símbolos c, de forma não exclusiva. {abccabc, abaccbcb, aaabcc,acccbc, abcabcabc, cababc, aa, ababbabca, ccc,... }

36 S XaXaX S YZYZYZY X ax X bx X cx X ε Y ay Y by Y ε Z c Z ε (a b c)*a(a b c)*a(a b c)* (a b)*(c ε) (a b)*(c ε)(a b)*(c ε) (a b)*

37 Cadeias com no mínimo 3 e no máximo 5 símbolos a. {bcabaab, acababab, acaacabbab, cabacacb, aabcbabac, baaba, aaabbc, acacabcac, aabaacbab, aaaa,... } 18

38 S XaXaXaXYXYX X bx X cx X ε Y a Y ε (b c)*a(b c)*a(b c)*a(b c)*(a ε)(b c)*(a ε)(b c)*

39 Cadeias que não contenham símbolos b justapostos. 19 {abccabc, abaccbcb, aaabcc,acccbc, abcabcabc, cababc, aa, bacacc, ababcbabca, ccc,... }

40 S XYZX X b X ε Y ZbY Y ε X ε Z az Z cz Z a Z c (b ε)((a c)(a c)*b )* (a c)(a c)*(b ε)

41 Cadeias com uma quantidade par de símbolos b. 20 {bb, bcb, bbcc, bcababab, caa, c, ε, acbababab, acaacabba, cabacacb, ababc, bbabbac, babbb, aaaa, cbb,... }

42 S XbXbS S ε X ax X cx X ε ((a c)*b(a c)*b))*(a c)*

43 Cadeias com uma quantidade ímpar de símbolos c. 21 {bbc, bcb, cbbcc, bcababab, caa, c, acbababab, acaacabcba, cacbaccacb, ababc, bbabbac, cbccabbb, acacaca, cbb,... }

44 S XY X ZcZcX X ε Y ZcZ Z az Z bz Z ε ((a b)*c(a b)*c))*(a b)*c(a b)*

45 Cadeias com quantidade par de símbolos a e ímpar de símbolos c. 22 {cabccabcc, aaacacbcb, bccc,cb, aabcabacaabc, cabccabcc, accca, bacacc, aca, ccc,... }

46 S XY Y ZcZ X ZcZcX W bw X ε W ε Z WaWaZ Z ε ((b*ab*a)*c (b*ab*a)*c)* (b*ab*a)*c (b*ab*a)*

47 Cadeias que contenham a subcadeia abc. 23 {abcb, babcb, bbabcc,abc, abcaabcb, cbabc, ababbabca,... }

48 S XabcX X ax X bx X cx X ε (a b c)*abc(a b c)*

49 Cadeias que não contenham a subcadeia abc. 24 {cababbc, acacbcb, aabb,caaaba, aabbabacabbc, cbabb, aaa, ε, aaabbb, aababac, cccbaa,... }

50 S XS S Y X b c M N M Tc N PQR P Tb Q PQ Q ε T a T at R b R M Y ε Y T Y PQ Y PQT (b c aa*c aa*b(aa*b)*(b aa*c))* (ε aa* aa*b(aa*b)*(ε aa*))

51 Identificadores utilizados em linguagens de programação de alto nível qualquer Conjunto dos símbolos utilizados por uma linguagem de programação qualquer 25

52 Números inteiros positivos Números inteiros positivos e negativos Números reais com sinal Números reais em notação científica Números reais em notação científica com expoente positivos ou negativo 26

Exercícios sobre linguagens regulares

Exercícios sobre linguagens regulares Exercícios sobre linguagens regulares Marcus Vinícius Midena Ramos 07/05/2012 Todos os exercícios propostos possuem solução (gramáticas e expressões regulares); Sugere-se analisar o problema, desenvolver

Leia mais

Linguagens Formais e Autômatos 02/2017. LFA Aula 03. Gramáticas regulares /09/2017 Celso OliveteJúnior.

Linguagens Formais e Autômatos 02/2017. LFA Aula 03. Gramáticas regulares /09/2017 Celso OliveteJúnior. Linguagens Formais e Autômatos 02/2017 LFA Aula 03 Linguagens regulares Gramáticas regulares 25-27/09/2017 Celso OliveteJúnior olivete@fct.unesp.br 1 Linguagens Formais e Autômatos 02/2017 Classificação

Leia mais

Histórico e motivação

Histórico e motivação Expressões regulares 1. Histórico e motivação 2. Definição a) Sintaxe b) Semântica c) Precedência dos operadores 3. Exemplos 4. Leis algébricas 5. Dialetos 6. Aplicações 7. Exercícios Pré-requisito: básico

Leia mais

Alfabeto, Cadeias, Operações e Linguagens

Alfabeto, Cadeias, Operações e Linguagens Linguagens de Programação e Compiladores - Aula 3 1 Alfabeto, Cadeias, Operações e Linguagens 1.Conjuntos Para representar um determinado conjunto é necessário buscar uma notação para representá-lo e ter

Leia mais

Capítulo 1: Alfabetos, cadeias, linguagens

Capítulo 1: Alfabetos, cadeias, linguagens Capítulo 1: Alfabetos, cadeias, linguagens Símbolos e alfabetos. Um alfabeto é, para os nossos fins, um conjunto finito não vazio cujos elementos são chamados de símbolos. Dessa maneira, os conceitos de

Leia mais

Apostila 03 - Linguagens Livres de Contexto Exercícios

Apostila 03 - Linguagens Livres de Contexto Exercícios Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e

Leia mais

Conceitos de Análise Sintática

Conceitos de Análise Sintática Conceitos de Análise Sintática Pro.f. Marcus Ramos UNIVASF Atualizado em 28 de outubro de 2016 The Theory of Parsing, Translation and Compiling Volume I: Parsing Alfred V. Aho Jeffrey D. Ullman Prentice

Leia mais

Os movimentos do reconhecedor correspondem ao uso de derivações mais à esquerda; A árvore de sintaxe é montada de cima para baixo (da raiz em direção

Os movimentos do reconhecedor correspondem ao uso de derivações mais à esquerda; A árvore de sintaxe é montada de cima para baixo (da raiz em direção Os movimentos do reconhecedor correspondem ao uso de derivações mais à esquerda; A árvore de sintaxe é montada de cima para baixo (da raiz em direção às folhas); Caracteriza a classe das gramáticas (e

Leia mais

Conceitos Básicos. Vocabulário Cadeias Linguagens Expressões Regulares Problema X Linguagem

Conceitos Básicos. Vocabulário Cadeias Linguagens Expressões Regulares Problema X Linguagem Conceitos Básicos Vocabulário Cadeias Linguagens Expressões Regulares Problema X Linguagem Alfabeto ou Vocabulário: Conjunto finito não vazio de símbolos. Símbolo é um elemento qualquer de um alfabeto.

Leia mais

para Fazer Contas? A primeira e, de longe, mais importante lição é 1.1. Produtos notáveis; em especial, diferença de quadrados!

para Fazer Contas? A primeira e, de longe, mais importante lição é 1.1. Produtos notáveis; em especial, diferença de quadrados! Álgebra: É Necessário ter Ideias para Fazer Contas? A primeira e, de longe, mais importante lição é 1. Fatoração é legal; fatoração é sua amiga 1.1. Produtos notáveis; em especial, diferença de quadrados!

Leia mais

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

Apostila 01 Fundamentação da Teoria da Computação e Linguagens Formais Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e

Leia mais

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

COMPILADORES. Revisão Linguagens formais Parte 01. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Revisão Linguagens formais Parte 01 geovanegriesang@unisc.br Legenda: = sigma (somatório) = delta ε = épsilon λ = lambda

Leia mais

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

Teoria da Computação Aula 02 Introdução Teoria da Computação Aula 02 Introdução Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional Alfabeto Um alfabeto é um conjunto finito de símbolos ou caracteres, representado pela letra sigma ( ). Portanto:

Leia mais

Expressões e Gramáticas Regulares e Autómatos Finitos

Expressões e Gramáticas Regulares e Autómatos Finitos Folha Prática Expressões e Gramáticas Regulares e Autómatos Finitos 1 Expressões e Gramáticas Regulares e Autómatos Finitos Expressões Regulares e Autómatos Finitos 1. Determine e implemente computacionalmente

Leia mais

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

Instituto Superior Técnico Teoria da Computação - LEIC, LERC 2012/2013 Aula prática 6. 1 Palavras e linguagem gerada por gramática Instituto Superior Técnico Teoria da Computação - LEIC, LERC 2012/2013 Aula prática 6 1 Palavras e linguagem gerada por gramática 1. Seja G = (V,Σ,P,S) a gramática livre de contexto em que V = {S,A}, Σ

Leia mais

UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo

UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 02 Introdução à Teoria da Computação Prof.ª Danielle Casillo Linguagem: é uma forma precisa de expressar

Leia mais

Teoria da Computação Gramáticas, Linguagens Algébricas e Autómatos de Pilha

Teoria da Computação Gramáticas, Linguagens Algébricas e Autómatos de Pilha Teoria da Computação Gramáticas, Linguagens Algébricas e Autómatos de Pilha Simão Melo de Sousa 12 de Outubro de 2011 Conteúdo 1 Gramáticas e Definições básicas 1 2 Gramáticas e Linguagens 4 2.1 Gramáticas

Leia mais

Linguagens Formais - Preliminares

Linguagens Formais - Preliminares Linguagens Formais - Preliminares Regivan H. N. Santiago DIMAp-UFRN 25 de fevereiro de 2007 Regivan H. N. Santiago (DIMAp-UFRN) Linguagens Formais - Preliminares 25 de fevereiro de 2007 1 / 26 Algumas

Leia mais

Fundamentos da Teoria da Computação

Fundamentos da Teoria da Computação Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre dúvidas Sérgio Mariano Dias 1 1 Mestrando em Ciência da Computação Departamento de Ciência da Computação Universidade Federal

Leia mais

Conceitos de Análise Sintática

Conceitos de Análise Sintática Conceitos de Análise Sintática Pro.f. Marcus Ramos UNIVASF Atualizado em 21 de dezembro de 2017 às 14:18 The Theory of Parsing, Translation and Compiling Volume I: Parsing Alfred V. Aho Jeffrey D. Ullman

Leia mais

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

Modelos de Computação Folha de trabalho n. 8 Modelos de Computação Folha de trabalho n. 8 Nota: Os exercícios obrigatórios marcados de A a D constituem os problemas que devem ser resolvidos individualmente. A resolução em papel deverá ser depositada

Leia mais

Linguagens Formais e Autômatos P. Blauth Menezes

Linguagens Formais e Autômatos P. Blauth Menezes Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação - P. Blauth Menezes

Leia mais

Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Curso de Ciências de Computação

Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Curso de Ciências de Computação Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Curso de Ciências de Computação SCC-205 TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS Turma 1 2º. Semestre de 2012 Prof. João Luís

Leia mais

Hierarquia de Chomsky Exemplos de gramáticas

Hierarquia de Chomsky Exemplos de gramáticas Hierarquia de Chomsky Exemplos de gramáticas 1 Formalmente, as gramáticas são caracterizadas como quádruplas ordenadas G = ( Vn, Vt, P, S) onde: Vn representa o vocabulário não terminal da gramática. Este

Leia mais

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

Prof. Dr. Marcos Castilho. Departamento de Informática/UFPR. 27 de Fevereiro de 2018 27 de Fevereiro de 2018 Definição: Concatenação Sejam u, v Σ. A concatenação de u e v, denotado por uv é a operação binária sobre Σ assim definida (i) BASE: Se tamanho(v) = 0 então v = λ e uv = u. (ii)

Leia mais

AB AC DE FAE D E D AB CDAC E AFA B A A B F B A A AF A D B AC C BC A A F A A AC F BC A

AB AC DE FAE D E D AB CDAC E AFA B A A B F B A A AF A D B AC C BC A A F A A AC F BC A ABACDEFAEDED F F F ABCDACEAFA BAABFB AAAFADBACCBCAAFA AACFBCA BAABABAFAB D E AFAACAFBAFADAFCF AACBAAFABCFAFAFCF BCBACAFBDAACABFBAAFBB A A F FA CFBA A F C AF BAB AAB B AF AF AF FBBA CBCB A F AFB AFAA A

Leia mais

Gramáticas Regulares

Gramáticas Regulares Capítulo 3 Expressões Regulares, Linguagens Regulares es e Gramáticas Regulares 3.1. Expressões Regulares (RE) 3.2. Relação entre ER e Linguagens Regulares (LR) 3.3. Gramáticas Regulares (GR) 3.4. Síntese

Leia mais

Tratamentos Tempo de Armazenamento T F secagem 0 mês 6 meses ( C) (m 3 /minuto/t) (hora) D 1 D 2 D 3 Médias D 1 D 2 D 3 Médias 42 26,9 0 10,4 10,8

Tratamentos Tempo de Armazenamento T F secagem 0 mês 6 meses ( C) (m 3 /minuto/t) (hora) D 1 D 2 D 3 Médias D 1 D 2 D 3 Médias 42 26,9 0 10,4 10,8 Tratamentos Tempo de Armazenamento T F secagem 0 mês 6 meses ( C) (m 3 /minuto/t) (hora) D 1 D 2 D 3 Médias D 1 D 2 D 3 Médias 42 26,9 0 10,4 10,8 10,9 10,7 12,8 11,6 12,0 12,1 4 11,1 10,6 10,9 10,9 13,1

Leia mais

Exercícios preparatórios para a Prova 2

Exercícios preparatórios para a Prova 2 Exercícios preparatórios para a Prova 2 Estes exercícios foram selecionados do Cap. 3 do livro-texto da disciplina (Ramos, 2009), e têm como objetivo auxiliar na preparação para a Prova 2, programada para

Leia mais

Linguagens e Gramáticas Livres de Contexto

Linguagens e Gramáticas Livres de Contexto Foha Prática Linguagens e Gramáticas Livres de ontexto 1 Linguagens e Gramáticas Livres de ontexto 1. onsidere a gramática ivre de contexto G = (V, T,, P), em que V = {,, }, T = { a, b } e P é o seguinte

Leia mais

Conceitos de Análise Sintática

Conceitos de Análise Sintática Conceitos de Análise Sintática Pro.f. Marcus Ramos UNIVASF Atualizado em 18 de dezembro de 2018 às 14:02 The Theory of Parsing, Translation and Compiling Volume I: Parsing Alfred V. Aho Jeffrey D. Ullman

Leia mais

Lista de exercícios 1

Lista de exercícios 1 UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Lista de exercícios 1 Disciplina: Linguagens Formais e Autômatos Professora: Juliana Pinheiro

Leia mais

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

Linguagens Formais e Autômatos 02/2015. LFA Aula 02. introdução 28/09/2015. Celso Olivete Júnior. LFA Aula 02 Linguagens regulares - introdução 28/09/2015 Celso Olivete Júnior olivete@fct.unesp.br 1 Na aula passada... Visão geral Linguagens regulares expressões regulares autômatos finitos gramáticas

Leia mais

Linguagens e Programação Gramáticas. Paulo Proença

Linguagens e Programação Gramáticas. Paulo Proença Linguagens e Programação Gramáticas Gramáticas Ferramenta para a descrição e análise de linguagens; Baseada num conjunto de regras que especificam o modo de construção das frases válidas na linguagem;

Leia mais

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

Introdução Definição Conceitos Básicos de Linguagem Introdução Definição Conceitos Básicos de Linguagem Introdução Desenvolvida originalmente em 1950 Objetivo: Desenvolver teorias relacionadas com a Linguagem natural Logo verificou-se a importância para

Leia mais

Circuitos Digitais Segunda Lista de Exercícios

Circuitos Digitais Segunda Lista de Exercícios Circuitos Digitais Segunda Lista de Exercícios Observação: o início da lista é composto dos problemas recomendados do livro-texto. exercícios nas últimas duas páginas da lista são novos (não estão no livro-texto).

Leia mais

Apostila 05 Assunto: Linguagens dos tipos 0 e 1

Apostila 05 Assunto: Linguagens dos tipos 0 e 1 Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e

Leia mais

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

Linguagens Formais. Aula 01 - Conceitos Básicos. Prof. Othon Batista Mestre em Informática Linguagens Formais Aula 01 - Conceitos Básicos Prof. Othon Batista Mestre em Informática Sumário Introdução à Linguagem Alfabeto Cadeias de Símbolos, Palavras Tamanho de Palavra Prefixo, Sufixo ou Subpalavra

Leia mais

Autómatos Finitos Determinísticos (AFD)

Autómatos Finitos Determinísticos (AFD) Folha Prática Autómatos Finitos 1 Autómatos Finitos Determinísticos (AFD) 1. Determine e implemente computacionalmente um AFD que aceita todas as cadeias de cada uma das seguintes linguagens sobre o alfabeto

Leia mais

TEORIA DAS LINGUAGENS 3. GRAMÁTICAS INDEPENDENTES DE CONTEXTO

TEORIA DAS LINGUAGENS 3. GRAMÁTICAS INDEPENDENTES DE CONTEXTO LICENCIATURA EM CIÊNCIAS DA COMPUTAÇÃO TEORIA DAS LINGUAGENS 3. GRAMÁTICAS INDEPENDENTES DE CONTEXTO José Carlos Costa Dep. Matemática e Aplicações Universidade do Minho Braga, Portugal 31 de Maio de 2010

Leia mais

Linguagens Formais e Problemas de Decisão

Linguagens Formais e Problemas de Decisão Linguagens Formais e Problemas de Decisão Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Linguagens Formais e Problemas

Leia mais

Automata e Linguagens Formais

Automata e Linguagens Formais Automata e Linguagens Formais 5 Prof. Carlos H. C. Ribeiro carlos@ita.br Gramáticas A Hierarquia de Chomsky Tipos de gramáticas e linguagens Pré-normalização de GLCs Formas Normais: Chomsky e Greibach

Leia mais

Expressões Regulares e Gramáticas Regulares

Expressões Regulares e Gramáticas Regulares Universidade Católica de Pelotas Escola de informática 053212 Linguagens Formais e Autômatos TEXTO 2 Expressões Regulares e Gramáticas Regulares Prof. Luiz A M Palazzo Março de 2007 Definição de Expressão

Leia mais

Apostila 03 Linguagens Livres de Contexto

Apostila 03 Linguagens Livres de Contexto Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e

Leia mais

NCE/10/02211 Decisão de apresentação de pronúncia - Novo ciclo de estudos

NCE/10/02211 Decisão de apresentação de pronúncia - Novo ciclo de estudos NCE/10/02211 Decisão de apresentação de pronúncia - Novo ciclo de estudos NCE/10/02211 Decisão de apresentação de pronúncia - Novo ciclo de estudos Decisão de Apresentação de Pronúncia ao Relatório da

Leia mais

Marcos Castilho. DInf/UFPR. 21 de março de 2019

Marcos Castilho. DInf/UFPR. 21 de março de 2019 21 de março de 2019 Análise sintática: introdução Dada uma gramática G e uma palavra w Σ, como saber se w L(G)? Isto é, como saber se S = G w? Derivações à esquerda e ambiguidade w L(G) se S = G w; Sabemos

Leia mais

Curso de Engenharia de Computação - UTFPR Teoria da Computação - Prof. Celso Kaestner Lista de exercícios

Curso de Engenharia de Computação - UTFPR Teoria da Computação - Prof. Celso Kaestner Lista de exercícios Curso de Engenharia de Computação - UTFPR Teoria da Computação - Prof. Celso Kaestner Lista de exercícios 1. Escreva a expressão regular para as seguintes linguagens sobre o alfabeto {0, 1}: strings começando

Leia mais

Gramáticas Livres de Contexto

Gramáticas Livres de Contexto Gramáticas Livres de Contexto 25 de novembro de 2011 Definição 1 Uma Regra (ou produção) é um elemento do conjunto V (V Σ). Sendo que V é um conjunto finito de elementos chamados de variáveis e Σ um conjunto

Leia mais

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

Lista de Exercícios CT-200 Primeiro Bimestre Carlos Henrique Quartucci Forster Estagiário: Wesley Telles. Revisão de Teoria de Conjuntos Lista de Exercícios CT-200 Primeiro Bimestre 2010 Carlos Henrique Quartucci Forster Estagiário: Wesley Telles Revisão de Teoria de Conjuntos 1. Sejam A = {1,2 } e B = { x, y, z}. Quais os elementos dos

Leia mais

Tuplos e Ciclos Contados

Tuplos e Ciclos Contados Capítulo 4 Tuplos e Ciclos Contados 1. Diga o que é escrito por cada uma das seguintes instruções. Execute primeiro os ciclos manualmente e só depois use o computador para verificar os resultados. (a)

Leia mais

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

LINGUAGENS FORMAIS E AUTÔMATOS. Prova 2-10/06/ Prof. Marcus Ramos LINGUAGENS FORMAIS E AUTÔMATOS Prova 2-10/06/2011 - Prof. Marcus Ramos NOME: _ Colocar seu nome no espaço acima; A prova pode ser feita à lápis ou caneta; A duração é de três horas; As questões da parte

Leia mais

Problema A Codificação Símbolos Dado um inteiro n, n é N representação de inteiros 0,1,...,b - 1 numa base b Dado um grafo G, G é conexo?

Problema A Codificação Símbolos Dado um inteiro n, n é N representação de inteiros 0,1,...,b - 1 numa base b Dado um grafo G, G é conexo? 2 Linguagens Uma linguagem de programação, ou uma língua natural como o Português ou o Inglês, pode ser vista como um conjunto de sequências de símbolos, pertencentes a um conjunto finito. Em Português

Leia mais

Autômatos a pilha. UFRN/DIMAp/DIM0330 Linguagens formais. David Déharbe. http://www.consiste.dimap.ufrn.br/ david/enseignement/2003.

Autômatos a pilha. UFRN/DIMAp/DIM0330 Linguagens formais. David Déharbe. http://www.consiste.dimap.ufrn.br/ david/enseignement/2003. UFRN/DIMAp/DIM0330 Linguagens formais http://www.consiste.dimap.ufrn.br/ david/enseignement/2003.1/dim0330 1/36 Autômatos a pilha David Déharbe UFRN/DIMAp Campus Universitário, Lagoa Nova, 59072-970 Natal,

Leia mais

A. (Autómatos finitos determinísticos e não determinísticos AFD e AFND)

A. (Autómatos finitos determinísticos e não determinísticos AFD e AFND) DEP. INFORMÁTICA - UNIVERSIDADE DA BEIRA INTERIOR Teoria da Computação Eng. Informática 1º Semestre Exame 2ª chamada - Resolução 2h + 30min 07/Fev/2011 Pergunta A.1 A.2 A.3 B.1 B.2 B.3a B.3b C.1 C.2 D.1

Leia mais

IBM1088 Linguagens Formais e Teoria da

IBM1088 Linguagens Formais e Teoria da IBM1088 Linguagens Formais e Teoria da Computação Linguagens e Gramáticas Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 47 Frase do dia Sofremos muito com

Leia mais

Conceitos básicos de Teoria da Computação

Conceitos básicos de Teoria da Computação Folha Prática Conceitos básicos de 1 Conceitos básicos de Métodos de Prova 1. Provar por indução matemática que para todo o número natural n: a) 1 + 2 + 2 2 + + 2 n = 2 n+1 1, para n 0 b) 1 2 + 2 2 + 3

Leia mais

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

INE5317 Linguagens Formais e Compiladores. AULA 4: Gramáticas INE5317 Linguagens Formais e Compiladores AULA 4: Gramáticas bas eado em material produzido pelo prof Olinto Jos é Varela Furtado Ricardo Azambuja Silveira INE-CTC-UFSC E-Mail: silveira@inf.ufsc.br URL:

Leia mais

Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Ciências de Computação

Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Ciências de Computação Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Ciências de Computação SCC-0505 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Lista de Exercícios do Capítulo 3 Gramáticas

Leia mais

Exercícios Associados à Aula 28 (27/11/2013) Feitos em sala e em equipes

Exercícios Associados à Aula 28 (27/11/2013) Feitos em sala e em equipes Exercícios Associados à Aula 28 (27/11/2013) Feitos em sala e em equipes Questões do POSCOMP 2011 A resposta certa está assinalada em vermelho. Por que é correta e por que as demais alternativas são incorretas?

Leia mais

1 INTRODUÇÃO E CONCEITOS BÁSICOS

1 INTRODUÇÃO E CONCEITOS BÁSICOS 1 INTRODUÇÃO E CONCEITOS BÁSICOS Inicia com uma breve história do surgimento e do desenvolvimento dos conceitos, resultados e formalismos nos quais a Teoria da Computação é baseada. Formalização dos conceitos

Leia mais

* +,,- 5%67. 5%5%8 # ! " #$ %& ' %( ) .

* +,,- 5%67.  5%5%8 # !  #$ %& ' %( ) . http://indicadores.ethos.org.br/relatorioexternodiagnostico.aspx?id=1,2,,4,&ano=2007&questionari... Página 1 de 2 " # & ' "# * +,,-. * ' * //0 /1 2 &* '4/*5 / * / 1& &'56 ' &* 4/ &'*5 * 4 /*1 4' '4' &

Leia mais

Testes e Sebentas. Exercícios resolvidos de Álgebra Linear (Matrizes e Determinantes)

Testes e Sebentas. Exercícios resolvidos de Álgebra Linear (Matrizes e Determinantes) Testes e Sebentas Exercícios resolvidos de Álgebra Linear (Matrizes e Determinantes) Índice: 1. Matrizes 1.1. Igualdade de matrizes 3 1.2. Transposta de uma matriz 3 1.3. Multiplicação por um escalar 3

Leia mais

SCC 205 Teoria da Computação e Linguagens Formais

SCC 205 Teoria da Computação e Linguagens Formais Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Ciências de Computação SCC 205 Teoria da Computação e Linguagens Formais Autômatos com pilha Lista 3 1. Dê um

Leia mais

Matemática I. Licenciatura em Economia. 1 Álgebra Linear. 1 o semestre 2012/13. Vectores e Matrizes Sejam 3 A = Determinar as matrizes:

Matemática I. Licenciatura em Economia. 1 Álgebra Linear. 1 o semestre 2012/13. Vectores e Matrizes Sejam 3 A = Determinar as matrizes: Matemática I 1 o semestre 1/1 Licenciatura em Economia Exercícios com soluções 1 Álgebra Linear Vectores e Matrizes 1.1. Sejam 1 A = 5, B = 1 1 1 Determinar as matrizes: 1 4 5, C = a) A + B; b) A B; c)

Leia mais

Linguagens Formais e Autômatos

Linguagens Formais e Autômatos Linguagens Formais e Autômatos notas de aula 2019.05.05.20.43 Jerônimo C. Pellegrini id: 4e2626ca5ee2dc5536045a55e267b3bb2211b939 2 Este trabalho está disponível sob a licença Creative Commons Attribution

Leia mais

Responda às questões abaixo: 1 a Questão: Indique todos casos de não determinismo do AFN acima

Responda às questões abaixo: 1 a Questão: Indique todos casos de não determinismo do AFN acima Exercícios 04 CENTRO UNIVERSITÁRIO DE BRASÍLIA - UniCEUB O Autômato Finito Não Determinístico (AFN) abaixo reconhece sentenças da linguagem L, definida sobre o alfabeto Σ = {0, 1, onde as sentenças: possuem

Leia mais

Como construir um compilador utilizando ferramentas Java

Como construir um compilador utilizando ferramentas Java Como construir um compilador utilizando ferramentas Java p. 1/2 Como construir um compilador utilizando ferramentas Java Aula 2 BNF e Grafo Sintático Prof. Márcio Delamaro delamaro@icmc.usp.br Como construir

Leia mais

Expressões regulares

Expressões regulares Expressões regulares IBM1088 Linguagens Formais e Teoria da Computação Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 38 Frase do dia A vida é uma luta inteira

Leia mais

Alfabeto e palavras. Alfabeto conjunto finito de símbolos (Σ).

Alfabeto e palavras. Alfabeto conjunto finito de símbolos (Σ). Alfabeto e palavras Alfabeto conjunto finito de símbolos (Σ). {A,...,Z}, {α, β,... }, {a,b}, {0,1}, ASCII Palavra de Σ sequência finita de símbolos do alfabeto Σ Σ = {a, b} aabba a aaaaaaaa Comprimento

Leia mais

Modelos de Computação

Modelos de Computação Modelos de Computação 2.ano LCC e LERSI URL: http://www.ncc.up.pt/~nam/aulas/0405/mc Escolaridade: 3.5T e 1P Frequência:Semanalmente serão propostos trabalhos aos alunos, que serão entregues nas caixas

Leia mais

COMPILADORES. Revisão Linguagens formais Parte 02. Prof. Geovane Griesang

COMPILADORES. Revisão Linguagens formais Parte 02. Prof. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Revisão Linguagens formais Parte 02 Prof. geovanegriesang@unisc.br Legenda: = sigma (somatório) = delta ε = epsilon λ =

Leia mais

Expressões Regulares. Tiago Alves de Oliveira

Expressões Regulares. Tiago Alves de Oliveira Expressões Regulares Tiago Alves de Oliveira Introdução As expressões regulares consistem em uma maneira de representar um padrão de caracteres. Expressão Regular descreve um conjunto de cadeias de caracteres,

Leia mais

Definições Exemplos de gramáticas

Definições Exemplos de gramáticas Definições Exemplos de gramáticas 1 Gramáticas Conceito introduzido pela lingüística Objetivo de ensinar o inglês pelo computador e conseguir um tradutor de línguas Fracasso da tradução por volta dos anos

Leia mais

LFA. Aula 04. Sintaxe e Semântica. Conceitos Básicos Alfabeto Palavra Linguagem

LFA. Aula 04. Sintaxe e Semântica. Conceitos Básicos Alfabeto Palavra Linguagem LFA Aula 04 Sintaxe e Semântica. Conceitos Básicos Alfabeto Palavra Linguagem Linguagens Formais Linguagens formais se preocupam com os problemas sintáticos das linguagens. Sintaxe e Semântica Sintaxe

Leia mais

Segunda Lista de Exercícios 2004/2...

Segunda Lista de Exercícios 2004/2... + + UFLA Universidade Federal de Lavras Departamento de Ciência da Computação COM162 Linguagens Formais e Autômatos Prof. Rudini Sampaio Monitor: Rodrigo Pereira dos Santos Segunda Lista de Exercícios

Leia mais

Dada uma gramática G = (V, T, P, S), tal que ε ² L(G), construir G, sem produções-ε, de modo a que L(G) = L(G ).

Dada uma gramática G = (V, T, P, S), tal que ε ² L(G), construir G, sem produções-ε, de modo a que L(G) = L(G ). 2EVHUYDo}HV Enquanto que todas as Linguagens Regulares são reconhecíveis por utómatos 'HWHUPLQLVWDV (Finitos), nem todas as Linguagens Independentes do Contexto são reconhecíveis por utómatos 'HWHUPLQLVWDV

Leia mais

Compiladores I Prof. Ricardo Santos (cap 3 Análise Léxica: Introdução, Revisão LFA)

Compiladores I Prof. Ricardo Santos (cap 3 Análise Léxica: Introdução, Revisão LFA) Compiladores I Prof. Ricardo Santos (cap 3 Análise Léxica: Introdução, Revisão LFA) Análise Léxica A primeira fase da compilação Recebe os caracteres de entrada do programa e os converte em um fluxo de

Leia mais

Gramática regular. IBM1088 Linguagens Formais e Teoria da Computação. Evandro Eduardo Seron Ruiz Universidade de São Paulo

Gramática regular. IBM1088 Linguagens Formais e Teoria da Computação. Evandro Eduardo Seron Ruiz Universidade de São Paulo Gramática regular IBM1088 Linguagens Formais e Teoria da Computação Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 41 Frase do dia Através de três métodos

Leia mais

Lista de Exercícios Nº 02 Tecnologia em Mecatrônica Prof.: Carlos Bezerra

Lista de Exercícios Nº 02 Tecnologia em Mecatrônica Prof.: Carlos Bezerra TEXTO PARA A PRÓXIMA QUESTÃO (Ufba 96) Na(s) questão(ões) a seguir escreva nos parenteses a soma dos itens corretos. 1. Sendo m = x + 1, n = x - x, p = x - 1, pode-se afirmar: (01) m = n. p (02) m + n

Leia mais

Autómatos de Pilha e Linguagens Livres de Contexto

Autómatos de Pilha e Linguagens Livres de Contexto Folha Prática Autómatos de Pilha e Linguagens Livres de Contexto 1 Autómatos de Pilha e Linguagens Livres de Contexto Autómatos de Pilha Não Determinísticos (APND) 1. Considere a seguinte tabela de transição

Leia mais

Aula 8: Gramáticas Livres de Contexto

Aula 8: Gramáticas Livres de Contexto Teoria da Computação Primeiro Semestre, 2015 Aula 8: Gramáticas Livres de Contexto DAINF-UTFPR Prof. Ricardo Dutra da Silva Veremos agora maneira de gerar as strings de um tipo específico de linguagem,

Leia mais

Entrada Fila Saída Fila Status aabb indiferente aceita bbaa indiferente rejeita abab indiferente rejeita ab indiferente aceita ε indiferente aceita

Entrada Fila Saída Fila Status aabb indiferente aceita bbaa indiferente rejeita abab indiferente rejeita ab indiferente aceita ε indiferente aceita 01. [Diverio, 2000] Desenvolver uma máquina de Post, sobre o alfabeto {a, b}, que verifique o duplo balanceamento da entrada fornecida pelo usuário, ou seja, D = {a n b n n 0}. A seguir, são apresentados

Leia mais

CAPÍTULO 5 LINGUAGENS LIVRES DE CONTEXTO

CAPÍTULO 5 LINGUAGENS LIVRES DE CONTEXTO CAPÍTULO 5 LINGUAGEN LIVRE DE CONTEXTO 5.1. Introdução 181 5.2 Gramáticas livres de contexto 181 5.2.1. Definição e exemplos 183 5.2.2 Derivação pela extrema direita e pela extrema esquerda 188 5.2.3.Árvores

Leia mais

Capítulo Métodos para transformar gramáticas ái Duas formas Normais (Chomsky e Greibach) ADC/TC/Cap.6/ /LEI/DEIFCTUC 268

Capítulo Métodos para transformar gramáticas ái Duas formas Normais (Chomsky e Greibach) ADC/TC/Cap.6/ /LEI/DEIFCTUC 268 Capítulo 6 Simplificação de gramáticas livres de contexto e Formas Normais 61 6.1. Métodos para transformar gramáticas ái 62 6.2. Duas formas Normais (Chomsky e Greibach) 268 6.1. Métodos para transformar

Leia mais

Monômios são expressões algébricas formadas por apenas um número, por uma variável ou pela multiplicação de números e variáveis.

Monômios são expressões algébricas formadas por apenas um número, por uma variável ou pela multiplicação de números e variáveis. 1 PRODUTOS NOTÁVEIS Monômios Monômios são expressões algébricas formadas por apenas um número, por uma variável ou pela multiplicação de números e variáveis. 15 x 3x y 5 y ab Em geral, os monômios são

Leia mais

!"!##$!##$ ,(- $!",(, $ )./$ $ (5 $ ## * $!##$!" ,314 4 :,- 0 /0 ,3 00/70 14; 14,;<

!!##$!##$ ,(- $!,(, $ )./$ $ (5 $ ## * $!##$! ,314 4 :,- 0 /0 ,3 00/70 14; 14,;< !"#$ %&'(&!"!##$!##$ %$ &$ '&()*+#,(- $!",(, $ )./$ 0120 0 30 04$ (5 $ ## * $!##$!" 66 14$,31400, 00*00&789000,314 4 :,- 0 /0,3 00/70 14; 14,;< Demonstrações Financeiras Anuais Completas Declaração para

Leia mais

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 3. Autômatos Finitos

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 3. Autômatos Finitos Curso: Ciência da Computação Turma: 6ª Série Aula 3 Autômatos Finitos Alfabeto Alfabeto Conjunto finito de símbolos; Normalmente descrito por ; Exemplos: ={a, b} ={1, 2, 3} ={00, 11} Ø Alfabeto romano

Leia mais

DESEMPENHO DE VARIEDADES DE MANDIOCA DE MESA NO NÚCLEO RURAL JARDIM-DF

DESEMPENHO DE VARIEDADES DE MANDIOCA DE MESA NO NÚCLEO RURAL JARDIM-DF DESEMPENHO DE VARIEDADES DE MANDIOCA DE MESA NO NÚCLEO RURAL JARDIM-DF Josefino de Freitas Fialho 1 ; Eduardo Alano Vieira 1 ; Marilia Santos Silva 1 ; José Nilton Campelo Lacerda 2 ; Gabriel Freitas de

Leia mais

Linguagem (formal) de alfabeto Σ

Linguagem (formal) de alfabeto Σ Linguagem (formal) de alfabeto Σ Linguagem é qualquer subconjunto de Σ, i.e. qualquer conjunto de palavras de Σ Σ = {a, b} {aa, ab, ba, bb} ou {x x {a, b} e x = 2} {a, aa, ab, ba, aaa, aab, aba,...} ou

Leia mais

2. PRODUTOS NOTÁVEIS 2.1. EXPANSÃO DE PRODUTOS

2. PRODUTOS NOTÁVEIS 2.1. EXPANSÃO DE PRODUTOS 2. PRODUTOS NOTÁVEIS 2.1. EXPANSÃO DE PRODUTOS Em álgebra, é frequente termos de expandir produtos cujos fatores são expressões algébricas (polinômios, por exemplo). Para isso, aplicamos a propriedade

Leia mais

AB CA AD E AF E A A BDFA F E AD A A E E A AF A

AB CA AD E AF E A A BDFA F E AD A A E E A AF A AB CAADE AF E A A BDFA FEADA A EE AAF A A BCBDEA BFEDBDEBA CE DA DC EDC BE DA AC D D CEE C BCC A AB CBA A BCBDEA BFEDBDEBA CE DA DC DAE F D AF D A D F A BB AB CBA C AA C D F A B A A BDEA C C A A A F F

Leia mais

!!!"#$%&'(')*%"#'%+ !"#$%&'' ()''*+,-"&' .),/%'0123'

!!!#$%&'(')*%#'%+ !#$%&'' ()''*+,-&' .),/%'0123' .),/%'0123' TOMAR!"#$%&'' ()''*+,-"&'!"#$%&'(')*+,-./'012'3453677'8)9:;'?'('@$AB/-'C*'DE%,$-F' @*%GHI$C/'C*'-,-.*A$'C*'J,+,*0*'*'-*+K%$0L$'$",A*0.$%'M''N!@@>' 4567' &8789' :' 0+,-./0+ 1023.+ N+ 6%$+

Leia mais

FERTILIDADE E MATÉRIA ORGÂNICA DO SOLO EM SISTEMAS DE PRODUÇÃO COM INTEGRAÇÃO LAVOURA-PECUÁRIA SOB PLANTIO DIRETO

FERTILIDADE E MATÉRIA ORGÂNICA DO SOLO EM SISTEMAS DE PRODUÇÃO COM INTEGRAÇÃO LAVOURA-PECUÁRIA SOB PLANTIO DIRETO FERTILIDADE E MATÉRIA ORGÂNICA DO SOLO EM SISTEMAS DE PRODUÇÃO COM INTEGRAÇÃO LAVOURA-PECUÁRIA SOB PLANTIO DIRETO Henrique Pereira dos Santos 1, 3 Renato Serena Fontaneli 1,4, Silvio Tulio Spera 2 e Leandro

Leia mais

A B f(a, B) = A + B. A f(a ) = A

A B f(a, B) = A + B. A f(a ) = A Álgebra de Boole ESTV-ESI-Sistemas Digitais-Álgebra de Boole 1/7 A Álgebra de Boole é uma ferramenta matemática muito utilizada na representação e simplificação de funções binárias (ou lógicas), sendo

Leia mais

GABARITO DE MATEMÁTICA INSTITUTO MILITAR DE ENGENHARIA

GABARITO DE MATEMÁTICA INSTITUTO MILITAR DE ENGENHARIA GABARITO DE MATEMÁTICA INSTITUTO MILITAR DE ENGENHARIA Realizada em 6 de outubro de 010 Questão 01 GABARITO DISCURSIVA A base de um prisma reto ABCA 1 B 1 C 1 é um triângulo com o lado AB igual ao lado

Leia mais

9.3 Gramáticas Irrestritas

9.3 Gramáticas Irrestritas 9.3. Gramáticas Irrestritas 9.3 Gramáticas Irrestritas Para investigar a conexão entre as linguagens recursivamente enumeráveis e as gramáticas, retornaremos à definição geral de uma gramática. Na definição

Leia mais

CAPÍTULO 3 EXPRESSÕES REGULARES, LINGUAGENS REGULARES E GRAMÁTICAS REGULARES

CAPÍTULO 3 EXPRESSÕES REGULARES, LINGUAGENS REGULARES E GRAMÁTICAS REGULARES CAPÍTULO 3 EXPRESSÕES REGULARES, LINGUAGENS REGULARES E GRAMÁTICAS REGULARES 3.1 Introdução 117 3.2 Expressões Regulares 117 3.3 Regras algébricas para expressões regulares 126 3.4 Relação entre expressões

Leia mais

UNIVERSIDADE DA BEIRA INTERIOR

UNIVERSIDADE DA BEIRA INTERIOR UNIVERIDADE DA EIRA INTERIOR Teoria da Computação Eng. Informática 2º emestre Frequência 2 (7 valores) Resolução 30/maio/2017 A. Expressões regulares e autómatos finitos 1. [1.25] Usando o método de eliminação

Leia mais