Faculdade de Computação
|
|
- Eduarda Santos Klettenberg
- 7 Há anos
- Visualizações:
Transcrição
1 UNIVERIDADE FEDERAL DE UBERLÂNDIA Fculdde de Computção Disciplin : Teori d Computção Professor : ndr de Amo Revisão de Grmátics Livres do Contexto (1) 1. Fzer o exercicio 2.3 d págin 128 do livro texto do ipser, segund edição (em ingles). Este exercicio tem respost no livro. Tentr fzer ntes de procurr respost! 2. Fzer o exercicio 2.4 d págin 128 do livro texto do ipser, segund edição (em ingles). Alguns items deste exercicio tem su respost no livro. 3. Considere grmátic G bixo que ger lingugem dos plindromos sobre o lfbeto Σ = {0, 1}. Aplicndo o lgoritmo visto em ul, constru um grmátic livre do contexto n form norml de Chomsky que sej equivlente G. ɛ A A 0A0 A 1A1 A ɛ A 0 A 1 4. Considere s lingugens L(G 1 ) e L(G 2 ) gerds pels seguintes grmátics: 0A 1A A 0A A 0 A 1B B 1B B 1 B 0 0 1
2 0A A 0 1B B 1 Mostre que L(G 1 ) e L(G 2 ) são lingugens regulres (exib um utômto correspondente cd um ds grmátics). 5. A prtir do exercicio nterior você seri cpz de projetr um lgoritmo que receb como input um grmátic G cujs regrs são do tipo A B, ou A, onde A, B são vriáveis e é terminl, e produz como output um utômto M tl que L(G) = L(M)? Grmátics deste tipo (equivlentes utômtos) são chmds de grmátics regulres. 6. Mostre invers do exercicio nterior: projetr um lgoritmo que recebe como input um utômto finito M e retorn um grmátic regulr G tl que L(G) = L(M). 7. Considere o lfbeto Σ = {0, 1, (, )} e o conjunto ds plvrs sobre Σ tis que : () o número de prênteses que brem é igul o número de prênteses que fechm. (b) pres de prênteses (um brindo, outro fechndo) estão propridmente entrelçdos. Por exemplo : (0(10)1) é um plvr d lingugem, ms (0)10)( não é um plvr d lingugem. Mostre que est lingugem é livre do contexto exibindo um grmátic livre do contexto que gere. Mostre que est lingugem não é regulr, plicndo o lem do bombemento pr lingugens regulres. 8. Considere lingugem Pscl simplificd L P definid sobre o lfbeto Σ = {:-, ;, if, then, else,begin, end, =, } Int Vr onde : Vr = {A,B,C,D,...,Z} e Int = { 30000,..., 1, 0, 1, 2,..., 30000}. e cujs plvrs são somente os progrms constituídos por comndos de fetção de vriáveis e comndos condicionis if (condição) then, else, onde s condições são testes do tipo x = y ou x y, onde x Vr e y Vr ou y Int. () Dê lguns exemplos de plvrs dest lingugem (cd plvr deve ser um progrm). 9. Considere s seguintes grmátics : 2
3 () G 1 = (V N, V T, P, ) onde : V N = {A, B, }, V T = {,b} e P é ddo pels seguintes regrs : A B A A b B (b) G 2 = (V N, V T, P, ) onde : V N = {A, B, }, V T = {,b,c} e P é ddo pels seguintes regrs : B ABb Bb bb AB cc B (c) G 3 = (V N, V T, P, ) onde : V N = {A, B, }, V T = {,b,c} e P é ddo pels seguintes regrs : AB B bb A B c Em cd um destes csos, Pr cd um ds grmátics, dê dus plvrs que pertencem L(G) e dus que não pertencem. 10. Considere seguinte grmátic : G = (V N, V T, P, ) onde : V N = {A, B, }, V T = {,b} e P é ddo pels seguintes regrs : 3
4 B ba A A A baa B b B b B BB Dê árvore de derivção correspondente às seguintes plvrs : () bbb (b) bbbb (c) bbbb 11. Considere seguinte grmátic livre do contexto : B ba A A A baa B b B b B BB Dê lingugem gerds por est grmátic. (Ver solução n págin do curso). 12. Considere s seguintes lingugens sobre o lfbeto {0,1} : () conjunto ds plvrs que têm o menos 3 uns. (b) conjunto ds plvrs que começm e terminm com o mesmo símbolo. (c) conjunto ds plvrs que têm comprimento impr. (d) conjunto ds plvrs que têm comprimento impr e cujo simbolo do meio é zero. (e) conjunto ds plvrs que contém mis zeros do que uns. Dê s grmátics que germ extmente cd um ds lingugens cim. 4
5 13. Dê um grmátic livre do contexto gerndo seguinte lingugem : L = {w w {, b} e tl que o número de s em w é o dobro do número de b s } 14. Considere um grmátic livre do contexto G e um árvore de derivção A correspondente um plvr w d lingugem gerd por est grmátic. Mostre que, cso grmátic sej regulr, só há um mneir de construir est árvore. Isto é, árvore determin de form únic um derivção α 1 α 2... w. 15. Considere grmátic livre do contexto G dd pels regrs : A A A A b Considere plvr w = b pertencente L(G) e seguinte árvore de derivção pr w : A A b Mostre que existem dus mneirs de construir est árvore, isto é existem dus sequêncis de regrs prtindo de e chegndo em w diferindo somente pel ordem em que s regrs são plicds (s regrs são s mesms em cd sequênci, só ordem é que mud). 16. Considere um árvore de derivção fix. Um derivção é dit derivção mis esquerd se cd nível d árvore os nós correspondentes às vriáveis são desenvolvidos d esquerd pr direit. Considere o exercicio do item nterior. Qul derivção mis esquerd pr plvr w n árvore dd? A prtir de exercicio, você deve concluir que fixd um árvore de derivção existe pens um derivção mis esquerd d plvr gerd pel árvore. 17. Considere gor um outro problem. ej seguinte grmátic livre do contexto G sobre o lfbeto {, +,, (, )}. 5
6 + () Considere s DUA árvores de derivção seguintes pr plvr + x + + x Repre que primeir árvore corresponde entender expressão + como sendo primeiro somo + depois multiplico o resultdo por. A segund árvore corresponde entender expressão + como sendo somo com o resultdo d multiplicção. Um grmátic deste tipo, que possui dus ou mis árvores de derivção pr um mesm plvr é dit um grmátic mbígu. Isto porque, neste cso, um mesm plvr w pode ter diversos sentidos (dependendo d árvore de derivção considerd), como mostr o exemplo cim. Pede-se : Exib um grmátic G não mbígu que sej equivlente à grmátic G. Um lingugem é dit mbígu se el só pode ser gerd por grmátics mbígus. Assim, lingugem gerd pel grmátic G cim NÃO É mbígu, pois pode ser gerd por um grmátic G não mbígu. Não confund, portnto, lingugem mbígu com grmátic mbígu. Pr o conhecimento de vocês : Existem lingugens mbígus (vej exercício seguir)!! Provr que um lingugem é mbígu não é nd fácil. Por que? O que você ch respeito de provr que um grmátic é mbígu? 18. Problem muito difícil : Considere lingugem L = { i b j c k i, j, k 0 e i = j ou j = k}. Exib um grmátic que gere extmente est lingugem. Est grmátic é mbígu? Mostre que lingugem L é mbígu. 6
Faculdade de Computação
UNIVERIDADE FEDERAL DE UBERLÂNDIA Fculdde de Computção Disciplin : Lingugens Formis e Autômtos - 0 emestre 2006 Professor : ndr Aprecid de Amo List de Exercícios n o - 4/08/2006 Observção : os exercícios
Leia maisDCC-UFRJ Linguagens Formais Primeira Prova 2008/1
DCC-UFRJ Lingugens Formis Primeir Prov 28/. Constru um utômto finito determinístico que ceite lingugem L = {w ( ) w contém pelos menos dois zeros e no máximo um }. 2. Use o lgoritmo de substituição pr
Leia maisPontifícia Universidade Católica de Campinas Centro de Ciências Exatas, Ambientais e de Tecnologias Faculdade de Engenharia de Computação
Pontifíci Universidde Ctólic de Cmpins Centro de Ciêncis Exts, Ambientis e de Tecnologis Fculdde de Engenhri de Computção LINGUAGENS FORMAIS E AUTÔMATOS List de Exercícios 1 1. Que lingugem grmátic ger?
Leia mais<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}
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
Leia maisAula 8: Gramáticas Livres de Contexto
Teori d Computção Segundo Semestre, 2014 ul 8: Grmátics Livres de Contexto DINF-UTFPR Prof. Ricrdo Dutr d Silv Veremos gor mneir de gerr s strings de um tipo específico de lingugem, conhecido como lingugem
Leia maisModelos de Computação -Folha de trabalho n. 2
Modelos de Computção -Folh de trlho n. 2 Not: Os exercícios origtórios mrcdos de A H constituem os prolems que devem ser resolvidos individulmente. A resolução em ppel deverá ser depositd n cix d disciplin
Leia mais3. Seja Σ um alfabeto. Explique que palavras pertencem a cada uma das seguintes linguagens:
BCC244-Teori d Computção Prof. Lucíli Figueiredo List de Exercícios DECOM ICEB - UFOP Lingugens. Liste os strings de cd um ds seguintes lingugens: ) = {λ} ) + + = c) {λ} {λ} = {λ} d) {λ} + {λ} + = {λ}
Leia maisGramáticas Regulares. Capítulo Gramáticas regulares
Cpítulo Grmátics Regulres Ests nots são um complemento do livro e destinm-se representr lguns lgoritmos estuddos ns uls teórics. É ddo um exemplo de plicção de cd conceito. Mis exemplos form discutidos
Leia maisApostila 02 - Linguagens Regulares Exercícios
Cursos: Bchreldo em Ciênci d Computção e Bchreldo em Sistems de Informção Disciplins: (1493A) Teori d Computção e Lingugens Formis, (4623A) Teori d Computção e Lingugens Formis e (1601A) Teori d Computção
Leia maisTeoria de Linguagens 2 o semestre de 2014 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 23/10.
Pós-Grdução em Ciênci d Computção DCC/ICEx/UFMG Teori de Lingugens 2 o semestre de 2014 Professor: Newton José Vieir Primeir List de Exercícios Entreg: té 16:40h de 23/10. Oservções: O uso do softwre JFLAP,
Leia maisExemplos de autómatos finitos
Exemplos de utómtos finitos s s 2 reconhece lingugem: {x {, } x termin em e não têm s consecutivos} s s 2 reconhece lingugem {x x {, } e tem como suplvr} Deprtmento de Ciênci de Computdores d FCUP MC Aul
Leia maisLinguagens Regulares e Autômatos de Estados Finitos. Linguagens Formais. Linguagens Formais (cont.) Um Modelo Fraco de Computação
LFA - PARTE 1 Lingugens Regulres e Autômtos de Estdos Finitos Um Modelo Frco de Computção João Luís Grci Ros LFA-FEC-PUC-Cmpins 2002 R. Gregory Tylor: http://strse.cs.trincoll.edu/~rtylor/thcomp/ 1 Lingugens
Leia maisLinguagens Formais Capítulo 5: Linguagens e gramáticas livres de contexto
Lingugens ormis Cpítulo 5: Lingugens e grmátics livres de contexto José Lucs Rngel, mio 1999 5.1 - Introdução Vimos no cpítulo 3 definição de grmátic livre de contexto (glc) e de lingugem livre de contexto
Leia maisLinguagens Formais e Autômatos (LFA)
PU-Rio Lingugens Formis e Autômtos (LFA) omplemento d Aul de 21/08/2013 Grmátics, eus Tipos, Algums Proprieddes e Hierrqui de homsky lrisse. de ouz, 2013 1 PU-Rio Dic pr responder Pergunts finis d ul lrisse.
Leia maisLinguagens Formais e Autômatos (LFA)
Lingugens Formis e Autômtos (LFA) Aul de 11/09/2013 Conjuntos Regulres, Expressões Regulres, Grmátics Regulres e Autômtos Finitos 1 Conjuntos Regulres Conjuntos regulres sobre um lfbeto finito são LINGUAGENS
Leia maisSolução da Terceira Lista de Exercícios Profa. Carmem Hara
Exercíco 1: Consdere grmátc G xo: B ǫ ǫ B B Introdução eor d Computção olução d ercer Lst de Exercícos Prof. Crmem Hr. Mostre um dervção ms esquerd d plvr. B B B B B. Quntos pssos de dervção tem o tem
Leia maisTeoria da Computação. Unidade 3 Máquinas Universais (cont.) Referência Teoria da Computação (Divério, 2000)
Teori d Computção Unidde 3 Máquins Universis (cont.) Referênci Teori d Computção (Divério, 2000) 1 Máquin com Pilhs Diferenci-se ds MT e MP pelo fto de possuir memóri de entrd seprd ds memóris de trblho
Leia maisDraft-v Autómatos mínimos. 6.1 Autómatos Mínimos
6. Autómtos Mínimos 6 Autómtos mínimos Dd um lingugem regulr L, muitos são os utómtos determinísticos que representm. Sej A L o conjunto dos utómtos tis que (8A)(A 2A L =) L(A) =L). Os utómtos de A L não
Leia maisModelos de Computação Folha de trabalho n. 3
Modelos de Computção Folh de trlho n. 3 Not: Os exercícios origtórios mrcdos de A H constituem os prolems que devem ser resolvidos individulmente. A resolução em ppel deverá ser depositd n cix d disciplin
Leia maisAnálise Léxica. Construção de Compiladores. Capítulo 2. José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto
Construção de Compildores Cpítulo 2 Análise Léxic José Romildo Mlquis Deprtmento de Computção Universidde Federl de Ouro Preto 2014.1 1/23 1 Análise Léxic 2/23 Tópicos 1 Análise Léxic 3/23 Análise léxic
Leia maisProjeto de Compiladores Professor Carlos de Salles
Projeto de Compildores 2006.1 Professor Crlos de Slles Trlho 1 Autômto pr Plvrs Reservds Ojetivo do trlho: implementr um progrm que recee como entrd um list de plvrs reservds e define como síd um função
Leia maisPropriedades das Linguagens Regulares
Cpítulo 5 Proprieddes ds Lingugens Regulres Considerndo um lfeto, já vimos que podemos rterizr lsse ds lingugens regulres sore esse lfeto omo o onjunto ds lingugens que podem ser desrits por expressões
Leia maisAutômatos determinísticos grandes
Autômtos determinísticos grndes Arnldo Mndel 27 de outubro de 2009 A construção dos subconjuntos implic n seguinte firmtiv: se um lingugem é reconhecid por um utômto não-determinístico com n estdos, então
Leia maisHierarquia de Chomsky
Universidde Ctólic de Pelots Centro Politécnico 364018 Lingugens Formis e Autômtos TEXTO 1 Lingugens Regulres e Autômtos Finitos Prof. Luiz A M Plzzo Mrço de 2011 Hierrqui de Chomsky Ling. Recursivmente
Leia maisDep. Matemática e Aplicações 27 de Abril de 2011 Universidade do Minho 1 o Teste de Teoria das Linguagens. Proposta de resolução
Dep. Mtemátic e Aplicções 27 de Aril de 2011 Universidde do Minho 1 o Teste de Teori ds Lingugens Lic. Ciêncis Computção Propost de resolução 1. Considere lingugem L = A sore o lfeto A = {,}. Durção: 2
Leia maisI. LINGUAGENS REGULARES E AUTÔMATOS FINITOS
Lingugens Formis e Autômtos João Luís Grci Ros 2005 I. LINGUAGENS REGULARES E AUTÔMATOS FINITOS 1.1. A Primeir Lingugem A teori modern ds lingugens formis vem de dus fontes: crcterizção precis d estrutur
Leia mais3.3 Autómatos finitos não determinísticos com transições por ε (AFND-ε)
TRANSIÇÕES POR (AFND-) 43 3.3 Autómtos finitos não determinísticos com trnsições por (AFND-) Vmos gor considerr utómtos finitos que podem mudr de estdo sem consumir qulquer símbolo, isto é, são utómtos
Leia maisUNIVERSIDADE FEDERAL DA BAHIA DEPARTAMENTO DE MATEMÁTICA MAT ALGEBRA LINEAR I-A PROF.: GLÓRIA MÁRCIA
UNIVERSIDADE FEDERAL DA BAHIA DEPARTAMENTO DE MATEMÁTICA MAT - ALGEBRA LINEAR I-A PROF.: GLÓRIA MÁRCIA LISTA DE EXERCÍCIOS ) Sejm A, B e C mtries inversíveis de mesm ordem, encontre epressão d mtri X,
Leia maisUNIVERSIDADE FEDERAL DE PERNAMBUCO. Resumo. Nesta aula, utilizaremos o Teorema Fundamental do Cálculo (TFC) para o cálculo da área entre duas curvas.
CÁLCULO L1 NOTAS DA DÉCIMA SÉTIMA AULA UNIVERSIDADE FEDERAL DE PERNAMBUCO Resumo. Nest ul, utilizremos o Teorem Fundmentl do Cálculo (TFC) pr o cálculo d áre entre dus curvs. 1. A áre entre dus curvs A
Leia maisBhaskara e sua turma Cícero Thiago B. Magalh~aes
1 Equções de Segundo Gru Bhskr e su turm Cícero Thigo B Mglh~es Um equção do segundo gru é um equção do tipo x + bx + c = 0, em que, b e c são números reis ddos, com 0 Dd um equção do segundo gru como
Leia maisRecordando produtos notáveis
Recordndo produtos notáveis A UUL AL A Desde ul 3 estmos usndo letrs pr representr números desconhecidos. Hoje você sbe, por exemplo, que solução d equção 2x + 3 = 19 é x = 8, ou sej, o número 8 é o único
Leia mais1 Á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
ÁLGEBRA MATRICIAL Teorem Sejm A um mtriz k x m e B um mtriz m x n Então (AB) T = B T A T Demonstrção Pr isso precismos d definição de mtriz trnspost Definição Mtriz trnspost (AB) T = (AB) ji i j = A jh
Leia maisEQUAÇÃO DO 2 GRAU. Seu primeiro passo para a resolução de uma equação do 2 grau é saber identificar os valores de a,b e c.
EQUAÇÃO DO GRAU Você já estudou em série nterior s equções do 1 gru, o gru de um equção é ddo pelo mior expoente d vriável, vej lguns exemplos: x + = 3 equção do 1 gru já que o expoente do x é 1 5x 8 =
Leia maisIncertezas e Propagação de Incertezas. Biologia Marinha
Incertezs e Propgção de Incertezs Cursos: Disciplin: Docente: Biologi Biologi Mrinh Físic Crl Silv Nos cálculos deve: Ser coerente ns uniddes (converter tudo pr S.I. e tender às potêncis de 10). Fzer um
Leia maisÁrea entre curvas e a Integral definida
Universidde de Brsíli Deprtmento de Mtemátic Cálculo Áre entre curvs e Integrl definid Sej S região do plno delimitd pels curvs y = f(x) e y = g(x) e s rets verticis x = e x = b, onde f e g são funções
Leia maisAnálise de Circuitos Trifásicos Desequilibrados Utilizando-se Componentes Simétricas
Análise de Circuitos Trifásicos Desequilibrdos Utilizndo-se Componentes Simétrics Prof. José Rubens Mcedo Jr. Exercício: Um determind crg trifásic, ligd em estrel flutunte, é limentd pels seguintes tensões
Leia maisDiogo Pinheiro Fernandes Pedrosa
Integrção Numéric Diogo Pinheiro Fernndes Pedros Universidde Federl do Rio Grnde do Norte Centro de Tecnologi Deprtmento de Engenhri de Computção e Automção http://www.dc.ufrn.br/ 1 Introdução O conceito
Leia maisProf. Ms. Aldo Vieira Aluno:
Prof. Ms. Aldo Vieir Aluno: Fich 1 Chmmos de mtriz, tod tbel numéric com m linhs e n coluns. Neste cso, dizemos que mtriz é do tipo m x n (onde lemos m por n ) ou que su ordem é m x n. Devemos representr
Leia maisComprimento de arco. Universidade de Brasília Departamento de Matemática
Universidde de Brsíli Deprtmento de Mtemátic Cálculo Comprimento de rco Considerefunçãof(x) = (2/3) x 3 definidnointervlo[,],cujográficoestáilustrdo bixo. Neste texto vmos desenvolver um técnic pr clculr
Leia maisProva 1 Soluções MA-602 Análise II 27/4/2009 Escolha 5 questões
Prov 1 Soluções MA-602 Análise II 27/4/2009 Escolh 5 questões 1. Sej f : [, b] R um função limitd. Mostre que f é integrável se, e só se, existe um sequênci de prtições P n P [,b] do intervlo [, b] tl
Leia maisÂngulo completo (360 ) Agora, tente responder: que ângulos são iguais quando os palitos estão na posição da figura abaixo?
N Aul 30, você já viu que dus rets concorrentes formm qutro ângulos. Você tmbém viu que, qundo os qutro ângulos são iguis, s rets são perpendiculres e cd ângulo é um ângulo reto, ou sej, mede 90 (90 grus),
Leia maisoutras apostilas de Matemática, Acesse:
Acesse: http://fuvestibulr.com.br/ N Aul 30, você já viu que dus rets concorrentes formm qutro ângulos. Você tmbém viu que, qundo os qutro ângulos são iguis, s rets são perpendiculres e cd ângulo é um
Leia maisResolução Numérica de Sistemas Lineares Parte I
Cálculo Numérico Resolução Numéric de Sistems ineres Prte I Prof. Jorge Cvlcnti jorge.cvlcnti@univsf.edu.br MATERIA ADAPTADO DOS SIDES DA DISCIPINA CÁCUO NUMÉRICO DA UFCG - www.dsc.ufcg.edu.br/~cnum/ Sistems
Leia maisAlgoritmos de Busca de Palavras em Texto
Revisdo 08Nov12 A busc de pdrões dentro de um conjunto de informções tem um grnde plicção em computção. São muits s vrições deste problem, desde procurr determinds plvrs ou sentençs em um texto té procurr
Leia maisÁLGEBRA LINEAR Equações Lineares na Álgebra Linear EQUAÇÃO LINEAR SISTEMA LINEAR GEOMETRIA DA ESQUAÇÕES LINEARES RESOLUÇÃO DOS SISTEMAS
EQUAÇÃO LINEAR SISTEMA LINEAR GEOMETRIA DA ESQUAÇÕES LINEARES RESOLUÇÃO DOS SISTEMAS Equção Liner * Sej,,,...,, (números reis) e n (n ) 2 3 n x, x, x,..., x (números reis) 2 3 n Chm-se equção Liner sobre
Leia maisEXERCÍCIOS RESOLVIDOS DE TEORIA DOS GRAFOS
EXERCÍCIOS RESOLVIDOS DE TEORIA DOS GRAFOS.) Considere tbel de trefs seguir pr construção de um cs de mdeir: TAREFAS PRÉ-REQUISITOS DIAS. Limpez do terreno Nenhum. Produção e colocção d fundção. Produção
Leia maisSERVIÇO PÚBLICO FEDERAL Ministério da Educação
SERVIÇO PÚBLICO FEDERAL Ministério d Educção Universidde Federl do Rio Grnde Universidde Abert do Brsil Administrção Bchreldo Mtemátic pr Ciêncis Sociis Aplicds I Rodrigo Brbos Sores . Mtrizes:.. Introdução:
Leia maisAnálise Sintáctica Descendente
Cpítulo 4 nálise intáctic Descendente Os utomátos finitos presentdos no cpítulo nterior são suficientes pr trtr os elementos léxicos de um lingugem de progrmção, o trtmento d estrutur sintáctic de um lingugem
Leia maisFUNÇÕ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
FUNÇÕES ) Se f() = 6, então f ( 5) f ( 5) é igul () (b) (c) 3 (d) 4 (e) 5 ) (UNIFOR) O gráfico bio 0 () não represent um função. (b) represent um função bijetor. (c) represent um função não injetor. (d)
Leia maisLRE LSC LLC. Autômatos Finitos são reconhecedores para linguagens regulares. Se não existe um AF a linguagem não é regular.
Lingugens Formis Nom Chomsky definiu que s lingugens nturis podem ser clssificds em clsses de lingugens. egundo Hierrqui de Chomsky, s lingugens podem ser dividids em qutro clsses, sendo els: Regulres
Leia maisFísica Geral e Experimental I (2011/01)
Diretori de Ciêncis Exts Lbortório de Físic Roteiro Físic Gerl e Experimentl I (/ Experimento: Cinemátic do M. R. U. e M. R. U. V. . Cinemátic do M.R.U. e do M.R.U.V. Nest tref serão borddos os seguintes
Leia maisAULA 1. 1 NÚMEROS E OPERAÇÕES 1.1 Linguagem Matemática
1 NÚMEROS E OPERAÇÕES 1.1 Lingugem Mtemátic AULA 1 1 1.2 Conjuntos Numéricos Chm-se conjunto o grupmento num todo de objetos, bem definidos e discerníveis, de noss percepção ou de nosso entendimento, chmdos
Leia maisAula 4: Autômatos Finitos 2. 4.1 Autômatos Finitos Não-Determinísticos
Teori d Computção Primeiro Semestre, 25 Aul 4: Autômtos Finitos 2 DAINF-UTFPR Prof. Ricrdo Dutr d Silv 4. Autômtos Finitos Não-Determinísticos Autômtos Finitos Não-Determinísticos (NFA) são um generlizção
Leia maisAula 10 Estabilidade
Aul 0 Estbilidde input S output O sistem é estável se respost à entrd impulso 0 qundo t Ou sej, se síd do sistem stisfz lim y(t) t = 0 qundo entrd r(t) = impulso input S output Equivlentemente, pode ser
Leia maisx u 30 2 u 1 u 6 + u 10 2 = lim (u 1)(1 + u + u 2 + u 3 + u 4 )(2 + 2u 5 + u 10 )
Universidde Federl de Viços Deprtmento de Mtemátic MAT 40 Cálculo I - 207/II Eercícios Resolvidos e Comentdos Prte 2 Limites: Clcule os seguintes ites io se eistirem. Cso contrário, justique não eistênci.
Leia maisCÁLCULO I. 1 Área entre Curvas. Objetivos da Aula. Aula n o 24: Área entre Curvas, Comprimento de Arco e Trabalho. Calcular área entre curvas;
CÁLCULO I Prof. Edilson Neri Júnior Prof. André Almeid Aul n o : Áre entre Curvs, Comprimento de Arco e Trblho Objetivos d Aul Clculr áre entre curvs; Clculr o comprimento de rco; Denir Trblho. 1 Áre entre
Leia maisAdriano Pedreira Cattai
Adrino Pedreir Ctti pctti@hoocomr Universidde Federl d Bhi UFBA, MAT A01, 006 Superfícies de Revolução 1 Introdução Podemos oter superfícies não somente por meio de um equção do tipo F(,, ), eistem muitos
Leia maisDesigualdades - Parte II. n (a1 b 1 +a 2 b a n b n ) 2.
Polos Olímpicos de Treinmento Curso de Álgebr - Nível Prof. Mrcelo Mendes Aul 9 Desigulddes - Prte II A Desiguldde de Cuchy-Schwrz Sejm,,..., n,b,b,...,b n números reis. Então: + +...+ ) n b +b +...+b
Leia maisUNIVERSIDADE FEDERAL DE PERNAMBUCO CCEN DEPARTAMENTO DE MATEMÁTICA EXAME DE QUALIFICAÇÃO PARA O MESTRADO EM MATEMÁTICA
UNIVERSIDADE FEDERAL DE PERNAMBUCO CCEN DEPARTAMENTO DE MATEMÁTICA EXAME DE QUALIFICAÇÃO PARA O MESTRADO EM MATEMÁTICA PRIMEIRO SEMESTRE DE 2015 13 de Fevereiro de 2015 Prte I Álgebr Liner 1 Questão: Sejm
Leia maisMatrizes. 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
Mtemátic pr Economists LES uls e Mtrizes Ching Cpítulos e Usos em economi Mtrizes ) Resolução sistems lineres ) Econometri ) Mtriz Insumo Produto Márci.F. Dis de Mores Álgebr Mtricil Conceitos Básicos
Leia maisMATRIZES, DETERMINANTES E SISTEMAS LINEARES PROF. JORGE WILSON
MATRIZES, DETERMINANTES E SISTEMAS LINEARES PROF. JORGE WILSON PROFJWPS@GMAIL.COM MATRIZES Definição e Notção... 11 21 m1 12... 22 m2............ 1n.. 2n. mn Chmmos de Mtriz todo conjunto de vlores, dispostos
Leia maisMatemática para Economistas LES 201. Aulas 5 e 6 Matrizes Chiang Capítulos 4 e 5. Luiz Fernando Satolo
Mtemátic pr Economists LES Auls 5 e Mtrizes Ching Cpítulos e 5 Luiz Fernndo Stolo Mtrizes Usos em economi ) Resolução sistems lineres ) Econometri ) Mtriz Insumo Produto Álgebr Mtricil Conceitos Básicos
Leia maisAnalisadores Sintáticos. Análise Recursiva com Retrocesso. Análise Recursiva Preditiva. Análise Recursiva Preditiva 05/04/2010
Anlisdores intáticos Análise Descendente (Top-down) Anlisdores sintáticos descendentes: Recursivo com retrocesso (bcktrcking) Recursivo preditivo Tbulr preditivo Análise Redutiv (Bottom-up) Anlisdores
Leia maisCalculando volumes. Para pensar. Para construir um cubo cuja aresta seja o dobro de a, de quantos cubos de aresta a precisaremos?
A UA UL LA 58 Clculndo volumes Pr pensr l Considere um cubo de rest : Pr construir um cubo cuj rest sej o dobro de, de quntos cubos de rest precisremos? l Pegue um cix de fósforos e um cix de sptos. Considerndo
Leia maisIntegral. (1) Queremos calcular o valor médio da temperatura ao longo do dia. O valor. a i
Integrl Noção de Integrl. Integrl é o nálogo pr unções d noção de som. Ddos n números 1, 2,..., n, podemos tomr su som 1 + 2 +... + n = i. O integrl de = té = b dum unção contínu é um mneir de somr todos
Leia maisCÁLCULO I. 1 Funções denidas por uma integral
CÁLCULO I Prof. Mrcos Diniz Prof. André Almeid Prof. Edilson Neri Júnior Prof. Emerson Veig Prof. Tigo Coelho Aul n o 26: Teorem do Vlor Médio pr Integris. Teorem Fundmentl do Cálculo II. Funções dds por
Leia maisElementos de Análise - Lista 6 - Solução
Elementos de Análise - List 6 - Solução 1. Pr cd f bixo considere F (x) = x f(t) dt. Pr quis vlores de x temos F (x) = f(x)? () f(x) = se x 1, f(x) = 1 se x > 1; F (x) = se x 1, F (x) = x 1 se x > 1. Portnto
Leia maisLista 5: Geometria Analítica
List 5: Geometri Anlític A. Rmos 8 de junho de 017 Resumo List em constnte tulizção. 1. Equção d elipse;. Equção d hiperból. 3. Estudo unificdo ds cônics não degenerds. Elipse Ddo dois pontos F 1 e F no
Leia mais3 Teoria dos Conjuntos Fuzzy
0 Teori dos Conjuntos Fuzzy presentm-se qui lguns conceitos d teori de conjuntos fuzzy que serão necessários pr o desenvolvimento e compreensão do modelo proposto (cpítulo 5). teori de conjuntos fuzzy
Leia maisMaterial Teórico - Módulo de Razões e Proporções. Proporções e Conceitos Relacionados. Sétimo Ano do Ensino Fundamental
Mteril Teórico - Módulo de Rzões e Proporções Proporções e Conceitos Relciondos Sétimo Ano do Ensino Fundmentl Prof. Frncisco Bruno Holnd Prof. Antonio Cminh Muniz Neto Portl OBMEP 1 Introdução N ul nterior,
Leia maisFACIN-PPGCC. Teoria da Computabilidade Parte II - Autômatos de Pilha e Máquinas de Turing. Sumário. Ney Laert Vilar Calazans. 12.
FACIN-PPGCC Teori d Computbilidde Prte II - Autômtos de Pilh e Máquins de Turing Ney Lert Vilr Clzns clzns@inf.pucrs.br 2 Sumário 12. GRAMÁTICAS LIVRES DO CONTEXTO 14. AUTÔMATOS DE PILHA 19. MÁQUINAS DE
Leia maisEscola Secundária/2,3 da Sé-Lamego Ficha de Trabalho de Matemática A Ano Lectivo 2011/12 Distribuição de probabilidades 12.º Ano
Escol Secundári/, d Sé-Lmego Fich de Trlho de Mtemátic A Ano Lectivo 0/ Distriuição de proiliddes.º Ano Nome: N.º: Turm:. Num turm do.º no, distriuição dos lunos por idde e sexo é seguinte: Pr formr um
Leia maisQUESTÃ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
PROV ELBORD PR SER PLICD ÀS TURMS DO O NO DO ENSINO MÉDIO DO COLÉGIO NCHIET-B EM MIO DE. ELBORÇÃO: PROFESSORES OCTMR MRQUES E DRINO CRIBÉ. PROFESSOR MRI NTÔNI C. GOUVEI QUESTÃO. O ldo x do retângulo que
Leia maisIFRN Campus Natal/Central. Prof. Tibério Alves, D. Sc. FIC Métodos matemáticos para físicos e engenheiros - Aula 02.
IFRN Cmpus Ntl/Centrl Prof. Tibério Alves, D. Sc. FIC Métodos mtemáticos pr físicos e engenheiros - Aul 0 Séries de Fourier 3 de gosto de 08 Resumo Neste ul, vmos estudr o conceito de conjunto completo
Leia maisMaterial Teórico - Módulo Teorema de Pitágoras e Aplicações. Algumas demonstrações do Teorema de Pitágoras - Parte 2. Nono Ano
Mteril Teórico - Módulo Teorem de itágors e plicções lgums demonstrções do Teorem de itágors - rte 2 Nono no utor: rof. Ulisses Lim rente Revisor: rof. ntonio minh M. Neto 27 de ril de 2019 1 lgums plicções
Leia maisAula 27 Integrais impróprias segunda parte Critérios de convergência
Integris imprópris segund prte Critérios de convergênci MÓDULO - AULA 7 Aul 7 Integris imprópris segund prte Critérios de convergênci Objetivo Conhecer dois critérios de convergênci de integris imprópris:
Leia maisUnidimensional pois possui apenas uma única dimensão
Vetores e Mtrizes José Augusto Brnusks Deprtmento de Físic e Mtemátic FFCLRP-USP Sl 6 Bloco P Fone (6) 60-6 Nest ul veremos estruturs de ddos homogênes: vetores (ou rrys) e mtrizes Esss estruturs de ddos
Leia maisFÓRMULA DE TAYLOR USP MAT
FÓRMULA DE TAYLOR USP MAT 5 SEVERINO TOSCANO DO REGO MELO. Polinômios de Tylor A ret tngente o gráfico de um função f derivável em um ponto define função de primeiro gru que melhor proxim função em pontos
Leia maisResposta: Basta fazer integração por partes. Seja j = 1 (para j 1, o argumento é o mesmo). Logo. i x 1. lim. lim. (R n ), temos.
LISTA DE EXECÍCIOS 5 - TEOIA DAS DISTIBUIÇÕES E ANÁLISE DE OUIE MAP 57-4 PO: PEDO T P LOPES WWWIMEUSPB/ PPLOPES/DISTIBUICOES Os eercícios seguir form seleciondos do livro do Duistermt e Kolk denotdo por
Leia maisMAT Complementos de Matemática para Contabilidade - FEAUSP 1 o semestre de 2011 Professor Oswaldo Rio Branco de Oliveira INTEGRAL
MAT 103 - Complementos de Mtemátic pr Contbilidde - FEAUSP 1 o semestre de 011 Professor Oswldo Rio Brnco de Oliveir INTEGRAL Suponhmos um torneir bert em um recipiente e com velocidde de escomento d águ
Leia maisCONJUNTOS NUMÉRICOS NOTAÇÕES BÁSICAS. : Variáveis e parâmetros. : Conjuntos. : Pertence. : Não pertence. : Está contido. : Não está contido.
CONJUNTOS NUMÉRICOS NOTAÇÕES BÁSICAS,,... A, B,... ~ > < : Vriáveis e prâmetros : Conjuntos : Pertence : Não pertence : Está contido : Não está contido : Contém : Não contém : Existe : Não existe : Existe
Leia maisProva Escrita de MATEMÁTICA A - 12o Ano a Fase
Prov Escrit de MATEMÁTICA A - o Ano 0 - Fse Propost de resolução GRUPO I. Como comissão deve ter etmente mulheres, num totl de pessos, será constituíd por um único homem. Logo, como eistem 6 homens no
Leia maisMATRIZES. 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
MATRIZES ) (CEFET) Se A, B e C são mtrizes do tipo, e 4, respectivmente, então o produto A.B.C () é mtriz do tipo 4 () é mtriz do tipo 4 (c) é mtriz do tipo 4 (d) é mtriz do tipo 4 (e) não é definido )
Leia maisAlocação sequencial - Pilhas
Alocção seqüencil - pilhs Alocção sequencil - Pilhs Pilhs A estrutur de ddos Pilh é bstnte intuitiv. A nlogi é um pilh de prtos. Se quisermos usr um pilh de prtos com máxim segurnç, devemos inserir um
Leia maisy 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
Grupo A 4. lterntiv A O denomindor d frção é D = 4 7 = ( 0 ) = 4. 46. ) O sistem ddo é determindo se, e somente se: m 0 m 9m 0 9 m b) Pr m, temos: x + y = x = y x + y z = 7 y z = x y + z = 4 4y + z = x
Leia maisDefinição: uma permutação do conjunto de inteiros {1, 2,..., n} é um rearranjo destes inteiros em alguma ordem sem omissões ou repetições.
DETERMINANTES INTRODUÇÃO Funções determinnte, são funções reis de um vriável mtricil, o que signific que ssocim um número rel (X) um mtriz qudrd X Sus plicções envolvem crcterizção de mtriz invertível,
Leia maisMatemática. Resolução das atividades complementares. M13 Progressões Geométricas
Resolução ds tividdes complementres Mtemátic M Progressões Geométrics p. 7 Qul é o o termo d PG (...)? q q? ( ) Qul é rzão d PG (...)? q ( )? ( ) 8 q 8 q 8 8 Três números reis formm um PG de som e produto
Leia maisUm disco rígido de 300Gb foi dividido em quatro partições. O conselho directivo ficou. 24, os alunos ficaram com 3 8
GUIÃO REVISÕES Simplificção de expressões Um disco rígido de 00Gb foi dividido em qutro prtições. O conselho directivo ficou com 1 4, os docentes ficrm com 1 4, os lunos ficrm com 8 e o restnte ficou pr
Leia maisxy 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
EQUAÇÃO DA RETA NO PLANO 1 Equção d ret Denominmos equção de um ret no R 2 tod equção ns incógnits x e y que é stisfeit pelos pontos P (x, y) que pertencem à ret e só por eles. 1.1 Alinhmento de três pontos
Leia maisProblemas e Algoritmos
Problems e Algoritmos Em muitos domínios, há problems que pedem síd com proprieddes específics qundo são fornecids entrds válids. O primeiro psso é definir o problem usndo estruturs dequds (modelo), seguir
Leia maisMaterial Teórico - Módulo Triângulo Retângulo, Leis dos Cossenos e dos Senos, Poĺıgonos Regulares. Lei dos Senos e Lei dos Cossenos - Parte 2
Mteril Teórico - Módulo Triângulo Retângulo, Leis dos ossenos e dos Senos, Poĺıgonos Regulres Lei dos Senos e Lei dos ossenos - Prte Nono no utor: Prof. Ulisses Lim Prente Revisor: Prof. ntonio minh M.
Leia maisAula 09 Equações de Estado (parte II)
Aul 9 Equções de Estdo (prte II) Recpitulndo (d prte I): s equções de estdo têm form (sistems de ordem n ) = A + B u y = C + D u onde: A é um mtriz n n B é um mtriz n p C é um mtriz q n D é um mtriz q
Leia maisLic. Ciências da Computação 2009/10 Exercícios de Teoria das Linguagens Universidade do Minho Folha 6. δ
Li. Ciênis d Computção 2009/10 Exeríios de Teori ds Lingugens Universidde do Minho Folh 6 2. Autómtos finitos 2.1 Considere o utómto A = (Q,A,δ,i,F) onde Q = {1,2,,4}, A = {,}, i = 1, F = {4} e função
Leia mais8/6/2007. Dados os conjuntos: A={0,1} e B={a,b,c},
8/6/7 Orgnizção Aul elções clássics e relções Fuzz Prof. Dr. Alendre d ilv imões Produto Crtesino elções Crisp Produto crtesino Forç d relção Crdinlidde Operções em relções Crisp Proprieddes de relções
Leia maisXXXIV Olimpíada Brasileira de Matemática GABARITO Segunda Fase
XXXIV Olimpíd Brsileir de Mtemátic GABARITO Segund Fse Soluções Nível 3 Segund Fse Prte A PARTE A N prte A serão tribuídos 4 pontos pr cd respost corret e pontução máxim pr ess prte será 0. NENHUM PONTO
Leia maisResolução A primeira frase pode ser equacionada como: QUESTÃO 3. Resolução QUESTÃO 2 QUESTÃO 4. Resolução
(9) - www.elitecmpins.com.br O ELITE RESOLVE MATEMÁTICA QUESTÃO Se Améli der R$, Lúci, então mbs ficrão com mesm qunti. Se Mri der um terço do que tem Lúci, então est ficrá com R$, mis do que Améli. Se
Leia maisFormas Quadráticas. FUNÇÕES QUADRÁTICAS: denominação de uma função especial, definida genericamente por: 1 2 n ij i j i,j 1.
Forms Qudrátics FUNÇÕES QUADRÁTICAS: denominção de um função especil, definid genericmente por: Q x,x,...,x x x x... x x x x x... x 1 n 11 1 1 1 1n 1 n 3 3 nn n ou Qx,x,...,x 1 n ij i j i,j1 i j n x x
Leia maisCircuitos Elétricos II Experimento 1 Experimento 1: Sistema Trifásico
Circuitos Elétricos Experimento 1 Experimento 1: Sistem Trifásico 1. Objetivo: Medição de tensões e correntes de linh e de fse em um sistem trifásico. 2. ntrodução: As tensões trifásics são normlmente
Leia maisHewlett-Packard PORCENTAGEM. Aulas 01 a 04. Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Ramos
Hewlett-Pckrd PORCENTAGEM Auls 01 04 Elson Rodrigues, Gbriel Crvlho e Pulo Luiz Rmos Sumário PORCENTAGEM... 1 COMPARANDO VALORES - Inspirção... 1 Porcentgem Definição:... 1... 1 UM VALOR PERCENTUAL DE
Leia mais