Gramáticas e Linguagens Independentes de Contexto
|
|
|
- Raul Ferreira
- 6 Há anos
- Visualizações:
Transcrição
1 Gramáticas e Linguagens Independentes de Contexto 6.1 Responde às uestões seguintes considerando a gramática independente de contexto G = (V, {a, b}, P, R), onde o conjunto de regras P é: R XRX S S at b bt a T XT X X X a b (a) Quais são as variáveis e os símbolos terminais de G? Qual é a variável inicial? (b) Dá três exemplos de palavras de L(G). (c) Dá três exemplos de palavras ue não pertençam a L(G). (d) Verdadeiro ou Falso? Justifica. 1. T aba. 2. T aba. 3. T T. 4. T T. 5. XXX aba. 6. X aba. 7. T XX. 8. T XXX. 9. S. 10. R ab 11. R aba (e) Descreve em português a linguagem L(G). 6.2 Seja G a gramática independente de contexto, descrita por G = (V, Σ, P, S), onde o alfabeto é Σ = {0, 1}, os símbolos não terminais são V = {S}, o símbolo inicial é S e as produções são dadas por P = {S, S 0S, S 1S}. (a) Obtém uma derivação para as seguintes seuências: 001, e (b) Mostra ue a linguagem gerada por G é o conjunto de todas as seuências finitas de 0s e 1s, i.e., {0, 1}. 6.3 Justifica a afirmação: a linguagem {0 n 1 2n : n 0} do alfabeto {0, 1} não é regular mas é independente de contexto 6.4 Considera a seguinte gramática independente de contexto G = (V, Σ, R, E), onde V = {E, N} e Σ = {0, 1, +,, (, )}. As regras da gramática são: E E + E E E (E) N N 0 1 Determina as derivações e árvores associadas a cada uma das seguintes palavras: (a) 1 (b) (c) (d) (1 1) + 0 (e) (f) 1 (1 + 1) 6.5 Constrói gramáticas independentes de contexto ue reconheçam as seguintes linguagens. O alfabeto considerado é Σ = {0, 1}.
2 (a) O conjunto vazio (b) { w w contém pelo menos três 1s } (c) { w w começa e termina pelo mesmo símbolo } (d) { w o comprimento de w é ímpar } (e) { w o comprimento de w é ímpar e o símbolo do meio é 0 } (f) { w w contém mais 1s ue 0s } (g) { w w = w R } (h) { w w tem duas vezes mais 0s do ue 1s } (i) O complemento da linguagem { 0 n 1 n n 0 } (j) {w {0, 1} 3 divide a diferença entre o número de 0 s e 1 s em w } (k) { 0 i 1 j 0 i i 0, j 0 } (l) { 0 i 1 i+j 0 j i 0, j 0 } 6.6 Mostra ue a seguinte gramática independente de contexto G = ({S}, {a, b}, P, S) com as regras: gera a linguagem dos palíndromos em {a, b}. S asa bsb a b 6.7 Escreve gramáticas independentes de contexto para as linguagens seguintes. Indica se são ao não regulares. (a) as fórmulas do cálculo proposicional: símbolos proposicionais: p,, r, s conectivas lógicas:,,, parêntesis: ( e ) (b) números decimais em notação científica: por exemplo 3.14, 15.21,.13E2, 23E 5 (c) as expressões regulares em {a, b} símbolos básicos: a, b, e operadores +, (concatenação) e parêntesis: ( e ) 6.8 Seja G = ({S}, {a, b, c}, {S aas, S ccs, S bsaa, S b}, S) uma gramática independente de contexto. Denote-se por V e Σ os conjuntos de variáveis e terminais de G, respectivamente. (a) Determina D n = {w (V Σ) S n G w} para n = 1, 2, 3, 4. (b) Determina as árvores de derivação para aaccbaa e aabccbaabaaaa. (c) Mostra ue abaac / L(G). (d) Descreve informalmente a linguagem gerada pela gramática. (e) Mostra por indução sobre o número de passos da derivação ue uaisuer ue sejam n > 0 e x (V Σ), se S n G x então k 0 w ({b}a)k y A x = ywba 2k x = ywsa 2k em ue A = {aa, cc}. Conclui ue L(G) {ywba 2k y A, w ({b}a) k, k 0} = {xa 2(k 1) x (A{b}) k, k > 0}. (f) Mostra ue L(G) {xa 2(k 1) x (A{b}) k, k > 0} em ue A = {aa, cc}, mostrando ue S w /2 G ws, ualuer ue seja w A; (Por indução sobre w ) concluindo ue S 1+ w /2 G wb, ualuer ue seja w A; e concluindo ue S 1+ w /2 G wbsaa, ualuer ue seja w A;
3 para mostrar ue para todo k > 0, se w (A{b}) k {a} 2(k 1) S G w então w (A{b}) k+1 {a} 2k S G w; e concluir L(G) {xa 2(k 1) x (A{b}) k, k > 0}. (g) Descreve formalmente L(G) 6.9 Escreve uma gramática independente de contexto ue gere a linguagem de alfabeto Σ = {0, 1} constituída pelas palavras em ue o número de 1 s não excede o número de 0 s. Demonstra ue a gramática obtida gera a linguagem Escreve uma gramática independente de contexto ue gera a linguagem de alfabeto Σ = {a, b, c} constituída pelas palavras da forma a n b m c l em ue l = n. Demonstra ue a gramática obtida gera a linguagem. Gramáticas ambíguas 6.11 Considera a seguinte gramática G = ({S}, {S asbs bsas }, {a, b}, S) (a) Mostra ue L(G) é o conjunto de palavras de {a, b} com o mesmo número de a s e b s. (b) Mostra ue G é ambígua. (c) Escreve uma gramática não ambígua euivalente a G 6.12 Considera a gramática G = ({S, X}, {S X Sa, X a b}, {a, b}, S) Mostra ue não é ambígua e descreve a linguagem gerada Considera a seguinte gramática para expressões aritméticas em notação prefixa: ({E}, {E +EE EE EE x y}, {+,,, x, y}, E) (a) Encontra derivações pela esuerda e pela direita e uma árvore de derivação para + xyxy. (b) Mostra ue a gramática não é ambígua Considera a seguinte gramática ({S, A, B}, {S A0B, A 1A, B 0B 1B }, {0, 1}, S) (a) Mostra ue a gramática não é ambígua. (b) Descreve a linguagem gerada pela gramática (c) Encontra uma gramática ambígua euivalente e justifica a sua ambiguidade 6.15 Mostra ue a seguinte gramática de alfabeto {,, p, (, )} é ambígua e encontra uma euivalente ue o não seja. S S S S S (S) p 6.16 Mostra ue a seguinte gramática de alfabeto {0, 1} é ambígua e encontra uma euivalente ue o não seja. S AB1 A A11A B B0B B1B
4 Resolução de exercícios escolhidos 6.9 Seja G a gramática com as seguintes regras: S 0S1S 1S0S 0S Temos ue mostrar ue, sendo L a linguagem formada pelas palavras em ue o número de 1 s não excede o número de 0 s, se tem: L(G) L e L L(G). (L(G) L): A única palavra de L(G) ue pode ser derivada com um só passo é ue pertence trivialmente a L. Seja então r uma palavra de L(G), portanto existe uma derivação de r em G com n passos (n = 1). Suponhamos ue para todas as palavras r com uma derivação mais curta ue a de r se tem r L. Como existe uma derivação de r em G (e estamos a supor ue tem mais do ue um passo), esta tem ue ter uma das seguintes formas: S 0S1S r S 1S0S r S 0S r Como o tamanho da derivação de r é n o tamanho das derivações das palavras ue correspondem a cada um dos S ue ocorrem no primeiro passo de derivação de r têm ue ter derivações menores ue n. Portanto, pela hipótese de indução, são palavras cujo número de 1 s não excede o número de 0 s. Então em ualuer dos três casos é trivial concluir ue a palavra r goza dessa mesma propriedade e portanto r L. (L L(G)): Provemos ue ualuer palavra r ue contenha um número de 1 s ue não exceda o número de 0 s pode ser derivada em G, ou seja r L(G), por indução no comprimento de r. Se r = 0, então r = e portanto pode ser trivialmente derivada em G. Seja então r L com r = n e suponhamos ue ualuer palavra r com comprimento menor ue n se tem r L r L(G). Suponhamos ue o primeiro caracter de r é um 0, se r é composta somente por 0 s então r temos ue S 0S e como 0 n 1 L por hipótese de indução existe uma derivação para 0 n 1 e portanto existe uma derivação S 0S r logo r L(G). Se pelo contrário existir algum 1 em r então r = 0r 1r para algum r, r L porue: se o último caracter de r é um 1 então r = 0r 1 e r L; se o último caracter é um 0 então tomemos o 1 mais à esuerda em r: r = 0r 01r 0 0 se r 0, r 0 0 L está o problema resolvido... se não é porue r 0 L e r 0 0 L (pois r 0 só contém 0 s) e r 0 contém pelo menos mais um 0 do ue 1 s (porue, por hipótese r 0 0 L e r L). Então tomamos o 1 seguinte: r = 0r 11r 1 0 se r 1, r 1 L o problema está resolvido senão é porue se tem r 1 L e r 1 L (porue r 0 tinha pelo menos um 0 mais ue ue 1 s e r 1 só contém mais um 1 ue r ), notando ue r 1 continua a ter de conter pelo menos mais um 0 do ue 1 s prosseguimos o processo para o 1 seguinte.... Temos garantia ue o processo termina com sucesso pois r termina com um 0 pelo ue para o último 1 (o mais à direita) não é possível ter com r n L e r n L. r = 0r n1r n0
5 Portanto r = 0r 1r como r, r L. Como r, r < n pela hipótese de indução r, r L(G) logo r L(G). O caso de r ter como primeiro caracter um 1 é inteiramente análogo ao anterior Uma gramática ue gera a linguagem é a gramática com as seguintes regras: S asc A C A aa ab C Cc Bc B bb Seja L a linguagem pedida, temos ue mostrar ue L = L(G) ou seja ue L L(G) L(G) L. (L(G) L) : Vamos mostrar o seguinte: B w então w é da forma b m com m N. Se w for derivável num só passo então w =. Se a derivação de w tiver m passos w é trivialmente da forma b m 1. C w então w é da forma b m c l com m, l N, l > 0. Se na derivação de w intervem somente uma vez a regra C então w tem ue ser da forma b m c. Se na derivação intervierem l regras C então w é trivialmente da forma b m c l. A w então w é da forma a n b m com n, m N, n > 0. Inteiramente análogo à anterior. S w então w é da forma a n b m c l com n, m, l N, n = l. Se na derivação de w só intervem uma vez a regra S então w é da forma a n b m ou b m c l. Como cada derivação usando a regra S asc acrescenta um a e um c, se S w então w tem a forma pretendida. (L L(G)) : Seja w L então w é da forma a n b m c l com n = l logo ou n > l ou n < l. Suponhamos ue n > l, seja n = l + k então S l a l Ac l k a l a k Bc k m a n b m c l logo w L(G). Se n < l a demonstração é inteiramente análoga Para mostrar ue a gramática é ambígua basta encontrar uma palavra com duas árvores de derivação distintas, p.e para : S S S S S S S S S S Uma gramática não ambígua, euivalente à anterior é: S P S P S P P (S) p
6 6.16 Para mostrar ue esta gramática é ambígua basta exibir duas árvores de derivação diferentes para uma mesma palavra, p.e 11111: S A B 1 A 1 1 A A 1 1 A S A B 1 B 1 B B 1 B B 1 B B 1 B Uma gramática euivalente à anterior, mas não ambígua é: S 1S 0S 1 de derivação y esuerda. {,,,} das palavras com dois tipos de parêntesis bem casados. Definimos PAREN 2 indutivamente como o menor conjunto tal ue: PAREN 2 e x PAREN 2 PAREN 2 / PAREN 2. gere PAREN 2. esuerda e uma derivação pela direita para a palavra. {a,b,+,, }, S})
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
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
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
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
Gramáticas e Linguagens independentes de contexto
Capítulo 6 Gramáticas e Linguagens independentes de contexto 6.1 Gramáticas Nesta secção vamos introduzir gramáticas formais para caracterização das linguagens, estudando fundamentalmente as gramáticas
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
As linguagens regulares são I.C Proposição Qualquer linguagem regular é independente de contexto.
As linguagens regulares são I.C Proposição 16.1. Qualquer linguagem regular é independente de contexto. Dem. Seja L Σ uma linguagem regular, e seja r uma expressão regular tal que L = L(r).Por indução
Gramáticas ( [HMU00], Cap. 5.1)
Gramáticas ( [HMU00], Cap. 5.1) Vimos que a seguinte linguagem não é regular L = {0 n 1 n n 0} Contudo podemos fácilmente dar uma definição indutiva das suas palavras: 1. ɛ L 2. Se x L então 0x1 L L é
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,
Fundamentos da Teoria da Computação
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre dúvidas da lista Sérgio Mariano Dias 1 1 UFMG/ICEx/DCC Entrega da 1 a lista: 31/03/2009 Sérgio Mariano Dias (UFMG) Fundamentos
LINGUAGEM LIVRE DE CONTEXTO GRAMÁTICA LIVRE DE CONTEXTO
LINGUAGEM LIVRE DE CONTEXTO As Linguagens Livres de Contexto é um reconhecedor de linguagens, capaz de aceitar palavras corretas (cadeia, sentenças) da linguagem. Por exemplo, os autômatos. Um gerador
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
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;
SCC Capítulo 1 Linguagens Regulares e Autômatos Finitos
SCC-505 - Capítulo 1 Linguagens Regulares e Autômatos Finitos João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo
IBM1088 Linguagens Formais e Teoria da
IBM1088 Linguagens Formais e Teoria da Computação Linguagens e Gramáticas Evandro Eduardo Seron Ruiz [email protected] Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 47 Frase do dia Sofremos muito com
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
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
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
Linguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes [email protected] Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação - P. Blauth Menezes
LINGUAGENS FORMAIS E AUTÔMATOS
LINGUAGENS FORMAIS E AUTÔMATOS O objetivo deste curso é formalizar a idéia de linguagem e definir os tipos de sintaxe e semântica. Para cada sintaxe, analisamos autômatos, ue são abstrações de algoritmos.
Teoria de Linguagens 1 o semestre de 2018 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 17/4/2018 Valor: 10 pontos
Departamento de Ciência da Computação ICEx/UFMG Teoria de Linguagens o semestre de 8 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 7/4/8 Valor: pontos. Uma versão do problema
Faculdade de Computação
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Disciplina : Teoria da Computação - 1 0 Semestre 007 Professora : Sandra Aparecida de Amo Solução da Lista de Exercícios n o 1 Exercícios de Revisão
ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO
ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO 2. Linguagens Livres-do-Contexto Referência: SIPSER, M. Introdução à Teoria da Computação. 2ª edição, Ed. Thomson Prof. Marcelo S. Lauretto [email protected]
Linguagens Formais e Problemas de Decisão
Linguagens Formais e Problemas de Decisão Mário S. Alvim ([email protected]) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim ([email protected]) Linguagens Formais e Problemas
Formas normais. Forma normal de Greibach (FNG) todas as produções são da forma
Formas normais Em muitas aplicações, é útil que as GIC tenham regras de tipos especiais. Para tal é necessário que se possa transformar qualquer gramática numa equivalente (isto é que gere a mesma linguagem)
Fundamentos da Teoria da Computação
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre dúvidas Sérgio Mariano Dias 1 1 Doutorando em Ciência da Computação Estagiário em docência II Departamento de Ciência da Computação
Propriedades das Linguagens Livres do Contexto
Capítulo 7 Propriedades das Linguagens Livres do Contexto As linguagens livres do contexto ocupam uma posição central na hierarquia das linguagens formais. Por um lado, as linguagens livres do contexto
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
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
ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO
ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO 2. Linguagens Livres-do-Contexto Referência: SIPSER, M. Introdução à Teoria da Computação. 2ª edição, Ed. Thomson Prof. Marcelo S. Lauretto [email protected]
Exemplo preliminar. Considere a linguagem dos Palíndromos Lpal:
a n b n 1 Exemplo preliminar Considere a linguagem dos Palíndromos Lpal: radar, Roma é amor, 0110, 11011,... ou seja, quando w = w r Lpal é regular? usando o Lema do Bombeamento: Suponha Lpal regular,
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
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
Autómatos de pilha e GIC
Autómatos de pilha e GIC Proposição 17.1. A classe de linguagens aceites por autómatos de pilha está contida na classe das linguagens independentes de contexto. Dem. Seja L uma linguagem independente de
Universidade Federal do Rio de Janeiro Departamento de Ciência da Computação
Universidade Federal do Rio de Janeiro Departamento de Ciência da Computação Não são aceitas respostas sem justificativa. Explique tudo o que você fizer. Linguagens Formais o semestre de 999 Primeira Prova
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
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. [email protected] Legenda: = sigma (somatório) = delta ε = epsilon λ =
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
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
Vamos estudar neste capítulo algumas características da classe das linguagens regulares sobre um alfabeto. Entre elas salientámos:
5 Propriedades de LR Vamos estudar neste capítulo algumas características da classe das linguagens regulares sobre um alfabeto. Entre elas salientámos: São fechadas para determinas operações sobre linguagens:
Teoria de Linguagens 2 o semestre de 2015 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 15/9.
Pós-Graduação em Ciência da Computação DCC/ICEx/UFMG Teoria de Linguagens 2 o semestre de 2015 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 15/9. Observações: Pontos
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:
Teoria de Linguagens 2 o semestre de 2017 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 19/9/2017 Valor: 10 pontos
Departamento de Ciência da Computação ICEx/UFMG Teoria de Linguagens o semestre de 7 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 9/9/7 Valor: pontos. Uma versão do problema
Linguagens Livres de Contexto
Linguagens Livres de Contexto 1 Conteúdo Programático Introdução Teoria de autômatos Strings e linguagens Gramáticas Algoritmos Linguagens formais Hierarquia de chomsky Linguagens Regulares Autômatos finitos
Construção de Compiladores
Construção de Compiladores Parte 1 Introdução Linguagens e Gramáticas F.A. Vanini IC Unicamp Klais Soluções Motivação Porque compiladores? São ferramentas fundamentais no processo de desenvolvimento de
LFA Aula 09. Gramáticas e Linguagens Livres de Contexto 18/01/2016. Linguagens Formais e Autômatos. Celso Olivete Júnior.
LFA Aula 09 Gramáticas e Linguagens Livres de Contexto (Hopcroft, 2002) 18/01/2016 Celso Olivete Júnior [email protected] www.fct.unesp.br/docentes/dmec/olivete/lfa 1 Classes Gramaticais Linguagens
Capítulo 3: Gramáticas
Capítulo 3: Gramáticas Já vimos que procedimentos podem ser usados para definir linguagens de duas maneiras essenciais: como geradores, procedimentos que enumeram os elementos da linguagem, e como reconhecedores
SCC Capítulo 2 Linguagens Livres de Contexto e Autômatos de Pilha (versão 2)
SCC-505 - Capítulo 2 e (versão 2) João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo http://www.icmc.usp.br/~joaoluis
Linguagens Livres de Contexto
Universidade Católica de Pelotas Centro Politécnico Bacharelado em Ciência da Computação 364018 Linguagens Formais e Autômatos TEXTO 4 Linguagens Livres de Contexto Prof. Luiz A M Palazzo Maio de 2011
Draft-v Gramáticas Independentes do Contexto O funcionamento de uma CFG Derivação de uma palavra
Gramáticas Independentes do Contexto Como vimos nos capítulos anteriores, apesar da classe das Linguagens Regulares serem particularmente bem comportadas tanto em termos de complexidade dos seus algoritmos
Lista 6. Bases Matemáticas. Funções I. 1 Dados A e B conjuntos, defina rigorosamente o conceito de função de A em B.
Lista 6 Bases Matemáticas Funções I Dados A e B conjuntos, defina rigorosamente o conceito de função de A em B. Dados os conjuntos A = {a, e, i, o, u} e B = {,, 3, 4, 5}, diga qual das relações abaixo
Gramática. Prof. Yandre Maldonado e Gomes da Costa. Prof. Yandre Maldonado - 1
Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa [email protected] Prof. Yandre Maldonado - 2 Mecanismo gerador que permite definir formalmente uma linguagem; Através de uma gramática
LINGUAGENS FORMAIS Definições. Desenvolveram-se na História em função da necessidade dos grupos humanos que as empregavam
Linguagens Naturais LINGUAGENS FORMAIS Definições Desenvolveram-se na História em função da necessidade dos grupos humanos que as empregavam São muito ricas, mas também ambíguas e imprecisas. Ex.: João
Gramática. Gramática. Gramática
Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa [email protected] Prof. Yandre Maldonado - 2 Mecanismo gerador que permite definir formalmente uma linguagem; Através de uma gramática
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/30 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
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?
Linguagens Livres de Contexto
Linguagens Livres de Contexto 1 Roteiro Gramáticas livres de contexto Representação de linguagens livres de contexto Formas normais para gramáticas livres de contexto Gramáticas ambíguas Autômatos de Pilha
Gramáticas Livres de Contexto
Gramáticas Livres de Contexto IBM1088 Linguagens Formais e Teoria da Computação Evandro Eduardo Seron Ruiz [email protected] Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 42 Frase do dia Quando vires
Computação Fiável Indução - exercícios básicos
Computação Fiável Indução - exercícios básicos Simão Melo de Sousa 17 de Outubro de 2011 Conteúdo 1 Indução Estrutural 1 2 Indução Bem Fundada 9 1 Indução Estrutural Exercício 1 Demonstre por indução estrutural
Capítulo 9: Linguagens sensíveis ao contexto e autômatos linearmente limitados.
Capítulo 9: Linguagens sensíveis ao contexto e autômatos linearmente limitados. José Lucas Rangel 9.1 - Introdução. Como já vimos anteriormente, a classe das linguagens sensíveis ao contexto (lsc) é uma
Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos
Notas de aula de Lógica para Ciência da Computação Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 27 de agosto de 2014 Sumário 1 Sintaxe
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.
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
Expressões regulares
Expressões regulares IBM1088 Linguagens Formais e Teoria da Computação Evandro Eduardo Seron Ruiz [email protected] Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 38 Frase do dia A vida é uma luta inteira
AFNs, Operações Regulares e Expressões Regulares
AFNs, Operações Regulares e Expressões Regulares AFNs. OperaçõesRegulares. Esquematicamente. O circulo vermelho representa o estado inicial q 0, a porção verde representa o conjunto de estados de aceitação
Gramática Livre de Contexto
Gramática Livre de Contexto Prof. Yandre Maldonado - 1 Árvore de derivação Ambigüidade Simplificação de Gramática Forma Normal de Chomsky (FNC) Forma Normal de Greibach (FNG) Prof. Yandre Maldonado e Gomes
Prova 1 de INF1626 Linguagens Formais e Autômatos
Prova 1 de INF1626 Linguagens Formais e Autômatos Aluno(a): Matrícula: Atenção: O tempo total de prova é de 110 minutos (09:05 às 10:55). Durante a prova não é permitido o uso de qualquer aparelho eletrônico
Compiladores Aula 4. Celso Olivete Júnior.
Aula 4 Celso Olivete Júnior [email protected] Na aula de hoje... Revisão: gramáticas Relações em uma gramática: Cabeça, Último, Primeiro (First) e Seguinte (Follow) Capítulo 4 (seção 4.4.2) do livro
Linguagens Formais e Autômatos. Simplificação de Gramáticas Livre do Contexto (GLC)
Linguagens Formais e Autômatos Simplificação de Gramáticas Livre do Contexto (GLC) Cristiano Lehrer, M.Sc. Gramática Simplificada Gramática simplificada é uma gramática livre do contexto que não apresenta
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
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
Propriedades de Linguagens Livres de Contexto. Propriedades de Linguagens Livres de Contexto. Propriedades de Linguagens Livres de Contexto
UNIVESIDADE ESTADUAL DE MAINGÁ DEPATAMENTO DE INFOMÁTICA Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa Prof. Yandre Maldonado - 2 A classe de linguagens livres de contexto é fechada
Linguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes [email protected] Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.
Linguagens O conceito de linguagem engloba uma variedade de categorias distintas de linguagens: linguagens naturais, linguagens de programação, linguagens matemáticas, etc. Uma definição geral de linguagem
Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.
Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.
Problemas decidíveis para LICs
Problemas decidíveis para LICs Dada uma gramática independente de contexto G, L(G) =? Dada uma gramática independente de contexto G, L(G) é finita? Dada uma gramática independente de contexto G, L(G) é
Linguagens Formais e Autômatos (LFA)
Linguagens Formais e Autômatos (LFA) Aula de 28/08/2013 Sobre as respostas das duplas aos exercícios cios propostos 1 Fatos extraídos dos scores das duplas Tempo médio de resposta - A série inteira de
Transformações úteis para GLC: (1) eliminação de produções nulas; (2) eliminação de produções unitárias; (3) Eliminação de símbolos estéreis e
Transformações úteis para GLC: (1) eliminação de produções nulas; (2) eliminação de produções unitárias; (3) Eliminação de símbolos estéreis e inacessíveis; Forma Normal de Chomsky (FNC) e Forma Normal
Aulas 10 e 11 / 18 e 20 de abril
1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar
Elementos de Matemática Finita
Elementos de Matemática Finita Exercícios Resolvidos - Princípio de Indução; Algoritmo de Euclides 1. Seja ( n) k n! k!(n k)! o coeficiente binomial, para n k 0. Por convenção, assumimos que, para outros
ALGORITMO DE EUCLIDES
Sumário ALGORITMO DE EUCLIDES Luciana Santos da Silva Martino lulismartino.wordpress.com [email protected] PROFMAT - Colégio Pedro II 25 de agosto de 2017 Sumário 1 Máximo Divisor Comum 2 Algoritmo
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 [email protected] Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 41 Frase do dia Através de três métodos
Gramá3ca Livre de Contexto (GLC)
Linguagens Formais e Autômatos Gramá3ca Livre de Contexto (GLC) Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (hep://dcc.ufmg.br/~nvieira) Sumário Gramá4cas livres de
Construção de Compiladores Aula 17 - Análise Sintática Descendente
Construção de Compiladores Aula 17 - Análise Sintática Descendente Bruno Müller Junior Departamento de Informática UFPR 3 de Novembro de 2014 1 Análise Sintática Descendente Eliminação de retrocessos Converter
