<S> ::= <L><C> <L> ::= l <C> ::= l<c> n<c> n l λ. L(G 1 ) = {a n b 2m n>0 m 0} L(G 2 ) = {lw w {l, n} * } L(G 3 ) = {a n b 2m n>0 m 0}

Documentos relacionados
Faculdade de Computação

Apostila 02 - Linguagens Regulares Exercícios

Pontifícia Universidade Católica de Campinas Centro de Ciências Exatas, Ambientais e de Tecnologias Faculdade de Engenharia de Computação

3. Seja Σ um alfabeto. Explique que palavras pertencem a cada uma das seguintes linguagens:

Teoria de Linguagens 2 o semestre de 2014 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 23/10.

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

Gramáticas Regulares. Capítulo Gramáticas regulares

Faculdade de Computação

Linguagens Regulares e Autômatos de Estados Finitos. Linguagens Formais. Linguagens Formais (cont.) Um Modelo Fraco de Computação

DCC-UFRJ Linguagens Formais Primeira Prova 2008/1

Aula 8: Gramáticas Livres de Contexto

Linguagens Formais e Autômatos (LFA)

Linguagens Formais e Autômatos (LFA)

Modelos de Computação -Folha de trabalho n. 2

Lic. Ciências da Computação 2009/10 Exercícios de Teoria das Linguagens Universidade do Minho Folha 6. δ

Exemplos de autómatos finitos

UNIVERSIDADE FEDERAL DA BAHIA DEPARTAMENTO DE MATEMÁTICA MAT ALGEBRA LINEAR I-A PROF.: GLÓRIA MÁRCIA

é: y y x y 31 2 d) 18 e) O algarismo das unidades de é igual a: a) 1 b) 3 c) 5 d) 7 e) 9

Linguagens Formais Capítulo 5: Linguagens e gramáticas livres de contexto

é: 31 2 d) 18 e) 512 y y x y

Após encontrar os determinantes de A. B e de B. A, podemos dizer que det A. B = det B. A?

Hierarquia de Chomsky

MATRIZES. 1) (CEFET) Se A, B e C são matrizes do tipo 2x3, 3x1 e 1x4, respectivamente, então o produto A.B.C. (a) é matriz do tipo 4 x 2

LRE LSC LLC. Autômatos Finitos são reconhecedores para linguagens regulares. Se não existe um AF a linguagem não é regular.

I. LINGUAGENS REGULARES E AUTÔMATOS FINITOS

Dep. Matemática e Aplicações 27 de Abril de 2011 Universidade do Minho 1 o Teste de Teoria das Linguagens. Proposta de resolução

y 5z Grupo A 47. alternativa A O denominador da fração é D = 46. a) O sistema dado é determinado se, e somente se: b) Para m = 0, temos: = 2 x y

Professora: Profª Roberta Nara Sodré de Souza

Draft-v Autómatos mínimos. 6.1 Autómatos Mínimos

Análise Sintáctica Descendente

Autômatos determinísticos grandes

Teoria da Computação. Unidade 3 Máquinas Universais (cont.) Referência Teoria da Computação (Divério, 2000)

Prova 3 Matemática QUESTÕES APLICADAS A TODOS OS CANDIDATOS QUE REALIZARAM A PROVA ESPECÍFICA DE MATEMÁTICA. QUESTÕES OBJETIVAS GABARITO 4

Prova 3 Matemática QUESTÕES APLICADAS A TODOS OS CANDIDATOS QUE REALIZARAM A PROVA ESPECÍFICA DE MATEMÁTICA. QUESTÕES OBJETIVAS GABARITO 3

Prova 3 Matemática QUESTÕES APLICADAS A TODOS OS CANDIDATOS QUE REALIZARAM A PROVA ESPECÍFICA DE MATEMÁTICA. QUESTÕES OBJETIVAS GABARITO 2

FUNÇÕES. Mottola. 1) Se f(x) = 6 2x. é igual a (a) 1 (b) 2 (c) 3 (d) 4 (e) 5. 2) (UNIFOR) O gráfico abaixo. 0 x

