Teoria da Computação. Unidade 3 Máquinas Universais (cont.) Referência Teoria da Computação (Divério, 2000)
|
|
- Raphael Raminhos Araújo
- 6 Há anos
- Visualizações:
Transcrição
1 Teori d Computção Unidde 3 Máquins Universis (cont.) Referênci Teori d Computção (Divério, 2000) 1
2 Máquin com Pilhs Diferenci-se ds MT e MP pelo fto de possuir memóri de entrd seprd ds memóris de trblho e síd. Memóri uxilir: tipo pilh; cd máquin possui zero ou mis pilhs; s pilhs não tem limitção de tmnho. Dus ou mis pilhs: mesmo poder computcionl que Clsse ds MT ou MP Lingugens recursivmente enumeráveis Unidde 3 Máquins Universis (cont.) 2
3 Outros Modelos de Máquins Universis Máquin com Pilhs Formlizd por vários utores n décd de 60 empilh desempilh topo sentido de crescimento bse Unidde 3 Máquins Universis (cont.) 3
4 Máquin com Pilhs Possui um progrm ssocido (fluxogrm) Prtid; Prd; Desvio condicionl (desempilh); Empilh. Unidde 3 Máquins Universis (cont.) 4
5 Máquin com Pilhs - definição Um máquin com pilhs é um dupl M = (, D) lfbeto de símbolos de entrd; D progrm ou digrm de fluxos construído prtir dos componentes elementres: prtid, prd, desvio, empilh e desempilh. Unidde 3 Máquins Universis (cont.) 5
6 Máquin com Pilhs - definição Consiste bsicmente de três prtes ) Vriável X: represent fit entrd; b) Vriáveis yi: (i >=0) Do tipo Pilh, utilizds como memóri de trblho; c) Progrm. É um sequênci finit de instruções, representdo como um digrm de fluxos onde cd vértice é um instrução. Unidde 3 Máquins Universis (cont.) 6
7 Máquin com Pilhs - definição Componentes ) Prtid: Existe somente um instrução de início (prtid) em um progrm. b) Prd: Existem dus lterntivs de instruções de prd em um progrm: um de ceitção (ceit), e outr de rejeição (rejeit). prtid ceit rejeit Unidde 3 Máquins Universis (cont.) 7
8 Máquin com Pilhs Componentes (cont.) c) Desvio (ou Teste em X) e Desempilh (em Y): Determinm o fluxo do progrm de cordo com o símbolo mis à esquerd d plvr rmzend n vriável X (desvio) ou no topo d pilh Yi (desempilh). São desvios condicionis. Se o é n, então existem n+1 rests de desvios condicionis, pois se deve incluir possibilidde d plvr vzi. denot um leitur destrutiv, que lê o símbolo mis à esquerd de X ou do topo de Yi, retirndo o símbolo lido. Yi ler(yi) 1 2 n n... Unidde 3 Máquins Universis (cont.) 8
9 Máquin com Pilhs Componentes (cont.) d) Empilh: Empilh um símbolo s no topo d pilh indicd, ou sej, concten o símbolo n extremidde d plvr rmzend n vriável Yi Yi syi Unidde 3 Máquins Universis (cont.) 9
10 Máquin com Pilhs Digrm de Fluxos Existe somente um prtid, ms podem existir diverss (zero ou mis) instruções de prd (ceitção / rejeição) ou ficr em loop infinito Em um desvio (e desempilh), se X (e Yi) contém, então segue o fluxo correspondente. Cso contrário, lê o símbolo mis à esquerd de X (no topo de Yi) e remove-o pós decisão d próxim instrução Unidde 3 Máquins Universis (cont.) 10
11 Máquin com Pilhs Exemplo Duplo Blncemento Duplo_Bl = { n b n n 0 } A Máquin com Pilhs: Pilhs_Duplo_Bl = ({, b }, D) onde D é, (fluxogrm), tl que: ACEITA(Pilhs_Duplo_Bl) = Duplo_Bl REJEITA(Pilhs_Duplo_Bl) = * - Duplo_Bl LOOP(Pilhs_Duplo_Bl) =. Unidde 3 Máquins Universis (cont.) 11
12 b prtid Máquin com Pilhs b Y ler(y) Y ler(y) ceit Y Y b, rejeit rejeit,b rejeit Estrtégi us um únic pilh; lê o prefixo de símbolos d entrd (X) e empilh em Y; qundo encontr o primeiro b em X começ desempilhr os símbolos em Y; se sequênci de símbolos b em X cbr junto com sequênci de símbolos em Y então ceit, senão rejeit. Ex: ceit bb bbb b rejeit b b bbbbb Unidde 3 Máquins Universis (cont.) 12
13 Máquins com Pilhs Simulndo entrd bbb X b b b prtid 1 2 Y Y b 3 Y ler(y) b, rejeit b 4 rejeit 5 Y ler(y),b rejeit Y ceit 6 Unidde 3 Máquins Universis (cont.) 13
14 Máquins com Pilhs Simulndo entrd bbb X b b b prtid 1 2 Y Y b 3 Y ler(y) b, rejeit b 4 rejeit 5 Y ler(y),b rejeit Pssos 1;2 Y ceit 6 Unidde 3 Máquins Universis (cont.) 14
15 Máquins com Pilhs Simulndo entrd bbb X b b b prtid 1 2 Y Y b 3 Y ler(y) b, rejeit b 4 rejeit Pssos 1;2 5 Y ler(y),b rejeit Pssos 1;2 Y ceit 6 Unidde 3 Máquins Universis (cont.) 15
16 Máquins com Pilhs Simulndo entrd bbb X b b b prtid 1 2 Y Y b 3 Y ler(y) b, rejeit b 4 rejeit Pssos 1;2 Pssos 1;2 5 Y ler(y),b rejeit Pssos 1;2 Y ceit 6 Unidde 3 Máquins Universis (cont.) 16
17 Máquins com Pilhs Simulndo entrd bbb X b b prtid 1 2 Y Y b 3 Y ler(y) b, rejeit b 4 rejeit Pssos 4;3 5 Y ler(y),b rejeit Y ceit 6 Unidde 3 Máquins Universis (cont.) 17
18 Máquins com Pilhs Simulndo entrd bbb X b prtid 1 2 Y Y b 3 Y ler(y) b, rejeit b 4 rejeit 5 Y ler(y),b rejeit Pssos 4;3 Y ceit 6 Unidde 3 Máquins Universis (cont.) 18
19 Máquins com Pilhs Simulndo entrd bbb X prtid 1 2 Y Y b 3 Y ler(y) b, rejeit b 4 rejeit 5 Y ler(y),b rejeit Pssos 4;3;6 Y ceit 6 Unidde 3 Máquins Universis (cont.) 19
20 Máquins com Pilhs Exemplo Prefixo Lingugem: Prefixo_={w w {,b}* e w contém subplvr como prefixo} Ex: bb, b e são plvrs de Prefixo_ Pilhs_Prefixo_ = ({, b }, D) onde D é tl que: ACEITA(Pilhs_Prefixo_ ) = Prefixo_ REJEITA(Pilhs_Prefixo_ ) = * - Prefixo_ LOOP(Pilhs_Prefixo_ ) = Unidde 3 Máquins Universis (cont.) 20
21 Máquins com Pilhs Exemplo Prefixo Lingugem: Prefixo_={w w {,b}* e w contém subplvr como prefixo} Ex: bb, b e são plvrs de Prefixo_ Pilhs_Prefixo_ = ({, b }, D) onde D é tl que: Qunts pilhs são necessáris pr o reconhecimento? Unidde 3 Máquins Universis (cont.) 21
22 prtid Ex: bb, b e são plvrs de Prefixo_ Máquin com Pilhs Não form utilizds b, b, b, rejeit rejeit rejeit pilhs. O lgoritmo lê o prefixo executndo três leiturs. Após, qulquer sufixo é ceito. Tl lingugem pode ser reconhecido utilizndo um utômto finito,b ceit Unidde 3 Máquins Universis (cont.) 22
23 Máquin com Pilhs Triplo Blncemento Triplo_Bl = { n b n c n n 0 } Qunts pilhs são necessáris pr o reconhecimento? Unidde 3 Máquins Universis (cont.) 23
24 Máquin com Pilhs Triplo Blncemento Triplo_Bl = { n b n c n n 0 } Estrtégi: usr dus pilhs Y1 e Y2 Inserir os símbolosem Y1; Pr cd símbolo b remover em Y1 e inserir b em Y2 grntindo ssim que quntidde de s e b s são idêntics; Pr cd símbolo c remover b em Y2 grntindo ssim que quntidde de b s e c s são idêntics. Unidde 3 Máquins Universis (cont.) 24
25 rejeit Y 1 Y 1 rejeit Máquin com Pilhs,b,c Y 1 ler(y 1 ) prtid c b Y 1 ler(y 1 ) b,c, Triplo_Bl ={ n b n c n n 0} rejeit Estrtégi: usr dus pilhs Y1 e Y2 ceit Y 2 by 2 - Inserir os símbolos em Y1; b c Y 1 ler(y 1 ),,b,c rejeit rejeit - Pr cd símbolo b remover em Y1 e inserir b em Y2 grntindo ssim que quntidde de s e b s são idêntics; c Y 2 ler(y 2 ) b,c,,b rejeit rejeit - Pr cd símbolo c remover b em Y2 e grntindo ssim que quntidde de s e b s são idêntics. Y 2 ler(y 2 ),b,c rejeit ceit Unidde 3 Máquins Universis (cont.) 25
26 Máquin com Pilhs A clsse de lingugens representds por máquins de pilhs depende de quntidde de pilhs que el possui: Nenhum pilh: corresponde o utômto finito, cpz de reconhecer clsse ds lingugens regulres; Produções do tipo A B ou A A B ou A onde A, B Vn (não terminis) e Vt (terminis) Unidde 3 Máquins Universis (cont.) 26
27 Máquin com Pilhs A clsse de lingugens representds por máquins de pilhs depende de quntidde de pilhs que el possui: Um pilh: corresponde o utômto de pilh, cpz de reconhecer clsse ds lingugens livre de contexto; Produções do tipo A α onde A Vn α (Vn Vt)* ldo esquerdo d regr há pens um símbolo não-terminl Não é possível reconhecer lingugem Triplo_Bl = { n b n c n n 0 } Unidde 3 Máquins Universis (cont.) 27
28 Máquin com Pilhs A clsse de lingugens representds por máquins de pilhs depende de quntidde de pilhs que el possui: Dus pilhs: corresponde à máquin de Turing, cpz de reconhecer clsse ds lingugens recursivmente enumeráveis; Produções do tipo α β α Σ + ; β Σ * Três ou mis pilhs: podem ser simulds por um máquin com pens dus pilhs. Unidde 3 Máquins Universis (cont.) 28
29 Exercícios L1 = {w w tem o mesmo número de símbolos e b } L2 = {w o décimo símbolo d direit pr esquerd é } L3 = {ww w é plvr de {b,c}*} Unidde 3 Máquins Universis (cont.) 29
30 Outros modelos de máquins universis Autômto com dus pilhs Unidde 3 Máquins Universis (cont.) 30
31 Autômto com Dus Pilhs O utômto com dus pilhs é um máquin universl similr à máquin com dus pilhs. A principl diferenç é que o progrm é especificdo utilizndo noção de estdos, e não como um digrm de fluxos. Tem o mesmo poder computcionl d MT. Digrms de fluxo são úteis desenvolvimento de lgoritmos e n visulizção d estruturção e computção. Máquins com estdos são mis indicds pr estudos teóricosformis pois fcilitm provs e estudos de fciliddes especiis como não-determinísmo, bem como são mis fáceis de serem implementdos. Unidde 3 Máquins Universis (cont.) 31
32 Autômto com Dus Pilhs O utômto com dus pilhs é composto, bsicmente, por qutro componentes ) Fit: dispositivo de entrd que contém informção ser processd; b) Dus pilhs: memóris uxilires que podem ser usds livremente pr leitur e grvção. Um pilh é dividid em céluls, rmzenndo, cd um, um símbolo do lfbeto uxilir (pode ser igul o lfbeto de entrd). Em um estrutur do tipo pilh, leitur ou grvção é sempre n mesm extremidde (topo). Não possui tmnho fixo e nem máximo, sendo seu tmnho corrente igul o tmnho d plvr rmzend. Seu vlor inicil é vzio. Unidde 3 Máquins Universis (cont.) 32
33 Autômto com Dus Pilhs c) Unidde de Controle: reflete o estdo corrente d máquin. Possui um número finito e predefinido de estdos, um cbeç de fit e um cbeç pr cd pilh: Cbeç d Fit: unidde de leitur que cess um célul d fit de cd vez e moviment-se um célul d fit de cd vez e moviment-se exclusivmente pr direit. Cbeç d Pilh: unidde de leitur e grvção pr cd pilh qul move pr cim o grvr e pr bixo o ler um símbolo. Acess um símbolo de cd vez, estndo sempre posiciond no topo. A leitur exclui o símbolo lido. Unidde 3 Máquins Universis (cont.) 33
34 Autômto com Dus Pilhs d) Função Progrm função pode não ser totl, ou sej, pode ser indefinid pr lguns rgumentos do conjunto de prtid; omissão do prâmetro de leitur, representd por "?", indic o teste d correspondente pilh vzi ou de tod plvr de entrd lid; o símbolo n leitur d fit ou de lgum pilh indic que o utômto não lê nem move cbeç. Pelo menos um leitur deve ser relizd ou sobre fit ou sobre lgum pilh; o símbolo n grvção indic que nenhum grvção é relizd n pilh (e não move cbeç). Unidde 3 Máquins Universis (cont.) 34
35 Autômto com Dus Pilhs A função progrm CONSIDERA Estdo corrente símbolo lido d fit (pode ser omitido) ou teste se tod plvr de entrd foi lid símbolo lido de cd pilh (pode ser omitido) ou teste de pilh vzi Π(p,?,, ) = { (q,, b) } SE no estdo p DETERMINA Novo estdo símbolo grvdo em cd pilh (pode ser omitido) ENTÃO ssume o estdo q A entrd foi completmente lid (n fit); não grv n pilh 1 o topo d pilh 1 contém o símbolo ; não lê d pilh 2; grv o símbolo b no topodpilh 2. Unidde 3 Máquins Universis (cont.) 35
36 Autômto com Dus Pilhs Representção d função progrm como um grfo p estdo corrente símbolo lido d pilh 1 símbolo lido d fit (x, 1, b 1, 2, b 2 ) q novo estdo símbolo grvdo n pilh 1 símbolo lido d pilh 2 Ex: (,, B,?, ) Leu d fit símbolo grvdo n pilh 2 Grv B n Pilh 1 Tod plvr foi lid ou pilh vzi Não lê nem move n Pilh 1 processmento: consiste n sucessiv plicção Π pr cd símbolo de w (d esquerd direit) té ocorrer um condição de prd. ciclo infinito: um progrm que empilh e desempilh um mesmo símbolo indefinidmente, sem ler d fit. Condições de prd: Estdo Finl: O utômto ssume um estdo finl: o utômto pár, e plvr de entrd é ceit Função Indefinid: o utômto pár, e plvr de entrd é rejeitd. Unidde 3 Máquins Universis (cont.) 36
37 Autômto com Dus Pilhs Exemplo Duplo Blncemento Lingugem Duplo_Bl = { n b n n 0 } O Autômto com Pilhs A2P_Duplo_Bl = ({, b }, { q0, q1, qf }, Π, q0, { qf }, { B }) Π: Π(q0,,, ) = (q0, B, ) Π(q0, b, B, ) = (q1,, ) Π(q0,?,?,?) = (qf,, ) Π(q1, b, B, ) = (q1,, ) Π(q1,?,?,?) = (qf,, ) ACEITA(A2P_Duplo_Bl) = Duplo_Bl Unidde 3 Máquins Universis (cont.) 37
38 Ex: (,, B,?, ) Leu A d fit Grv B n Pilh 1 Tod plvr foi lid ou pilh vzi Não lê nem move n Pilh 1 (b, B,,, ) (,, B,, ) q 0 q 1 (b, B,,, ) (?,?,,?, ) (?,?,,?, ) q f No estdo q0, pr cd símbolo lido d fit, é rmzendo um símbolo B n pilh 1. No estdo q1, é relizdo um btimento, verificndo se, pr cd símbolo b d fit, existe um correspondente B n pilh 1. O lgoritmo somente ceit se, o terminr de ler tod plvr de entrd, s pilhs estiverem vzis. Unidde 3 Máquins Universis (cont.) 38
39 Autômto com Dus Pilhs Exercício Triplo Blncemento Lingugem Triplo_Bl = { n b n c n n 0 } Unidde 3 Máquins Universis (cont.) 39
40 Autômto com Dus Pilhs No estdo q0, pr cd símbolo lido d fit, é rmzendo um símbolo B n pilh 1. No estdo q1, é relizdo um btimento, verificndo se, pr cd símbolo b d fit, existe um correspondente B n pilh 1, bem como é rmzendo um símbolo C n pilh 2 Por fim, no estdo q2, é relizdo um btimento, verificndo se, pr cd símbolo C d fit, existe um correspondente C n pilh 2. O lgoritmo somente ceit se, o terminr de ler tod plvr de entrd, s pilhs estiverem vzis. Unidde 3 Máquins Universis (cont.) 40
41 Máquins com Pilhs Conclusões sobre o número de pilhs e o poder computcionl ds máquins com pilhs Unidde 3 Máquins Universis (cont.) 41
42 Hierrqui de Clsses de Máquins Máquins Universis Máquins Universis - lgoritmos que sempre párm Máquin com Um Pilh Não-Determinístic Máquin com Um Pilh Determinístic Máquin sem Pilhs Determinístic ou Não-Determinístico Lingugens Regulres Correspondem à Clsse ds Máquins sem Pilh. São lingugens muito simples, como s quis, por exemplo, não é possível fzer qulquer tipo de blncemento de tmnho nãopredefinido. A principl crcterístic dess clsse é que o tempo de reconhecimento de um plvr é diretmente proporcionl o comprimento d entrd. Formlismos Grmátic e expressão regulr Autômto finito Unidde 3 Máquins Universis (cont.) 42
43 Hierrqui de Clsses de Máquins Máquins Universis Lingugens Livres do Contexto Determinístics Máquins Universis - lgoritmos que sempre párm Máquin com Um Pilh Não-Determinístic Máquin com Um Pilh Determinístic Máquin sem Pilhs Determinístic ou Não-Determinístico mis complexs que s Regulres, ms ind muito simples, com s quis, por exemplo, não é possível reconhecer lingugem Plvr_Revers = { ww r w pertence {, b }* } tempo de reconhecimento de um entrd é diretmente proporcionl o dobro do tmnho d entrd Formlismos Grmátic livre de contexto Autômto à pilh Unidde 3 Máquins Universis (cont.) 43
44 Hierrqui de Clsses de Máquins Lingugens Livres do Contexto Máquins Universis Máquins Universis - lgoritmos que sempre párm Constituem um clsse de fundmentl importânci, pois incluem lingugens de progrmção como Algol e Pscl Máquin com Um Pilh Não-Determinístic Máquin com Um Pilh Determinístic Máquin sem Pilhs Determinístic ou Não-Determinístico Algums lingugens muito simples não pertencem ess clsse de lingugens como: Triplo_Bl = { n b n c n n > 0 } Plvr_Plvr = { ww w é plvr sobre os símbolos e b } Os melhores lgoritmos de reconhecimento conhecidos possuem tempo de processmento proporcionl o tmnho d entrd elevdo o cubo Formlismos Grmátic livre de contexto Autômto à pilh Unidde 3 Máquins Universis (cont.) 44
45 Hierrqui de Clsses de Máquins Lingugens Recursivs Máquins Universis Máquins Universis - lgoritmos que sempre párm Máquin com Um Pilh Não-Determinístic Máquin com Um Pilh Determinístic Correspondem à clsse de tods s lingugens que podem ser reconhecids mecnicmente e pr s quis existe um lgoritmo de reconhecimento que sempre pár pr qulquer entrd. Máquin sem Pilhs Determinístic ou Não-Determinístico Inclui grnde miori ds lingugens plicds. Os reconhecedores de lingugens recursivs podem ser muito ineficientes, tnto em termos de tempo de processmento como de recursos de memóri Formlismos MT e MP Unidde 3 Máquins Universis (cont.) 45
46 Hierrqui de Clsses de Máquins Máquins Universis Lingugens Recursivmente Enumeráveis Máquins Universis - lgoritmos que sempre párm Máquin com Um Pilh Não-Determinístic Máquin com Um Pilh Determinístic Correspondem à clsse de tods s lingugens que podem ser reconhecids mecnicmente. Máquin sem Pilhs Determinístic ou Não-Determinístico Formlismos MT, Máquin com dus ou mis pilhs Autômto com dus pilhs Unidde 3 Máquins Universis (cont.) 46
47 Outros Modelos de Máquins Universis Exercícios Propostos 3.2, 3.7, 3.24 e 3.25 Unidde 3 Máquins Universis (cont.) 47
Hierarquia 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 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 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 Prof.ª Danielle Casillo Diferencia-se das máquinas de Turing e Post principalmente pelo fato de possuir a memória de entrada separada
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 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 maisTeoria da Computação. Máquinas Universais Máquina com Pilhas
Máquinas Universais Máquina com Pilhas Cristiano Lehrer Introdução A Máquina com Pilhas diferencia-se das Máquinas de Turing e de Post principalmente pelo fato de possuir uma memória de entrada separada
Leia maisFaculdade de Computação
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
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 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 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 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 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 maisFaculdade 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 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 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 maisO Autômato Adaptativo como Modelo de Computação e sua Aplicação em Reconhecimento de Padrões*
O utômto dpttivo como Modelo de Computção e su plicção em econhecimento de Pdrões* I WOPEC Workshop de Pesquis em Engenhri e Computção mury ntônio de Cstro Junior mury@ec.ucd.r Orientdor: Prof. Dr. João
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 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 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 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 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 maisTrigonometria FÓRMULAS PARA AJUDÁ-LO EM TRIGONOMETRIA
Trigonometri é o estudo dos triângulos, que contêm ângulos, clro. Conheç lgums regrs especiis pr ângulos e váris outrs funções, definições e trnslções importntes. Senos e cossenos são dus funções trigonométrics
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 mais(x, y) dy. (x, y) dy =
Seção 7 Função Gm A expressão n! = 1 3... n (1 está definid pens pr vlores inteiros positivos de n. Um primeir extensão é feit dizendo que! = 1. Ms queremos estender noção de ftoril inclusive pr vlores
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 maisCompiladores ANÁLISE LEXICAL.
Compildores ANÁLISE LEXICAL www.pedrofreire.com Este documento tem lguns direitos reservdos: Atriuição-Uso Não-Comercil-Não Ors Derivds 2.5 Portugl http://cretivecommons.org/licenses/y-nc-nd/2.5/pt/ Isto
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 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 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 maisAutômato Finito. Autômato Finito Determinístico. Autômato Finito Determinístico
Autômto Finito Prof. Yndre Mldondo - 1 Prof. Yndre Mldondo e Gomes d Cost yndre@din.uem.r Autômto Finito Determinístico Prof. Yndre Mldondo - 2 AFD - modelo mtemático p/ definição de lingugem Cráter reconhecedor
Leia mais8. Sistemas de acontecimentos discretos
Modelção e Simulção 8.Sistems de contecimentos discretos 1 8. Sistems de contecimentos discretos Objectivo: Após completr este módulo, o luno deverá ser cpz de construir modelos simples pr sistems de contecimentos
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 maisAutômato Finito. Prof. Yandre Maldonado e Gomes da Costa. Prof. Yandre Maldonado - 1
Autômto Finito Prof. Yndre Mldondo - 1 Prof. Yndre Mldondo e Gomes d Cost yndre@din.uem.r Autômto Finito Determinístico Prof. Yndre Mldondo - 2 AFD - modelo mtemático p/ definição de lingugem Cráter reconhecedor
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 maisMarcone Jamilson Freitas Souza. Departamento de Computação. Programa de Pós-Graduação em Ciência da Computação
Método SIMPLEX Mrcone Jmilson Freits Souz Deprtmento de Computção Progrm de Pós-Grdução em Ciênci d Computção Universidde Federl de Ouro Preto http://www.decom.ufop.br/prof/mrcone E-mil: mrcone@iceb.ufop.br
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 maisLINGUAGEM DE PROGRAMAÇÃO ESTRUTURADA CAPÍTULO 6 ARRAYS (VETORES E MATRIZES)
LINGUGEM DE PROGRMÇÃO ESTRUTURD CPÍTULO 6 RRYS VETORES E MTRIZES trdução do termo rry pr língu portugues seri rrnjo. Em progrmção, empreg-se este termo pr representção de um vriável com diversos elementos
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 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 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 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 maisAnálise Sintática I: Analisadores Descendentes com Retrocesso
Análise intátic I: Anlisdores Descendentes com Retrocesso Definição A nálise sintátic é o processo de determinr se um cdei de átomos (tokens), isto é, o progrm já nlisdo pelo nlisdor léxico, pode ser gerdo
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 maisConversão de Energia II
Deprtmento de ngenhri létric Aul 6. Máquins íncrons Prof. João Américo ilel Máquins íncrons Crcterístics vzio e de curto-circuito Curv d tensão terminl d rmdur vzio em função d excitção de cmpo. Crctéristic
Leia mais( 3. a) b) c) d) 10 5 e) 10 5
Pré-F 207 Simuldo # 26 de bril de 207 2 Q. (EsS) Em um progressão ritmétic cujo primeiro termo é, 87 e rzão é 0, 004, temos que som dos seus dez primeiros é igul : () 8, 99 () 9, 5674 () 8, 88 (D) 9, 5644
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 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 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 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 maisALGEBRA LINEAR AUTOVALORES E AUTOVETORES. Prof. Ademilson
LGEBR LINER UTOVLORES E UTOVETORES Prof. demilson utovlores e utovetores utovlores e utovetores são conceitos importntes de mtemátic, com plicções prátics em áres diversificds como mecânic quântic, processmento
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 maisCT-234. Estruturas de Dados, Análise de Algoritmos e Complexidade Estrutural. Carlos Alberto Alonso Sanches
CT-234 Estruturs de Ddos, Análise de Algoritmos e Complexidde Estruturl Crlos Alberto Alonso Snches CT-234 7) Busc de pdrões Knuth-Morris-Prtt, Boyer-Moore, Krp-Rbin Pdrões e lfbetos Pdrões (ptterns ou
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 maisEscola Secundária com 3º ciclo D. Dinis 10º Ano de Matemática A TEMA 1 GEOMETRIA NO PLANO E NO ESPAÇO I
scol Secundári com º ciclo. inis 0º no de Mtemátic TM MTRI N PLN N SPÇ I s questões 5 são de escolh múltipl TP nº 5 entregr no di 0 ª prte Pr cd um dels são indicds qutro lterntivs, ds quis só um está
Leia maisTeoria da Computação. Máquinas Universais Máquina de Turing
Máquinas Universais Máquina de Turing Cristiano Lehrer Máquina de Turing Proposta por Alan Turing, em 1936. Universalmente conhecida e aceita como formalização de algoritmo. Trata-se de um mecanismo simples
Leia maisÚltima atualização 03/09/2009
FACIN-PPGCC 2 1. PANO DE FUNDO Sumário 2. LINGUAGENS Teori d Computilidde Prte I - Teori de Autômtos 3. DEFINIÇÕES RECURSIVAS 4. EXPRESSÕES REGULARES 5. AUTÔMATOS FINITOS Ney Lert Vilr Clzns & Avelino
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 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 maisMaterial envolvendo estudo de matrizes e determinantes
E. E. E. M. ÁREA DE CONHECIMENTO DE MATEMÁTICA E SUAS TECNOLOGIAS PROFESSORA ALEXANDRA MARIA º TRIMESTRE/ SÉRIE º ANO NOME: Nº TURMA: Mteril envolvendo estudo de mtrizes e determinntes INSTRUÇÕES:. Este
Leia maisCapítulo 3. Autómatos e respectivas linguagens
Cpítulo 3. Neste estudo, os utómtos serão considerdos principlmente como dispositivos de ceitção d lingugem, e respectiv estrutur intern será discutid pens n medid em que se relcione com lingugem ceite.
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 maisSimulado EFOMM - Matemática
Simuldo EFOMM - Mtemátic 1. Sejm X, Y, Z, W subconjuntos de N tis que: 1. (X Y ) Z = {1,,, },. Y = {5, 6}, Z Y =,. W (X Z) = {7, 8},. X W Z = {, }. Então o conjunto [X (Z W)] [W (Y Z)] é igul (A) {1,,,,
Leia maisCAPÍTULO 2 AUTÓMATOS FINITOS
Teori d Computção Cpítulo 2. Autómtos Finitos CAPÍTULO 2 AUTÓMATOS FINITOS 2.. Introdução 45 2.2.Aceitdores determinísticos 46 2.3. A rte de construir DFA s 59 2.4. Lingugens regulres 75 2.5. Autómtos
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 maisntexto finição presentação áfica ilização TempMed(input,output); Var Var Begin Begin readln(t1); readln(t1); readln(t2); readln(t2);
Arrys (tbels) Co (1) Imgine-se que é necessário efectur o cálculo d médi do primeiro trimestre do no. Com os conhecimentos presentdos té qui o progrm senvolver seri proximdmente Progrm Progrm TempMed(input,output);
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 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 maisAlgoritmos em Grafos: Circuitos de Euler e Problema do Carteiro Chinês
CAL (00-0) MIEIC/FEUP Algoritmos em Grfos (0-0-0) Algoritmos em Grfos: Circuitos de Euler e Prolem do Crteiro Chinês R. Rossetti, A.P. Roch, A. Pereir, P.B. Silv, T. Fernndes FEUP, MIEIC, CPAL, 00/0 Circuitos
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 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 maisXXVIII OLIMPÍADA BRASILEIRA DE MATEMÁTICA PRIMEIRA FASE NÍVEL 3 (Ensino Médio) GABARITO
XXVIII OLIMPÍADA BRASILEIRA DE MATEMÁTICA PRIMEIRA FASE NÍVEL 3 (Ensino Médio) GABARITO GABARITO NÍVEL 3 ) C 6) B ) C 6) D ) D ) C 7) B ) D 7) A ) D 3) C 8) B 3) A 8) D 3) D 4) A 9) B 4) C 9) D 4) E 5)
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 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 maisAos pais e professores
MAT3_015_F01_5PCImg.indd 9 9/09/16 10:03 prcels ou termos som ou totl Pr dicionres mentlmente, podes decompor os números e dicioná-los por ordens. 136 + 5 = (100 + 30 + 6) + (00 + 50 + ) 300 + 80 + 8 MAT3_015_F0.indd
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 mais1 Distribuições Contínuas de Probabilidade
Distribuições Contínus de Probbilidde São distribuições de vriáveis letóris contínus. Um vriável letóri contínu tom um numero infinito não numerável de vlores (intervlos de números reis), os quis podem
Leia maisUniversidade Federal do Rio Grande FURG. Instituto de Matemática, Estatística e Física IMEF Edital 15 - CAPES MATRIZES
Universidde Federl do Rio Grnde FURG Instituto de Mtemátic, Esttístic e Físic IMEF Editl - CAPES MATRIZES Prof. Antônio Murício Medeiros Alves Profª Denise Mri Vrell Mrtinez Mtemátic Básic pr Ciêncis Sociis
Leia maisOferta - Gabarito. Questão 1: CENTRO DE CIÊNCIAS SOCIAIS DEPARTAMENTO DE ECONOMIA
CENTRO DE CIÊNCIAS SOCIAIS DEPARTAMENTO DE ECONOMIA ECO 1113 TEORIA MICROECONÔMICA I PROFESSOR: JULIANO ASSUNÇÃO TURMA: JA Ofert - Gbrito 19 Questão 1: A função custo de um firm é dd por c() = 3 /3 / +
Leia maisPropriedades das Linguagens Regulares
Cpítulo 4 Proprieddes ds Lingugens Regulres Estmos no momento de colocr seguinte questão: quão gerl são s lingugens regulres? Seri tod lingugem forml regulr? Tlvez qulquer conjunto que possmos especificr
Leia maisROTAÇÃO DE CORPOS SOBRE UM PLANO INCLINADO
Físic Gerl I EF, ESI, MAT, FQ, Q, BQ, OCE, EAm Protocolos ds Auls Prátics 003 / 004 ROTAÇÃO DE CORPOS SOBRE UM PLANO INCLINADO. Resumo Corpos de diferentes forms deslocm-se, sem deslizr, o longo de um
Leia maisESTATÍSTICA APLICADA. 1 Introdução à Estatística. 1.1 Definição
ESTATÍSTICA APLICADA 1 Introdução à Esttístic 1.1 Definição Esttístic é um áre do conhecimento que trduz ftos prtir de nálise de ddos numéricos. Surgiu d necessidde de mnipulr os ddos coletdos, com o objetivo
Leia maisUniversidade Estadual do Sudoeste da Bahia
Universidde Estdul do Sudoeste d Bhi Deprtmento de Estudos Básicos e Instrumentis 3 Vetores Físic I Prof. Roberto Cludino Ferreir 1 ÍNDICE 1. Grndez Vetoril; 2. O que é um vetor; 3. Representção de um
Leia maisCurso Básico de Fotogrametria Digital e Sistema LIDAR. Irineu da Silva EESC - USP
Curso Básico de Fotogrmetri Digitl e Sistem LIDAR Irineu d Silv EESC - USP Bses Fundmentis d Fotogrmetri Divisão d fotogrmetri: A fotogrmetri pode ser dividid em 4 áres: Fotogrmetri Geométric; Fotogrmetri
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 maisTermodinâmica e Estrutura da Matéria 2013/14
Termodinâmic e Estrutur d Mtéri 3/4 (LMAC, MEFT, MEBiom Responsável: João P Bizrro Prátics: Edurdo Cstro e ítor Crdoso Deprtmento de Físic, Instituto Superior Técnico Resolução de exercícios propostos
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 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 maisfundamental do cálculo. Entretanto, determinadas aplicações do Cálculo nos levam a formulações de integrais em que:
Cpítulo 8 Integris Imprópris 8. Introdução A eistênci d integrl definid f() d, onde f é contínu no intervlo fechdo [, b], é grntid pelo teorem fundmentl do cálculo. Entretnto, determinds plicções do Cálculo
Leia maisFluxo de execução e blocos básicos
Otimizção Fluxo de execução e blocos básicos Compildores II Melhorr código mke it better, não mke it best Não deve lterr semântic originl do progrm Tipos locis ou globis Precoce Constnt folding 6-6 0 Simplificções
Leia maisNome: N.º: endereço: data: Telefone: PARA QUEM CURSA A 1 a SÉRIE DO ENSINO MÉDIO EM Disciplina: MaTeMÁTiCa
Nome: N.º: endereço: dt: Telefone: E-mil: Colégio PARA QUEM CURSA A SÉRIE DO ENSINO MÉDIO EM 05 Disciplin: MTeMÁTiC Prov: desfio not: QUESTÃO 6 O Dr. Mni Aco not os números trvés de um código especil.
Leia maisGRUPO I. Espaço de rascunho: G 2 10
GRUPO I I.1) Considere o seguinte grfo de estdos de um problem de procur. Os vlores presentdos nos rcos correspondem o custo do operdor (cção) respectivo, enqunto os vlores nos rectângulos correspondem
Leia maisConversão de Energia I
Deprtmento de Engenhri Elétric Conversão de Energi I Aul 5.2 Máquins de Corrente Contínu Prof. Clodomiro Unsihuy Vil Bibliogrfi FITZGERALD, A. E., KINGSLEY Jr. C. E UMANS, S. D. Máquins Elétrics: com Introdução
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 Prof.ª Danielle Casillo Proposta por Alan Turing em 1936; É universalmente conhecida e aceita como formalização de algoritmo; Teoria
Leia maisUNITAU APOSTILA. SUCESSÃO, PA e PG PROF. CARLINHOS
ESCOLA DE APLICAÇÃO DR. ALFREDO JOSÉ BALBI UNITAU APOSTILA SUCESSÃO, PA e PG PROF. CARLINHOS NOME DO ALUNO: Nº TURMA: blog.portlpositivo.com.br/cpitcr 1 SUCESSÃO OU SEQUENCIA NUMÉRICA Sucessão ou seqüênci
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 maisoperation a b result operation a b MUX result sum i2 cin cout cout cin
Módulo 5 Descrição e simulção em VHDL: ALU do MIPS Ojectivos Pretende-se que o luno descrev, n lingugem VHDL, circuitos comintórios reltivmente complexos, usndo, pr esse efeito, lguns mecnismos d lingugem
Leia mais