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 ).
|
|
- Benedito do Amaral Rocha
- 6 Há anos
- Visualizações:
Transcrição
1 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 (de Pilha); Prova-se que, toda a LIC reconhecível por um DP (por Estado Final ou por Pilha Vazia) tem uma Gramática geradora não ambígua; existência de utómatos Deterministas é vital para o Processamento automático de Linguagens. istemas como o lex são geradores automáticos de utómatos Finitos Deterministas, do mesmo modo que sistemas como o yacc são geradores automáticos de utómatos Deterministas de Pilha; É também importante, tanto para o Processamento de Linguagens como para a demonstração de propriedades, que as produções das LIC s tenham formas determinadas... 2HUDo}HV GH ³VLPOLILFDomR GH *UDPiWLFDV 1. Eliminação de produções-h : {uma produção-h tem a forma ε } Dada uma gramática G = (V, T, P, ), tal que ε ² L(G), construir G, sem produções-ε, de modo a que L(G) = L(G ).
2 Definição: Uma variável ± Vdiz-se anulável quando * ε. lgoritmo: { eliminação de variáveis anuláveis } Para cada produção ; 1 X 2... X n construir uma produção D 1 D 2... D n onde D i = X i X i ou ε se X i não é anulável se X i é anulável e nem todos os X i são ε; Eliminar todas as produções-ε. Exemplo: B a ε B bbb ε s variáveis anuláveis são, e B. s novas produções serão: B B a a a B bbb bb b
3 2. Eliminação de produções unitárias : {uma produção unitária tem a forma B, com, B ± V} Dada uma gramática G = (V, T, P, ) construir G, sem produções unitárias, de modo a que L(G) = L(G ). Definição: Ä, B Ô diz-se um par unitário quando *B, usando só produções unitárias. lgoritmo: Identificar todos os pares unitários; Para cada par unitário Ä, B Ô, e para todas as produções não unitárias de B: B juntar as produções E 1 E 2... E n ; E 1 E 2... E n Eliminar todas as produções unitárias. Exemplo: E 7 _(7 T )_7 F F, (E) I a b Ia Ib I0 I1 Os pares unitários são: Ä E, T Ô, Ä E, F Ô, Ä E, I Ô, Ä T, F Ô, Ä T, I Ô, Ä F, I Ô s novas produções serão: E T F I E + T T F (E) a b Ia Ib I0 I1 T F (E) a b Ia Ib I0 I1 (E) a b Ia Ib I0 I1 a b Ia Ib I0 I1
4 3. Eliminação de símbolos inúteis : {um símbolo é inútil se não for útil...} Dada uma gramática G = (V, T, P, ) construir G, sem símbolos inúteis, de modo a que L(G) = L(G ). Definição: Um símbolo X ± V ª T diz-se útil numa Gramática G = (V, T, P, ) se existir alguma derivação * D X E * w com w ± T* e D, E± (V ª T)*. Portanto, se X for um símbolo útil então: 1. * D X E para alguns D, E± (V ª T)* (X é atingível) 2. X * w para algum w ± T*. (X é gerador) lgoritmo para a determinação do conjunto dos símbolos geradores: Caso Base: Todos os símbolos terminais são geradores; Indução: e existir uma produção D, D± (V ª T)* onde todas as variáveis em D são geradoras, então é um símbolo gerador. Exemplo: $%_& %_& B _$ C $&_&
5 Os terminais 0 e 1 são geradores por B 1 B é gerador por 0B é gerador por B é gerador Portanto o símbolo C pode ser HOLPLQDGR, ficando: B B 0B 1 0 lgoritmo para a determinação do conjunto dos símbolos atingíveis: Caso Base: é atingível; Indução: e existir uma produção D, D± (V ª T)* onde é atingível, então todas as variáveis em D são atingíveis. Exemplo: $ a ε B b variável B não é atingível, podendo portanto ser eliminada, bem como a produção B E$. Para eliminar todos os símbolos inúteis: 1º : eliminar os símbolos QmRJHUDGRUHV; 2º : eliminar os VtPERORVQmRDWLQJtYHLV. (por esta ordem!)
6 Exemplo: Eliminar todos os símbolos e produções inúteis da gramática G = ( {,, B, C}, {a, b}, P, ) com P: B C a C D aa acb Os símbolos geradores são {,, B}, ficando: B a D DD e como os símbolos atingíveis são {, }, a nova gramática será G = ( {, }, {a, b}, P, ) com P : a D ³6LPOLILFDomR GH *UDPiWLFDV: Dada uma gramática G = (V, T, P, ), tal que L(G) œ, construir G, tal que L(G ) = L(G) \ {ε} e G não tem produções-ε, nem produções unitárias nem símbolos inúteis. 1º : eliminar as URGXo}HVH; 2º : eliminar as URGXo}HVXQLWiULDV; 3º : eliminar os VtPERORVe asurgxo}hvlq~whlv.
7 )RUPDV 1RUPDLV $ )RUPD 1RUPDO GH &KRPVN\ Prova-se que: Para toda a Linguagem Independente do Contexto L, existe uma Gramática G que gera L \ {ε}, sem símbolos inúteis, onde cada produção tem uma das formas: %& D 5HGXomR j )RUPD 1RUPDO GH &KRPVN\ 1º : eliminar as URGXo}HVH; 2º : eliminar as URGXo}HVXQLWiULDV; 3º : eliminar os VtPERORVe asurgxo}hvlq~whlv. 4º : eliminar VtPERORVWHUPLQDLV do lado direito de produções; 5º : reduzir os lados direitos das produções a GXDVYDULiYHLV; (4º) Eliminar os símbolos terminais do lado direito das produções: Para cada símbolo terminal a, b, c,... juntar novas variáveis X a,x b,x c,... bem como novas produções X a D; b E; c c,... ubstituir a por X a,b por X b,c por X c,... (quando não aparecerem isolados) nos lados direitos da produções. (5º) Reduzir os lados direitos das produções a duas variáveis: ubstituir cada produção da forma B 1 B 2 B 3... por B 1 B 23 B 23 B 2 B 34 B 34 B 3 B 45...
8 Exemplo: Reduzir à Forma Normal de Chomsky: B B ε D a 6b bb 1º : eliminar as URGXo}HVH; Como o único símbolo anulável é, que nunca aparece isolado num lado direito de produção, não há produções a eliminar. Basta detectar as ocorrências (anuláveis) de : B B B a a a b b b b bb ž eliminar as URGXo}HVXQLWiULDV; Como a única produção unitária é B, basta substituir: B B B a a a b b b b a a a bb 3º : eliminar os VtPERORVeasURGXo}HVLQ~WHLV. Todos os símbolos são geradores e atingíveis. 4º : eliminar os VtPERORVWHUPLQDLV do lado direito das produções, quando não ocorrerem isolados; Introduzir as variáveis C e D e as produções C D ed E:
9 B C D $6%_$% &$6_&$_D 6'6_'6_6'_E_&$6_&$_D_'' D E ž reduzir os lados direitos das produções a GXDVYDULiYHLV; Por fim, para reduzir as sequências B, C e D, introduzir as variáveis E, F e G. gramática pretendida, na Forma Normal de Chomsky, será então: B C D E F G E B CF C a G D D b CF C a DD a b B D $ )RUPD 1RUPDO GH *UHLEDFK Prova-se que: Para toda a Linguagem Independente do Contexto L, existe uma Gramática G que gera L \ {ε}, onde cada produção tem a forma: a D com a ± T e D± V*.
10 { Um pequeno regresso às Linguagens Regulares} $ )RUPD 1RUPDO GDV *UDPiWLFDV 5HJXODUHV Prova-se que: Toda a Linguagem Regular pode ser gerada por uma Gramática onde cada produção tem uma das formas: X D Y com a ± T e X, Y ± V X ε com X ± V Este resultado permite demonstrar de modo bem simples que: 7HRUHPD: Para toda a Gramática Regular G existe um utómato Finito (FND-ε ) tal que L() = L(G). 'HPRQVWUDomR &RQVWUXomR: eja G = (V, T, P, ) uma Gramática Regular escrita na sua Forma Normal. Construímos o utómato Finito = (Q, T, G, Q 0, F), fazendo: Q = V Q 0 = F = { X ± V [X ε] ± P} G(X, a) = Y sse [X ay] ± P.
11 Exemplo: eja G = ( {,, B, C}, {a, b}, P, ), com P dado por: D6_E6_D$ E% B D& C ε O utómato pretendido é = ({,, B, C}, {a, b}, G,, {C} ) com cuja Expressão Regular é (a + b)* a b a. É fácil verificar que toda a palavra de L(G) é reconhecida por, bem como o inverso. Também não é difícil verificar que: 7HRUHPD: Para todo o utómato Finito Não Determinista, existe uma Gramática Regular G tal que L(G) = L().
12 2 /HPD GD %RPEDJHP DUD /LQJXDJHQV,QGHHQGHQWHV GR &RQWH[WR 7HRUHPD eja L uma Linguagem Independente do Contexto. Então existe um inteiro positivo n tal que, para toda a palavra ] ± Lcom ] n, existem X, Y, Z, [, \ ±È* tais que: ] = XYZ[\ YZ[ n Y[ > 0 k 0, XY k Z[ k \ ± L de modo mais formal: L Linguagem Independente do Contexto, n ± : ] ± Lcom ] n, X, Y, Z, [, \ ±È*: ] = XYZ[\ com vwx ne vx > 0 : k± 0, XY k Z[ k \ ± L. ou seja: Toda a palavra (suficientemente longa) de L pode ser dividida em cinco partes de modo a que, com um número igual de repetições da segunda e quarta partes, continue a ser uma palavra de L.
13 Um exemplo: G = ( {, }, {a, b, c}, P, ), na Forma Normal de Chomsky com, c $$_D_E Para uma palavra suficientemente longa tal como w = baababbaac temos a árvore de derivação: * baa aac X YZ[\ Verificamos que a parte central (a mais ORQJD) é gerada por: * ba b = YZ[ e que pode ser bombeada por forma a gerar: * (ba) k b(b) k =(Y) k Z ([) k
14 como por exemplo, para k = 3: (Y) 3 Z ([) 3 Ou seja, * baa (ba) k b(b) k aac = X (Y) k Z ([) k \ ± L, k 0 Por outro lado, como a Gramática está na Forma Normal de Chomsky, a Árvore de Derivação é sempre uma ÈUYRUH%LQiULD, onde: 7HRUHPD Numa Árvore Binária com n níveis, n {folhas} 2 n-1. {... Prove! }
15 7HRUHPD Numa Árvore Binária com 2 m folhas, o número de nós visitados pelo Caminho mais longo da raiz até às folhas, é: m + 1 C Max 2 m. 3DUDP iuyruhelqiuldwrwdo iuyruhelqiuldghjhqhudgd No caso das Árvores de Derivação de uma Gramática, na Formal Normal de Chomsky, os resultados anteriores referem apenas às Produções da forma %&Vygeradoras de variáveis). 'HPRQVWUDomR (do Lema da Bombagem para LIC s) eja L é uma Linguagem Independente do Contexto e G uma Gramática, na Formal Normal de Chomsky, tal que L(G) = L \ {ε} e seja m o número de variáveis de G. tem uma Árvore de Derivação com, pelo menos, m +1 níveis (cujos nós são variáveis). Uma palavra ] ± L de comprimento ] Q P Como só existem m variáveis, alguma variável deverá aparecer repetida.
16 ssim (pelo menos no caminho mais longo) existem (pelo menos) GXDV ocorrências de uma variável. Ou seja, * X \ * Y [ = YZ[ * Z O facto de * X\ (o primeiro ) garante-nos que, YZ[ n= 2 m epor * Y[ (como a Gramática não tem produções-ε), Y[ > 0. Então, por * Y [ podemos ir derivando: * Y [ * YY [[
17 para qualquer k, * Y [ * YY [[ * Y YY [[[... * Y k [ k e mesmo para k = 0, pois * X \ * Z. f 1RWD Comparar esta demonstração com a das Linguagens Regulares;
18 Exemplo: Provar que não é uma Linguagem Independente do Contexto, L= { a m b m c m m 0}. uponhamos que L é Independente do Contexto. Então, pelo Lema da Bombagem, existe um n ± para o qual todas as palavras ] ± Lcom Z n satisfazem as condições. Tomemos ] =a n b n c n. Como ] é suficientemente longa, existem X, Y, Z, [, \ ±È*, tais que: ] = XYZ[\ com YZ[ n Y[ > 0 k 0, XY k Z[ k \ ± L Ora, para que se verifique YZ[ n, a palavra YZ[ não pode conter as 3 letras. uponhamos, por exemplo, que YZ[ não contém c s: Para que se verifique Y[ > 0, pelo menos um deles é não nulo, nenhum contendo c s. Então, como XYZ[\ tem o mesmo número de a s, b s e c s, a palavra XY 0 Z[ 0 \ = XZ\ consistiria numa redução do número de a s e b s, resultando num excesso de c s. ssim, como para k = 0, XY k Z[ k \ ² L Lnãoé uma Linguagem Independente do Contexo.
19 ([HUFtFLRV: Mostrar que QmR são Linguagens Independentes do Contexto: L= { a m b n c m d n m, n 0} L= { a n néum Quadrado Perfeito} L= { a n né um Número Primo} L= { a n! n 0} L= { a m b n m = n 2 } L= { ZZ Z ± {a, b}* }
20 2HUDo}HV VREUH /LQJXDJHQV,QGHHQGHQWHV GR &RQWH[WR 3URULHGDGHV GR )HFKR ejam L 1 a LIC gerada pela Gramática G 1 =(V 1,T 1,P 1, 1 ) e L 2 a LIC gerada pela Gramática G 2 =(V 2,T 2,P 2, 2 ). 8QLmR / ª / é uma Linguagem Independente do Contexto. Basta juntar a produção e assegurar que V 1 «V 2 = (se necessário, mudar o nome de algumas variáveis). Gramática pretendida é G = (V, T, P, ) com: V= V 1 ª V 2 ª T= T 1 ª T 2 P= P 1 ª P 2 ª { } &RQFDWHQDomR / / é uma Linguagem Independente do Contexto. Basta juntar a produção (com V 1 «V 2 = ). )HFKRGH.OHHQH / é uma Linguagem Independente do Contexto. Basta juntar a produção 6 1 ε.
21 +RPRPRUILVPR Classe das Linguagens Independentes do Contexto também é fechada para Homomorfismos. eja G = (V, T, P, ) a Gramática geradora de L e h : T 6* um Homomorfismo. h(g) é uma Gramática com símbolos terminais em 6 e cuja produções se obtêm a partir de P, substituindo cada terminal a ± T por h(a). Não é difícil mostrar que h(g) gera h(l). ([HPOR 6_6_ε com h(0) = aba h(1) = bb h(g) tem as produções: DED6DED_EE6EE_ε Todas estas propriedades são casos particulares de um resultado mais geral HRUHPD GD 6XEVWLWXLomR partir de uma LIC L, substituindo cada símbolo terminal a por uma LIC L a, obtemos uma linguagem da forma, { Z 1 Z 2... Z n a 1 a 2... a n ± Le Z i ± L a i } que é também Independente do Contexto.
22 (VTXHPDGD'HPRQVWUDomR eja G = (V, T, P, ) a gramática geradora de L e G a =(V a,t a,p a, a ) cada gramática geradora de cada L a. e os conjuntos de variáveis (V e V a s) forem disjuntos e, se em cada Produção de G, substituirmos cada ocorrência de cada símbolo a ± T pelo respectivo a, obtemos uma Linguagem Independente do Contexto. s palavras da Linguagem resultante são da forma Z 1 Z 2... Z n, em substituição de cada palavra a 1 a 2... a n ± L. ([HPOR L= {0 n 1 n n 1}, gerada pela gramática de produções: 6_ ubstituímos pela Linguagem {a n b m m n}, gerada por: D6E_$ D$_DE e substituímos pela Linguagem {ab, abc}, gerada por: ab F_ε
23 Nas gramáticas de substituição, a variável passa a chamar-se 0 e 1, respectivamente. Na última gramática, a variável passa a ser B. Ou seja, 0 1 B 6_ D6 0 b D$_DE abb F_ε ubstituindo, na primeira Gramática, 0 por 0 and 1 por 1, obtemos: D 0 b D a b 1 ab B B F_ε ([HUFtFLR: Por aplicação directa do Teorema da ubstituição, mostre que a Classe das Linguagens Independentes do Contexto é fechada para a União, a Concatenação, o Fecho de Kleene e os Homomorfismos.,QWHUVHFomR / «/ QmRp necessariamente uma Linguagem Independente do Contexto.
24 Por exemplo, sejam, L 1 ={a m b m c n m, n 0} definida por, XC X axb ε C cc ε L 2 ={a m b n c n m, n 0} definida por, Y a ε Y byc ε Linguagem L 1 «L 2 ={a n b n c n n 0} não é Independente do Contexto. &RPOHPHQWDU / QmRp necessariamente uma Linguagem Independente do Contexto. Como L 1 «L 2 = L L e porque a classe das LIC s é fechada 1 2 para a União, se fosse fechada para o Complementar também o seria para a Intersecção. E como o Complementar é um caso particular da Diferença... 'LIHUHQoD /?/ QmRp necessariamente uma Linguagem Independente do Contexto.,QYHUVmRQRVHQWLGRGH5HYHUVmR / 5 é uma Linguagem Independente do Contexto.
25 Basta inverter a ordem dos símbolos do lado direito de cada Produção. ([HPOR L = {a m b m c n m, n 0} definida por XC X axb ε C cc ε L R ={c n b m a m m, n 0} é definida por CX X bxa ε C Cc ε +RPRPRUILVPR,QYHUVR K / é uma Linguagem Independente do Contexto. Recordemos que, dado um Homomorfismo de palavras, h : È* ** e uma Linguagem L **, se define: h -1 (L) = {Z ±6* h(z) ± L} o conjunto das palavras cuja imagem homomórfica pertence a L. Prova-se que, se L for uma Linguagem Independente do Contexto, então h -1 (L) também é Independente do Contexto.
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
Leia maisExpressõ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 maisSe o símbolo inicial não fizer parte do conjunto de símbolos férteis, a linguagem gerada pela gramática é vazia.
Transformações em G.L.C Uma vez que existem métodos de análise, cada qual exigindo gramáticas com características específicas é importante que uma gramática possa ser transformada, porém, sem perder a
Leia maisÁrvores (ordenadas) Departamento de Ciência de Computadores da FCUP MC Aula 11 1
Árvores (ordenadas) Recordemos que, uma árvore é grafo (não dirigido) em que o número de vértices excede em 1 o número de arcos. Um vértice é acessível a todos os outros: a raiz. Os vértices que são acessíveis
Leia maisTEORIA 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 maisLinguagens 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&DStWXOR,,,([SUHVV}HV5HJXODUHVH/LQJXDJHQV5HJXODUHV
&DStWXOR,,, ([SUHVV}HV5HJXODUHV H /LQJXDJHQV5HJXODUHV Um Autómato Finito (AFD ou AFND) descreve uma Linguagem. Uma ([SUHVVmR 5HJXODU (ER) é a formalização algébrica de um Autómato Finito. A Linguagem descrita
Leia maisLinguagem (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 maisAlfabeto, 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 maisO que é Linguagem Regular. Um teorema sobre linguagens regulares. Uma aplicação do Lema do Bombeamento. Exemplo de uso do lema do bombeamento
O que é Linguagem Regular Um teorema sobre linguagens regulares Linguagem regular Uma linguagem é dita ser uma linguagem regular se existe um autômato finito que a reconhece. Dada uma linguagem L: É possível
Leia maisConceitos 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 maisLinguagens Formais e Autômatos
Linguagens Formais e Autômatos (notas da primeira aula 1 Definições básicas 1.1 Conjuntos Definição 1. Um conjunto é uma coleção de objetos, denominados elementos. Notação 1. Para indicar que um elemento
Leia maisLinguagens 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 maisTeoria das Linguagens. Linguagens Formais e Autómatos (Linguagens)
Teoria das Lic. em Ciências da Computação Formais e Autómatos () Carla Mendes Dep. Matemática e Aplicações Universidade do Minho 2010/2011 Teoria das - LCC - 2010/2011 Dep. Matemática e Aplicações - Univ.
Leia maisINE5317 Linguagens Formais e Compiladores AULA 9: Propriedades e Reconhecimento das Linguagens Livres do Contexto
INE5317 Linguagens Formais e Compiladores AULA 9: Propriedades e Reconhecimento das Linguagens Livres do Contexto baseado em material produzido pelo prof Paulo Bauth Menezes e pelo prof Olinto José Varela
Leia maisGramática. Gramática. Gramática
Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa yandre@din.uem.br Prof. Yandre Maldonado - 2 Mecanismo gerador que permite definir formalmente uma linguagem; Através de uma gramática
Leia maisTerceira 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 Terceira Lista de Exercícios 2004/2
Leia maisApostila 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 maisLinguagens 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 Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia maisCAPÍTULO 6 SIMPLIFICAÇÃO DE GRAMÁTICAS LIVRES DE CONTEXTO E FORMAS NORMAIS
CAPÍTULO 6 SIMPLIFICAÇÃO DE GRAMÁTICAS LIVRES DE CONTEXTO E FORMAS NORMAIS 6.1 Introdução 215 6.2 Métodos para transformar gramáticas 215 6.2.1 Eliminação do carácter 216 6.2.2 Uma regra geral para substituir
Leia maisCálculo Diferencial e Integral I
Cálculo Diferencial e Integral I Texto de apoio às aulas. Amélia Bastos, António Bravo Dezembro 2010 Capítulo 1 Números reais As propriedades do conjunto dos números reais têm por base um conjunto restrito
Leia maisRevisões de Conjuntos
Revisões de Conjuntos {, {a}, {b}, {a, b}} a A a pertence a A, a é elemento de A a {a, b, c} a / A a não pertence a A d / {a, b, c} A B A contido em B, A subconjunto de B x A x B {a, b} {b, c, a} A B A
Leia mais6.1 equações canônicas de círculos e esferas
6 C Í R C U LO S E E S F E R A S 6.1 equações canônicas de círculos e esferas Um círculo é o conjunto de pontos no plano que estão a uma certa distância r de um ponto dado (a, b). Desta forma temos que
Leia maisFundamentos 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
Leia maisLINGUAGENS 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.
Leia maisAlfabeto 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 maisHierarquia 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 maisAnálise Sintática. Fabiano Baldo
Compiladores Análise Sintática Fabiano Baldo Gramáticas Livre de Contexto (GLC) É utilizada na especificação formal lda sintaxe de uma linguagem de programação. É um conjunto de produções ou regras gramaticais
Leia maisLinguagens e Autômatos
167657 - Controle para Automação Curso de Graduação em Engenharia de Controle e Automação Departamento de Engenharia Elétrica Universidade de Brasília Linguagens e Autômatos Geovany A. Borges gaborges@ene.unb.br
Leia maisMatemática Discreta para Ciência da Computação
Matemática Discreta para Ciência da Computação 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
Leia maisDefiniçõ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 maisApostila 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 maisAFNs, 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
Leia maisLinguagens 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
Leia mais([HUFtFLRVVREUHDVSURSULHGDGHVGRGHWHUPLQDQWH. Pela propriedade do determinante do produto de matrizes,
&DStWXOR±0DWUL]HVLQYHUWtYHLV'HWHUPLQDQWHV31 ([HUFtFLRVVREUHDVSURSULHGDGHVGRGHWHUPLQDQWH Sejam $, % 0 l ( ), tais que _$_ ±e _%_ ó. 'HWHUPLQH: _ $_ " Como $ é uma matriz quadrada de ordem, pela propriedade
Leia maisLinguagens Regulares. Prof. Daniel Oliveira
Linguagens Regulares Prof. Daniel Oliveira Linguagens Regulares Linguagens Regulares ou Tipo 3 Hierarquia de Chomsky Linguagens Regulares Aborda-se os seguintes formalismos: Autômatos Finitos Expressões
Leia maisUNIVERSIDADE 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 maisINTRODUÇÃO AO ESTUDO DA ÁLGEBRA LINERAR Luiz Francisco da Cruz Departamento de Matemática Unesp/Bauru CAPÍTULO 7 ISOMORFISMO
INRODUÇÃO AO ESUDO DA ÁLGEBRA LINERAR CAPÍULO 7 ISOMORFISMO A pergunta inicial que se faz neste capítulo e que o motiva é: dada uma transformação linear : V W é possível definir uma transformação linear
Leia maisGramáticas Livres de Contexto Parte 1
Universidade Estadual de Feira de Santana Engenharia de Computação Gramáticas Livres de Contexto Parte 1 EXA 817 Compiladores Prof. Matheus Giovanni Pires O papel do Analisador Sintático É responsável
Leia maisCompiladores 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 maisDerivadas Parciais Capítulo 14
Derivadas Parciais Capítulo 14 DERIVADAS PARCIAIS Como vimos no Capítulo 4, no Volume I, um dos principais usos da derivada ordinária é na determinação dos valores máximo e mínimo. DERIVADAS PARCIAIS 14.7
Leia maisLinguagens 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 Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia maisCapí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
Leia maisDraft-v0.1. Máquinas de Turing Máquinas de Turing
13 Máquinas de Turing A necessidade de formalizar os processos algorítmicos levou, nas décadas 20 e 30 do século XX, a diversos estudos, entre os quais os de Post, Church e Turing, com vista a estudo formal
Leia maisTEOREMA DE LEGENDRE GABRIEL BUJOKAS
TEOREMA DE LEGENDRE GABRIEL BUJOKAS A nossa meta hoje é responder a seguinte questão: Questão. Para a, b Z, determine se a equação ( ) tem uma solução com x, y, z Z, além da solução trivial x = y = z =
Leia maisLinguagens livres de contexto e autômatos de pilha
Capítulo 6: Linguagens livres de contexto e autômatos de pilha José Lucas Rangel, maio 1999 6.1 - Introdução. Os aceitadores, ou reconhecedores, das linguagens livres de contexto são os chamados autômatos
Leia maisMatemática Discreta - 07
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisLinguagens Formais e Autômatos. Conceitos Básicos Prof. Anderson Belgamo
Linguagens Formais e Autômatos Conceitos Básicos Prof. Anderson Belgamo Introdução Teoria das Linguagens Formais Originariamente desenvolvida na década de 1950. Objetivo inicial: desenvolver teorias relacionadas
Leia maisUniversidade de São Paulo Instituto de Ciências Matemáticas e de Computação Curso de Ciências de Computação
Universiae e São Paulo Instituto e Ciências Matemáticas e e Computação Curso e Ciências e Computação SCC-205 TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS Turma A 2º. Semestre e 2010 Prof. João Luís Lista
Leia maisUniversidade 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
Leia maisCapí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 maisApostila 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 maisLinguagens 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 maisApostila 02. Objetivos: Estudar os autômatos finitos Estudar as expressões regulares Estudar as gramáticas regulares Estudar as linguagens regulares
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 mais4.1 posição relativas entre retas
4 P O S I Ç Õ E S R E L AT I VA S Nosso objetivo nesta seção é entender a posição relativa entre duas retas, dois planos e ou uma reta e um plano, isto é, se estes se interseccionam, se são paralelos,
Leia maisTeoria da Computação Linguagens e Expressões Regulares, Autómatos de Estados Finitos
Teoria da Computação Linguagens e Expressões Regulares, Autómatos de Estados Finitos Simão Melo de Sousa 12 de Outubro de 2011 Conteúdo 1 Linguagens e Expressões Regulares 2 2 Autómatos de Estados Finitos
Leia maisTeoria 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
Leia maisAula 05 - Erivaldo MATEMÁTICA BÁSICA
Aula 05 - Erivaldo MATEMÁTICA BÁSICA Principais produtos notáveis I- (a + b).(a b) = a 2 a.b + b.a b 2 I- (a + b).(a b) = a 2 b 2 O Produto de uma soma por uma diferença resulta no quadrado do primeiro
Leia maisErrata da lista 1: Na página 4 (respostas), a resposta da letra e da questão 13 é {2, 3, 5, 7, 11, 13, 17} (faltou o número 17)
Errata da lista 1: Na página 4 (respostas), a resposta da letra e da questão 13 é {2, 3, 5, 7, 11, 13, 17} (faltou o número 17) Lista 1 - Bases Matemáticas Elementos de Lógica e Linguagem Matemática 1
Leia maisConstrução de Compiladores Aula 16 - Análise Sintática
Construção de Compiladores Aula 16 - Análise Sintática Bruno Müller Junior Departamento de Informática UFPR 25 de Setembro de 2014 1 Introdução Hierarquia de Chomsky Reconhecedores Linguagens Livres de
Leia maisTeoria da Computação. Unidade 3 Máquinas Universais. Referência Teoria da Computação (Divério, 2000)
Teoria da Computação Referência Teoria da Computação (Divério, 2000) 1 L={(0,1)*00} de forma que você pode usar uma Máquina de Turing que não altera os símbolos da fita e sempre move a direita. MT_(0,1)*00=({0,1},{q
Leia maisA 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 maisAula 12. Ângulo entre duas retas no espaço. Definição 1. O ângulo (r1, r2 ) entre duas retas r1 e r2 se define da seguinte maneira:
Aula 1 1. Ângulo entre duas retas no espaço Definição 1 O ângulo (r1, r ) entre duas retas r1 e r se define da seguinte maneira: (r1, r ) 0o se r1 e r são coincidentes, Se as retas são concorrentes, isto
Leia maisLinguagens Formais e Autômatos
Linguagens Formais e Autômatos Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa Introdução Problema: definir um conjunto de cadeias de símbolos; Prof. Yandre Maldonado - 2 Exemplo: conjunto
Leia maisCálculo Diferencial e Integral Química Notas de Aula
Cálculo Diferencial e Integral Química Notas de Aula João Roberto Gerônimo 1 1 Professor Associado do Departamento de Matemática da UEM. E-mail: jrgeronimo@uem.br. ÍNDICE 1. INTRODUÇÃO Esta notas de aula
Leia maisLógica Proposicional
Lógica Proposicional Lógica Computacional Carlos Bacelar Almeida Departmento de Informática Universidade do Minho 2007/2008 Carlos Bacelar Almeida, DIUM LÓGICA PROPOSICIONAL- LÓGICA COMPUTACIONAL 1/28
Leia mais1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo).
1 a Lista de Exercícios de Álgebra II - MAT 231 1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo). 2. Seja A um anel associativo. Dado a A, como você definiria a m, m IN?
Leia maisUniversidade Federal de Goiás Regional Catalão - IMTec
Universidade Federal de Goiás Regional Catalão - IMTec Disciplina: Álgebra I Professor: André Luiz Galdino Gabarito da 1 a Lista de Exercícios 11/03/2015 1. Prove que G é um grupo com a operação de multiplicação
Leia maisMódulo de Equações do Segundo Grau. Equações do Segundo Grau: Resultados Básicos. Nono Ano
Módulo de Equações do Segundo Grau Equações do Segundo Grau: Resultados Básicos. Nono Ano Equações do o grau: Resultados Básicos. 1 Exercícios Introdutórios Exercício 1. A equação ax + bx + c = 0, com
Leia mais2. DISCIPLINA REQUISITO (RECOMENDAÇÃO) 3. INDICAÇÃO DE CONJUNTO (BCC) Obrigatória TEORIA: 60 LABORATÓRIO: 30
Universidade Federal do ABC Rua Santa Adélia, 166 - Bairro Bangu - Santo André - SP - Brasil CEP 09.210-170 - Telefone/Fax: +55 11 4996-3166 1. CÓDIGO E NOME DA DISCIPLINA MC3106 - LINGUAGENS FORMAIS E
Leia maisExercícios Operações com frações 1. Determine o valor das seguintes expressões, simplificando sempre que possível:
Exercícios Operações com frações. Determine o valor das seguintes expressões, simplificando sempre que possível: 7 c 6 8 6 d b a 8 : 8 7 0 f 8 7 h g e : 6 8 : 6 7 l k j i n m Equações de º Grau Resolva
Leia maisInteiros. Inteiros. Congruência. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.
Inteiros Inteiros. Congruência. Referência: Capítulo: 4 Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006 1 Números reais A relação binária em R é uma ordem parcial
Leia mais1. Conhecendo-se somente os produtos AB e AC, calcule A = X 2 = 2X. 3. Mostre que se A e B são matrizes que comutam com a matriz M = 1 0
Lista de exercícios. AL. 1 sem. 2015 Prof. Fabiano Borges da Silva 1 Matrizes Notações: 0 para matriz nula; I para matriz identidade; 1. Conhecendo-se somente os produtos AB e AC calcule A(B + C) B t A
Leia maisEles, possivelmente, servirão posteriormente de ideia para problemas mais difíceis.
Polos Olímpicos de Treinamento Curso de Álgebra - Nível 2 Prof Marcelo Mendes Aula 2 Equações e Sistemas de Equações Neste2o textodeálgebra, veremosdiversosexemplosdeequaçõesesistemasdeequações em nível
Leia maisResumo com exercícios resolvidos dos assuntos:
www.engenhariafacil.weebly.com (0)- Considerações iniciais: Resumo com exercícios resolvidos dos assuntos: Máximos e mínimos absolutos e Multiplicador de Lagrange -Grande parte das funções não possui máximos
Leia maisI Lista de Álgebra Linear /02 Matrizes-Determinantes e Sistemas Prof. Iva Zuchi Siple
1 I Lista de Álgebra Linear - 2012/02 Matrizes-Determinantes e Sistemas Prof. Iva Zuchi Siple 1. Determine os valores de x e y que tornam verdadeira a igualdade ( x 2 + 5x x 2 ( 6 3 2x y 2 5y y 2 = 5 0
Leia maisLista 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 maisPlano da aula. Compiladores. Os erros típicos são sintáticos. Análise Sintática. Usando Gramáticas. Os erros típicos são sintáticos
Plano da aula Compiladores Análise sintática (1) Revisão: Gramáticas Livres de Contexto 1 Introdução: porque a análise sintática? Noções sobre Gramáticas Livres de Contexto: Definição Propriedades Derivações
Leia maisUnidade I MATEMÁTICA. Prof. Celso Ribeiro Campos
Unidade I MATEMÁTICA Prof. Celso Ribeiro Campos Números reais Três noções básicas são consideradas primitivas, isto é, são aceitas sem a necessidade de definição. São elas: a) Conjunto. b) Elemento. c)
Leia maisINE5403 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)
Leia maisIntrodução à Teoria de Grupos Grupos cíclicos Grupos de permutações Isomorfismos Teorema de Lagrange Subgrupos normais e grupos quociente
Classes laterais Sejam G um grupo, H um subconjunto de G e a um elemento de G. Usamos as seguintes notações: ah = {ah h H} e Ha = {ha h H}. Definição (Classe lateral de H em G) Seja H um subgrupo do grupo
Leia maisCada questão da parte A vale 4 pontos e cada questão da parte B vale 10 pontos (total de pontos do nível III-fase de seleção = 60 pontos).
III OLIMPÍADA REGIONAL DE MATEMÁTICA Nível III Ensino Médio DE RIEIRÃO PRETO FASE DE SELEÇÃO - 7 de setembro de 008 Cada questão da parte A vale 4 pontos e cada questão da parte vale 10 pontos (total de
Leia maisCompiladores. Parser LL 10/13/2008
Compiladores Fabiano Baldo Usa uma pilha explícita ao invés de chamadas recursivas para realizar a análise sintática. LL(k) parsing significa que ktokensà frente são utilizados. O primeiro L significa
Leia maisLINGUAGENS 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
Leia maisCompiladores - Gramáticas
Compiladores - Gramáticas Fabio Mascarenhas - 2013.1 http://www.dcc.ufrj.br/~fabiom/comp Análise Sintática A análise sintática agrupa os tokens em uma árvore sintática de acordo com a estrutura do programa
Leia maisEquação Geral do Segundo Grau em R 2
8 Equação Geral do Segundo Grau em R Sumário 8.1 Introdução....................... 8. Autovalores e autovetores de uma matriz real 8.3 Rotação dos Eixos Coordenados........... 5 8.4 Formas Quadráticas..................
Leia mais. (1) Se S é o espaço vetorial gerado pelos vetores 1 e,0,1
QUESTÕES ANPEC ÁLGEBRA LINEAR QUESTÃO 0 Assinale V (verdadeiro) ou F (falso): (0) Os vetores (,, ) (,,) e (, 0,) formam uma base de,, o espaço vetorial gerado por,, e,, passa pela origem na direção de,,
Leia maisPropriedades de Fecho de Linguagens Regulares.
Propriedades de Fecho de Linguagens Regulares. Gerando Linguagens Regulares Recorde a seguinte teorema: THM: Linguagens regulares são aquelas que podem ser geradas a partir de linguagens finitas pela aplicação
Leia maisCCI-22 LISTA DE EXERCÍCIOS
CCI-22 LISTA DE EXERCÍCIOS Capítulos 1 e 2: 1) Considere floats com 4 dígitos decimais de mantissa e expoentes inteiros entre -5 e 5. Sejam X =,7237.1 4, Y =,2145.1-3, Z =,2585.1 1. Utilizando um acumulador
Leia maisTRANSFORMAÇÃO DE GRAMÁTICAS LIVRES DO CONTEXTO PARA EXPRESSÕES REGULARES ESTENDIDAS
TRANSFORMAÇÃO DE GRAMÁTICAS LIVRES DO CONTEXTO PARA EXPRESSÕES REGULARES ESTENDIDAS Acadêmico: Cleison Vander Ambrosi Orientador: José Roque Voltolini da Silva Roteiro da Apresentação Introdução Motivação
Leia mais1.1 Propriedades básicas dos números reais, axiomática dos números reais.
I - Funções reais de variável real 1. Números Reais. 1.1 - Números naturais, números relativos, números racionais e números reais. De uma forma muito simples vamos recordar os números: Números Naturais
Leia maisINE5403 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/42 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias
Leia maisANÁLISE MATEMÁTICA II
ANÁLISE MATEMÁTICA II Acetatos de Ana Matos Séries de Potências DMAT Séries de Potências As séries de potências são uma generalização da noção de polinómio. Definição: Sendo x uma variável e a, chama-se
Leia maisMINISTÉRIO DA EDUCAÇÃO E DO DESPORTO UNIVERSIDADE FEDERAL DE VIÇOSA DEPARTAMENTO DE MATEMÁTICA
MINISTÉRIO DA EDUCAÇÃO E DO DESPORTO UNIVERSIDADE FEDERAL DE VIÇOSA DEPARTAMENTO DE MATEMÁTICA 1 a LISTA DE EXERCÍCIOS DE MAT 17 1. Suponha que uma força de 1 newtons é aplicada em um objeto ao longo do
Leia maisSistemas de Equações Lineares e Matrizes
Sistemas de Equações Lineares e Matrizes. Quais das seguintes equações são lineares em x, y, z: (a) 2x + 2y 5z = x + xy z = 2 (c) x + y 2 + z = 2 2. A parábola y = ax 2 + bx + c passa pelos pontos (x,
Leia maisEquações de 2º grau. Denomina-se equação do 2º grau na incógnita x, toda equação da forma: IR e
Equações de 2º grau Definições Denomina-se equação do 2º grau na incógnita x, toda equação da forma: ax 2 + bx + c = 0; a, b, c IR e Exemplo: x 2-5x + 6 = 0 é um equação do 2º grau com a = 1, b = -5 e
Leia maisObjetivos. em termos de produtos internos de vetores.
Aula 5 Produto interno - Aplicações MÓDULO 1 - AULA 5 Objetivos Calcular áreas de paralelogramos e triângulos. Calcular a distância de um ponto a uma reta e entre duas retas. Determinar as bissetrizes
Leia maisTeoria da Computação
Teoria da Computação Introdução às Linguagens Formais e as suas Gramáticas Simão Melo de Sousa Computer Science Department University of Beira Interior, Portugal Plano 1 Introduction a Teoria das Linguagens
Leia maisFicha de Exercícios nº 1
Nova School of Business and Economics Álgebra Linear Ficha de Exercícios nº 1 Espaços Vectoriais 1 Qual das seguintes afirmações é verdadeira? a) Um espaço vectorial pode ter um número ímpar de elementos.
Leia maisa é sempre o coeficiente de x²; b é sempre o coeficiente de x, c é o coeficiente ou termo independente.
Definições Denomina-se equação do 2º grau na incógnita x, toda equação da forma: ax 2 + bx + c = 0; a, b, c Exemplo: x 2-5x + 6 = 0 é um equação do 2º grau com a = 1, b = -5 e c = 6. 6x 2 - x - 1 = 0 é
Leia mais