Análise Sintática I: Analisadores Descendentes com Retrocesso

UNIVERSIDADE FEDERAL DA BAHIA DEPARTAMENTO DE MATEMÁTICA MATA07 ÁLGEBRA LINEAR A PROFs.: Enaldo Vergasta,Glória Márcia. 2 a LISTA DE EXERCÍCIOS

Prova 3 Matemática QUESTÕES APLICADAS A TODOS OS CANDIDATOS QUE REALIZARAM A PROVA ESPECÍFICA DE MATEMÁTICA. QUESTÕES OBJETIVAS GABARITO 1

ÁLGEBRA LINEAR Equações Lineares na Álgebra Linear EQUAÇÃO LINEAR SISTEMA LINEAR GEOMETRIA DA ESQUAÇÕES LINEARES RESOLUÇÃO DOS SISTEMAS

UNIVERSIDADE FEDERAL DE PERNAMBUCO. Resumo. Nesta aula, utilizaremos o Teorema Fundamental do Cálculo (TFC) para o cálculo da área entre duas curvas.

Solução da Terceira Lista de Exercícios Profa. Carmem Hara

Material envolvendo estudo de matrizes e determinantes

Propriedades das Linguagens Regulares

Simulado EFOMM - Matemática

1 ÁLGEBRA MATRICIAL 1.1 TIPOS ESPECIAIS DE MATRIZES. Teorema. Sejam A uma matriz k x m e B uma matriz m x n. Então (AB) T = B T A T

Colegio Naval ) O algoritmo acima foi utilizado para o cálculo do máximo divisor comum entre os números A e B. Logo A + B + C vale

Matemática A - 10 o Ano Ficha de Trabalho

LISTA 100 EXERCÍCIOS COMPLEMENTARES

TEORIA DOS LIMITES LIMITES. Professor: Alexandre 2. DEFINIÇÃO DE LIMITE

3.3 Autómatos finitos não determinísticos com transições por ε (AFND-ε)

Matemática. Resolução das atividades complementares. M24 Equações Polinomiais. 1 (PUC-SP) No universo C, a equação

Uma situação muito comum de função exponencial é aquela em que uma determinada grandeza, que pra um instante t = 0 ela apresenta uma medida y y0

Aula 5: Autômatos Finitos Remoção de Não-Determinismo

MARINHA DO BRASIL DIRETORIA DE ENSINO DA MARINHA (PROCESSO SELETIVO DE ADMISSÃO AO COLÉGIO NAVAL / PSA CN-2005) Prova : Amarela MATEMÁTICA

x 0 0,5 0,999 1,001 1,5 2 f(x) 3 4 4,998 5,

Escola Secundária/2,3 da Sé-Lamego Ficha de Trabalho de Matemática A Ano Lectivo 2011/12 Distribuição de probabilidades 12.º Ano

QUESTÃO 01 Seja f : R R uma função definida pela sentença f(x) = 3 0,5 x. A respeito desta função considere as seguintes afirmativas:

Prova Escrita de MATEMÁTICA A - 12o Ano a Fase

1. Prove a chamada identidade de Lagrange. u 1,u 3 u 2,u 3. u 1 u 2,u 3 u 4 = u 1,u 4 u 2,u 4. onde u 1,u 2,u 3 e u 4 são vetores em R 3.

Gramática. Prof. Yandre Maldonado e Gomes da Costa. Prof. Yandre Maldonado - 1

Gramática. Gramática. Gramática

Fatoração e Produtos Notáveis

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

Matemática para Economia Les 201. Aulas 28_29 Integrais Luiz Fernando Satolo

Matemática para Economistas LES 201. Aulas 5 e 6 Matrizes Chiang Capítulos 4 e 5. Luiz Fernando Satolo

Análise Léxica. Construção de Compiladores. Capítulo 2. José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto

Matrizes. Matemática para Economistas LES 201. Aulas 5 e 6 Matrizes Chiang Capítulos 4 e 5. Márcia A.F. Dias de Moraes. Matrizes Conceitos Básicos

xy 1 + x 2 y + x 1 y 2 x 2 y 1 x 1 y xy 2 = 0 (y 1 y 2 ) x + (x 2 x 1 ) y + (x 1 y 2 x 2 y 1 ) = 0

QUESTÃO 01. O lado x do retângulo que se vê na figura, excede em 3cm o lado y. O valor de y, em centímetros é igual a: 01) 1 02) 1,5 03) 2

MATRIZES, DETERMINANTES E SISTEMAS LINEARES PROF. JORGE WILSON

TÓPICOS. Determinantes de 1ª e 2ª ordem. Submatriz. Menor. Cofactor. Expansão em cofactores. Determinante de ordem n. Propriedades dos determinantes.

"Bem-vindos ao melhor ano de suas vidas #2018"

Unidade 8 Geometria: circunferência

BANCO DE EXERCÍCIOS - 24 HORAS

02 e D são vértices consecutivos de um quadrado e PAB é um triângulo equilátero, sendo P interno ao quadrado ABCD. Qual é a medida do ângulo PCB?

REVISÃO Lista 12 Geometria Analítica., então r e s são coincidentes., então r e s são perpendiculares.

Propriedades Matemáticas

Universidade Federal do Rio Grande FURG. Instituto de Matemática, Estatística e Física IMEF Edital 15 - CAPES MATRIZES

Trabalhando-se com log 3 = 0,47 e log 2 = 0,30, pode-se concluir que o valor que mais se aproxima de log 146 é

Autômato Finito. Autômato Finito Determinístico. Autômato Finito Determinístico

Última atualização 03/09/2009

CONJUNTOS NUMÉRICOS NOTAÇÕES BÁSICAS. : Variáveis e parâmetros. : Conjuntos. : Pertence. : Não pertence. : Está contido. : Não está contido.

Matemática para Economia Les 201

Aula 4: Autômatos Finitos Autômatos Finitos Não-Determinísticos

Elementos de Análise - Lista 6 - Solução

Gramática Livre de Contexto

3 Teoria dos Conjuntos Fuzzy

EXAME DE INGRESSO º Período

CPV O Cursinho que Mais Aprova na GV

obtendo 2x x Classifique como Verdadeiro (V) ou Falso (F) cada uma das seguintes afirmações: é um número racional.

CPV O cursinho que mais aprova na GV

Exercícios. setor Aula 25

O Autômato Adaptativo como Modelo de Computação e sua Aplicação em Reconhecimento de Padrões*

4 π. 8 π Considere a função real f, definida por f(x) = 2 x e duas circunferência C 1 e C 2, centradas na origem.

Técnicas de Análise de Circuitos

AULA DE VÉSPERA VESTIBULAR 2019 MATEMÁTICA

Prova elaborada pelo prof. Octamar Marques. Resolução da profa. Maria Antônia Conceição Gouveia.

Álgebra Linear e Geometria Analítica D

Matemática. Resolução das atividades complementares. M13 Determinantes. 1 (Unifor-CE) Sejam os determinantes A 5. 2 (UFRJ) Dada a matriz A 5 (a ij

Transcrição:

1) Dds s seguintes grmátics: UNIVERIDADE ETADUAL DE MARINGÁ UEM ENTRO DE TENOLOGIA T DEPARTAMENTO DE INFORMÁTIA DIN BAHARELADO EM INFORMÁTIA DIIPLINA: LINGUAGEN FORMAI E AUTÔMATO PROFEOR: YANDRE MALDONADO E GOME DA OTA List de Exercícios n o 5 Grmátic G 1 =(V, T, P, ), onde: V={, A, B} P={ 1) AB 2) A A 3) A 4) B B 5) B λ } G 2 =(V, T, P, ), onde: V={, L, } T={l, n} P={ 1) L 2) L l 3) l 4) n 5) n 6) l 7) λ } G 3 =(V, T, P, ), onde: V={, B} P={ 1) AB 2) A A 3) A 4) B B 5) B λ } ) Descrev grmátic G 2 em BNF; <> ::= <L><> <L> ::= l <> ::= l<> n<> n l λ ) Descrev qul lingugem gerd por G 1 ; L(G 1 ) = { n 2m n>0 m 0} c) Descrev qul lingugem gerd por G 2 ; L(G 2 ) = {lw w {l, n} * } d) Descrev qul lingugem gerd por G 3 ; L(G 3 ) = { n 2m n>0 m 0} e) Mostre derivção de três sentençs trvés d grmátic G 2 ;

1 L 2 l 7 l 1 L 2 l 4 ln 6 lnl f) Mostre derivção de dus sentençs trvés d grmátic G 2, utilizndo árvore de derivção sintátic; L L l λ l n l 2) Assinle V qundo julgr verddeir, ou F qundo julgr fls cd um ds seguintes firmções: (V ) ore um lingugem L(G), gerd por um grmátic G, podemos dizer que L(G) = {α T * * α} (V ) A gerção diret contece pel plicção de um regr do conjunto P, trnsformndo um form sentencil em outr. (V ) Qulquer cdei que se poss gerr prtir do símolo de prtid de um grmátic é um form sentencil dest grmátic. (F ) Tod sentenç de um grmátic pode ser gerd diretmente prtir do símolo de prtid. (F ) Tod sentenç é um form sentencil e tod form sentencil é um sentenç. 3) Dd seguinte grmátic: G = (V, T, P, ) Onde: V = {, B} T = {, } P = { 1) 2) B 3) B B 4) B λ }

Qul é lingugem L(G) gerd pel grmátic descrit cim? L(G) = { n m n n>0 m 0 } Descrev um seqüênci de regrs (plicndo derivção mis à esquerd) que resultri n produção d sentenç. 1, 1, 2, 4 onsiderndo grmátic descrit cim, ssinle V ou F: (F ) Pode-se firmr que não é um sentenç. (V ) Pode-se firmr que é um sentenç. (F ) Pode-se firmr que A é um form sentencil. (F ) Pode-se firmr que B é um form sentencil. (F ) Pode-se firmr que não é um form sentencil. 4) Dd seguinte ER, encontre um utômto e um grmátic equivlentes el: 0 * 1(0+1) * 0 0, 1 1 0 1 0 0 0 0 1 1 1 0 1 1 1 1 1 λ 5) Descrev grmátics pr s seguintes lingugens: ) onjunto de plíndromos sore {, } λ

) { n m n n 0 m é ímpr} B B B B c) { n m c 2n m,n 0} cc B B B B λ d) { n m m>n} B B B B 6) Ddos os seguintes Autômtos Finitos, encontre Grmátics Regulres equivlentes eles: ) A B G=(V, T, P, ), onde: V={, A, B, } P={ 1) A 2) A B 3) A 4) B A 5) λ }

) A B G=(V, T, P, ), onde: V={, A, B, } P={ 1) A 2) A A 3) A B 4) B 5) λ } 7) Dds s seguintes Grmátics Regulres, encontre Autômtos Finitos equivlentes els e identifique s lingugens gerds pels mesms: G 1 =(V, T, P, ), onde: V={, A, B, } P={ 1) A 2) 3) λ 4) A 5) A B 6) B 7) B λ 8) B } G 2 =(V, T, P, ), onde: V={, A, B,, D} P={ 1) A 2) A B 3) B B 4) B 5) D 6) λ 7) D } ) { m n m, n 0 m+n é pr} 0 1 2 3

) { m () n m, n 0} 0 1 2 3 4 8) Dds s seguintes grmátics: G 1 =(V, T, P, ), onde: V={, A, B} P={ B A A AA B BB } G 2 =(V, T, P, ), onde: V={} P={ } G 3 =(V, T, P, ), onde: V={, A, B, } T={,, c} P={ AA ABA A B B B λ c } ) Descrev qul lingugem gerd por G 1 ; L(G 1 ) = {w {, } + w = w } ou L(G 1 ) = {w {,} + w contém número de s igul o número de s} ) Descrev qul lingugem gerd por G 2 ; L(G 2 ) = { n n n 0} c) Descrev qul lingugem gerd por G 3 ; L(G 2 ) = { n 2m (c) n n>0 m 0}