Modelos de Computação Folha de trabalho n. 3
|
|
- Carlos Eduardo Sequeira Domingues
- 6 Há anos
- Visualizações:
Transcrição
1 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 té o di (pr P1-P4) e (pr P5-P9) às 13h30m e presentd n ul prátic respectiv. Pr ser quis dos exercícios que deverás presentr, consult rvr/mc03/dist.pdf. Autómtos finitos não determinísticos com trnsições 3.1 Consider os seguintes utómtos finitos não-determinísticos representdos pelo seguinte digrm: 1, 3 () Clcul o fecho- de cd estdo () Usndo pel construção dos suconjuntos, determin um utómto finito determinístico equivlente. 3. Consider o utómto finito ({s 0, s 1, s, s 3, s 4 }, {, }, δ, s 0, {s 4 }) com seguinte função de trnsição: s 0 {s 0, s 1 } {s } s 1 {s 3 } s {s 1 } s 3 {s 1, s 4 } {s 4 } s 4 {s 1 } () Pr cd um ds seguintes plvrs indic se são ceites ou não pelo utómto: i) ii) iii) () Descreve, informlmente, lingugem ceite pelo utómto. (c) Determin o utómto finito determinístico que reconhece lingugem complementr dest. 3.3 Consider o utómto finito ({s 0, s 1, s, s 3, }, {, }, δ, s 0, {s 0, s 3 }) com seguinte função de trnsição: s 0 {s 1, s } {s 0 } s 1 {s 3 } s {s 0 } s 3 {s 1, s } () Pr cd um ds seguintes plvrs indic se são ceites ou não pelo utómto: i) ii) iii) () Descreve, informlmente, lingugem ceite pelo utómto. (c) Determin o utómto finito determinístico que reconhece lingugem complementr dest. Dep. Ciênci de Computdores/FCUP
2 Modelos de Computção Folh de trlho n. 3 Resolução de exercícios escolhidos 3. () i), não. ii), sim. iii), não. () {} {, }{} {}{, }{{}{} {, }} (c) δ {s 0 } {s 0, s 1 } {s 1, s } {s 0, s 1 } {s 0, s 1 } {s 1, s, s 3 } {s 1, s } {s 3 } {s 1, s, s 3 } {s 1, s 4 } {s 3, s 4 } {s 3 } {s 1, s 4 } {s 4 } {s 1, s 4 } {s 1 } {s 3 } {s 3, s 4 } {s 1, s 4 } {s 4 } {s 4 } {s 1 } {s 1 } {s 3 } Ou sej, tomndo s 0 = {s 0 }, s 1 = {s 0, s 1 }, s = {s 1, s }, s 3 = {s 1, s, s 3 }, s 4 = {s 3 }, s 5 = {s 1, s 4 }, s 6 = {s 3, s 4 }, s 7 = {s 4 }, s 8 = {s 1 }, o utómto finito determinístico equivlente é ({s 0, s 1, s, s 3, s 4, s 5, s 6, s 7, s 8}, {, }, δ, {s 0 }, {{s 1, s 4 }, {s 3, s 4 }, {s 4 }}). Tornndo este utómto completo (pr poder encontrr o utómto que reconhece lingugem complementr), e trnsformndo os estdos finis em não-finis e vice vers, vem: 3.3 () i), sim. ii), sim. iii), não. () {{} {}{} {, }} (c) s 1 s 3 s 6 s 0 s 5 s s 4 s 7, s 9 s 8 δ {s 0, s 1, s } {s 0, s 1, s } {s 3 } {s 3 } {s 1, s } {s 1, s } {s 0, s 1, s } {s 3 } Ou sej, tomndo s 0 = {s 0, s 1, s }, s 1 = {s 3 }, s = {s 1, s }, o utómto determinístico equivlente é ({s 0, s 1, s }, {, }, δ, s 0, {s 0, s 1}) Dep. Ciênci de Computdores/FCUP
3 Modelos de Computção Folh de trlho n. 3 Tornndo este utómto completo (pr poder encontrr o utómto que reconhece lingugem complementr), e trnsformndo os estdos finis em não-finis e vice vers, vem: s 0 s 1 s s 3, Expressões regulres 3.4 Escreve expressões regulres pr cd um ds seguintes lingugens de Σ = {, }: () plvrs com não mis do que três s () plvrs com um número de s divisível por três (c) plvrs com exctmente um ocorrênci d su-plvr. 3.5 Quis ds seguintes firmções são verddeirs? Justific. () L( ) () L( ) L( ) = L( + ) (c) L( ) L(c d ) = (d) cd L(((cd) ) ) 3.6 () A lingugem {x {0, 1} x não termin em 1} é descrit pel expressão: i) (1 + 0) 0 ii) (0 + 10) iii) 0 + (0 + 1) 0 () A lingugem {x {0, 1} x começ por 1} é descrit pel expressão: i) ( + 1)1(1 + 0) ii) ( )(1 + 0) iii) 1 (1 + 0) 3.7 Escreve expressões regulres mis simples equivlentes às seguintes: () ( + ) () (( ) ( ) ) (c) ( ) + ( ) (d) ( + ) ( + ) 3.8 Descreve cd um ds lingugens seguintes por um expressão regulr. () L 1 = {x {,, c, d} x não têm s à direit de c s nem s à esquerd de d s} () L = {xy x, y {0, 1} e diferenç entre o número de 0 s em x e em y é ímpr} (c) L 3 o conjunto ds plvrs de lfeto {0, 1,, 3, 4, 5, 6, 7, 8, 9} que são representção em deciml de inteiros não negtivos múltiplos 5 ou de 10. (d) L 4 = {x {0, 1} x têm 110 como suplvr ms não 101} 3.9 Pr cd um ds igulddes seguintes sore expressões regulres diz se é verddeir ou fls, demonstrndo se for verddeir ou rrnjndo um contr-exemplo se for fls. Dep. Ciênci de Computdores/FCUP
4 Modelos de Computção Folh de trlho n. 3 () ( + r) = r () (r + s) = r + s (c) (rs + r) = r(sr + r) (d) (r + s) s = (r s ) Prolems origtórios A Consider o utómto finito com trnsições por, ({s 0, s 1, s }, {,, c}, δ, s 0, {s }) com seguinte função de trnsição δ: c s 0 {s 1, s } {s 1 } {s } s 1 {s 0 } {s } {s 0, s 1 } s () Apresent o digrm que descreve o utómto. () Clcul o fecho- de cd estdo. (c) Determin tods s plvrs com comprimento 3 ceites pelo utómto. (d) Determin um utómto finito determinístico completo equivlente. B Consider o utómto finito não determinístico B = ({s 0, s 1, s, s 3, s 4, s 5 }, {, }, δ, s 0, {s 3, s 5 }), onde função de trnsição δ é definid pel tel seguinte: s 0 {s 3, s 5 } s 1 {s } s {s 5 } s 3 {s 4 } s 4 {s 3 } s 5 {s 1 } () Apresent o digrm que descreve o utómto e diz quis ds seguintes plvrs são ceites por B:, e () Descreve lingugem reconhecid por B, eventulmente usndo um expressão regulr. (c) Determin o fecho por de cd estdo de B. (d) Usndo o método de construção de suconjuntos, determin um utómto finito determinístico completo equivlente B. C Consider o utómto finito não determinístico C = ({s 0, s 1, s, s 3, s 4, s 5 }, {0, 1}, δ, s 0, {s 4, s 5 }), onde função de trnsição δ é definid pel tel seguinte: 0 1 s 0 {s 3, s 5 } s 1 {s } {s 1 } s {s 5 } s 3 {s 3 } {s 3, s 4 } s 4 s 5 {s 1 } {s 5 } () Apresent o digrm que descreve o utómto e diz quis ds seguintes plvrs são ceites por C: 0001, 1000 e () Descreve lingugem reconhecid por C, eventulmente usndo um expressão regulr. (c) Determin o fecho por de cd estdo de C. Dep. Ciênci de Computdores/FCUP
5 Modelos de Computção Folh de trlho n. 3 (d) Usndo o método de construção de suconjuntos, determin um utómto finito determinístico completo equivlente C. D Consider o seguinte utómto finito não determinístico D, com lfeto Σ = {1, }: s 0 s 1 1 s 3 s 1 () Escreve função de trnsição do utómto. () Clcul o fecho- de cd estdo (c) Encontr um utómto finito determinístico completo equivlente D. (d) Descreve lingugem reconhecid por D, eventulmente usndo um expressão regulr. E F G H () Escreve um expressão regulr que descreve cd um ds seguintes lingugens: As plvrs de {0, 1} que não contém 01 As plvrs de {0, 1} com exctmente um ocorrênci de 111 () Dá um descrição informl d lingugem representd pel expressão regulr ( + ( ) ) (c) Sendo r, s e t expressões regulres, indic se s expressões regulres seguintes são ou não equivlentes, demonstrndo se o forem ou exiindo um plvr que pertenç um e não à outr, cso contrário: (rs + t) e (r + s + t) () Escreve um expressão regulr que descreve cd um ds seguintes lingugens: As plvrs de {0, 1, } que têm um número ímpr de 1s As plvrs de {0, 1} que terminm em 1 ms não em 111. () Dá um descrição informl d lingugem representd pel expressão regulr 0(0 + 1) + (11) (c) Sendo r e s expressões regulres, indic se s expressões regulres seguintes são ou não equivlentes, demonstrndo se o forem ou exiindo um plvr que pertenç um e não à outr, cso contrário: (r + s) e (r + s) () Escreve um expressão regulr que descreve cd um ds seguintes lingugens: As plvrs de {0, 1, } que contêm pelo menos um 1 ou um. As plvrs de {0, 1} que contêm 11 ms não 00 () Dá um descrição informl d lingugem representd pel expressão regulr ( + ) (c) Sendo r e s expressões regulres, indic se s expressões regulres seguintes são ou não equivlentes, demonstrndo se o forem ou exiindo um plvr que pertenç um e não à outr, cso contrário: (rs + r) r e r(sr + r) () Escreve um expressão regulr que descreve cd um ds seguintes lingugens: As plvrs de {, } que não terminm em As plvrs de {,, c} que não contêm () Dá um descrição informl d lingugem representd pel expressão regulr ( ) (c) Sendo r e s expressões regulres, indic se s expressões regulres seguintes são ou não equivlentes, demonstrndo se o forem ou exiindo um plvr que pertenç um e não à outr, cso contrário: r (sr ) e (s + r) Dep. Ciênci de Computdores/FCUP
Modelos 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 maisAula 5: Autômatos Finitos Remoção de Não-Determinismo
Teori d Computção Primeiro Semestre, 25 DAINF-UTFPR Aul 5: Autômtos Finitos 3 Prof. Rirdo Dutr d Silv 5. Remoção de Não-Determinismo As lsses de utômtos definids nteriormente são tods equivlentes. Vmos
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 maisDraft-v Autómatos finitos. 4.1 Autómatos finitos determinísticos
4 Autómtos finitos Neste cpítulo vmos introduzir outrs estruturs que permitem crcterizr s lingugens regulres. A principl vntgem, dests novs estruturs, sore representção com expressões regulres é de terem,
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 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 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 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 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 maisAutómatos Finitos Determinísticos. 4.1 Validação de palavras utilizando Autómatos
Licencitur em Engenhri Informátic DEI/ISEP Lingugens de Progrmção 26/7 Fich 4 Autómtos Finitos Determinísticos Ojectivos: Vlidção de plvrs utilizndo Autómtos Finitos; Conversão de utómtos finitos não determinísticos
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 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 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 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 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 maisFalando. Matematicamente. Teste Intermédio. Escola: Nome: Turma: N.º: Data:
Mtemticmente Flndo lexndr Conceição Mtilde lmeid Teste Intermédio vlição MTEMTICMENTE FLNDO LEXNDR CONCE ÇÃO MT LDE LME D lexndr Conceição Mtilde lmeid VLIÇÃO Escol: Nome: Turm: N.º: Dt: MTEMÁTIC.º NO
Leia maisINE Fundamentos de Matemática Discreta para a Computação
INE5403 - Fundmentos de Mtemátic Discret pr Computção 6) Relções de Ordenmento 6.1) Conjuntos Prcilmente Ordendos (Posets( Posets) 6.2) Extremos de Posets 6.3) Reticuldos 6.4) Álgers Boolens Finits 6.5)
Leia maisINE Fundamentos de Matemática Discreta para a Computação
INE5403 - Fundmentos de Mtemátic Discret pr Computção 6) Relções de Ordenmento 6.1) Conjuntos Prcilmente Ordendos (Posets( Posets) 6.2) Extremos de Posets 6.3) Reticuldos 6.4) Álgers Boolens Finits 6.5)
Leia maisMatemática A - 10 o Ano Ficha de Trabalho
Fich de Trlho Álger - Rdicis Mtemátic - 0 o no Fich de Trlho Álger - Rdicis Grupo I. Sejm e dois números nturis diferentes que tis que x =. onclui-se então que x pode ser ddo por qul ds expressões ixo?
Leia maisDo programa... 2 Descobre o teu livro... 4
Índice Do progrm........................................... Descobre o teu livro....................................... 4 Atividde zero: Record.................................. 6 1. T de vrição e otimizção...........................
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 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 maisIntrodução à Integral Definida. Aula 04 Matemática II Agronomia Prof. Danilene Donin Berticelli
Introdução à Integrl Definid Aul 04 Mtemátic II Agronomi Prof. Dnilene Donin Berticelli Áre Desde os tempos mis ntigos os mtemáticos se preocupm com o prolem de determinr áre de um figur pln. O procedimento
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 maisEXEMPLOS DE AUTÓMATOS
EXEMPLOS DE AUTÓMATOS EXEMPLO 1 (exeíio 4 () d list de exeíios 13): Autómto finito deteminístio ue, de ente s lvs ue se esevem om s lets do lfeto {,,}, eit ens s ue têm elo menos dois s. 0 1 2,,,, Reesentção
Leia maisMatemática (e geometria) para CG
Licencitur em Engenhri Informátic e de Computdores Computção Gráfic Mtemátic (e geometri) pr CG 2014 Corpo docente de Computção Gráfic / CG&M / DEI / IST / UTL Edwrd Angel, Cp. 3 Questão 1, exme de 06/06/11
Leia mais(B) (A) e o valor desta integral é 9. gabarito: Propriedades da integral Represente geometricamente as integrais para acompanhar o cálculo.
Cálculo Univrido List numero integrl trcisio@sorlmtemtic.org T. Prcino-Pereir Sorl Mtemátic lun@: 7 de setemro de 7 Cálculo Produzido com L A TEX sis. op. Dein/GNU/Linux www.clculo.sorlmtemtic.org/ Os
Leia maisAno / Turma: N.º: Data: / / GRUPO I
Novo Espço Mtemátic A.º no Nome: Ano / Turm: N.º: Dt: / / GRUPO I N respost cd um dos itens deste grupo, selecion únic opção corret. Escreve, n folh de resposts: o número do item; letr que identific únic
Leia maisESCOLA SECUNDÁRIA COM 3º CICLO D. DINIS COIMBRA 10º ANO DE ESCOLARIDADE MATEMÁTICA A FICHA DE AVALIAÇÃO Nº 5. Grupo I
ESCOLA SECUNDÁRIA COM º CICLO D. DINIS COIMBRA 10º ANO DE ESCOLARIDADE MATEMÁTICA A FICHA DE AVALIAÇÃO Nº Grupo I As cinco questões deste grupo são de escolh múltipl. Pr cd um dels são indicds qutro lterntivs,
Leia maisCanguru Matemático sem Fronteiras 2010
Cnguru Mtemático sem Fronteirs 2010 Durção: 1h30min Destintários: lunos do 9 Ano de Escolridde Nome: Turm: Não podes usr clculdor. Há pens um respost correct em cd questão. As questões estão grupds em
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 maisApós encontrar os determinantes de A. B e de B. A, podemos dizer que det A. B = det B. A?
PROFESSOR: EQUIPE DE MATEMÁTICA BANCO DE QUESTÕES - MATEMÁTICA - ª SÉRIE - ENSINO MÉDIO ============================================================================================= Determinntes - O vlor
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 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 maisConjuntos Numéricos. Conjuntos Numéricos
UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E TECNOLÓGICAS CURSO DE ENGENHARIA CIVIL DISCIPLINA: FUNDAMENTOS DE MATEMÁTICA.. Proprieddes dos números
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 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 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 maisObjetivo. Conhecer a técnica de integração chamada substituição trigonométrica. e pelo eixo Ox. f(x) dx = A.
MÓDULO - AULA Aul Técnics de Integrção Substituição Trigonométric Objetivo Conhecer técnic de integrção chmd substituição trigonométric. Introdução Você prendeu, no Cálculo I, que integrl de um função
Leia maisfacebook/ruilima
MATEMÁTICA UFPE ( FASE/008) 01. Sej áre totl d superfície de um cubo, e y, o volume do mesmo cubo. Anlise s firmções seguir, considerndo esss informções. 0-0) Se = 5 então y = 7. 1-1) 6y = 3 -) O gráfico
Leia maisSÍNTESE DE CONTEÚDO MATEMÁTICA SEGUNDA SÉRIE - ENSINO MÉDIO ASSUNTO : OS PRISMAS (PARTE 2) NOME :...NÚMERO :... TURMA :...
SÍNTESE DE CONTEÚDO MATEMÁTICA SEGUNDA SÉRIE - ENSINO MÉDIO ASSUNTO : OS PRISMAS (PARTE ) 1 NOME :...NÚMERO :... TURMA :... 6) Áres relcionds os prisms : ) Áre d bse : É áre do polígono que represent bse.
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 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 mais19/12/2017 VALOR: 20,0 NOTA: TRABALHO DE RECUPERAÇÃO FINAL SÉRIE: 8º ANO TURMAS: A/B 01. RELAÇÃO DO CONTEÚDO 02. ORIENTAÇÕES
DISCIPLINA: MATEMÁTICA PROFESSORA: PATRICIA MEIRELES 9//07 VALOR: 0,0 NOTA: TRABALHO DE RECUPERAÇÃO FINAL SÉRIE: 8º ANO TURMAS: A/B ALUNO (A): 0. RELAÇÃO DO CONTEÚDO Nº:. Operções com polinômios.. Produtos
Leia maisExercícios. setor Aula 25. f(2) = 3. f(3) = 0. f(11) = 12. g(3) = 14. Temos: 2x 1 = 5 x = 3 Logo, f(5) = 3 2 = 9
setor 07 070409 070409-SP Aul 5 FUNÇÃO (COMPOSIÇÃO DE FUNÇÕES) FUNÇÃO COMPOSTA Sej f um função de A em B e sej g um função de B em C. Chm-se função compost de g com f função h definid de A em C, tl que
Leia maisMódulo e Equação Modular (valor absoluto)?
Mtemátic Básic Unidde 6 Função Modulr RANILDO LOES Slides disponíveis no nosso SITE: https://ueedgrtito.wordpress.com Módulo e Equção Modulr (vlor bsoluto)? - - - - R uniddes uniddes Definição, se, se
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 maisPARTE I - Circuitos Resistivos Lineares
Prolem 1.1 Leis de Kirchhoff PARTE I Circuitos Resistivos Lineres i 1 v 2 R 1 10A 1 R 2 Considere o circuito d figur 1.1. ) Constru o seu grfo e indique o número de rmos e de nós. ) Clcule os vlores ds
Leia maisResistência de Materiais 2
Resistênci de Mteriis Ano ectivo 0/04 º Exme 8 de Jneiro de 04 Durção: hors Oservções: Não podem ser consultdos quisquer elementos de estudo pr lém do formulário fornecido. Resolver os prolems em grupos
Leia maisTécnica de conexões pneumáticas Programa complementar Parafusos obturadores e apoio. Catálogo impresso
Técnic de conexões pneumátics Progrm complementr Prfusos obturdores e poio Ctálogo impresso 2 Técnic de conexões pneumátics Progrm complementr Prfusos obturdores e poio Peç em cruz, cônic rosc intern,
Leia maisLicenciatura em Engenharia Informática e de Computadores Computação Gráfica. Matemática para CG
Licencitur em Engenhri Informátic e de Computdores Computção Gráfic Mtemátic pr CG 2012 Corpo docente de Computção Gráfic / CG&M / DEI / IST / UTL Edwrd Angel, Cp. 3 Questão 1, exme de 06/06/11 [1.0v]Explique,
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 maisLista de Problemas H2-2002/2. LISTA DE PROBLEMAS Leia atentamente as instruções relativas aos métodos a serem empregados para solucionar os problemas.
List de Prolems H 0/ List sugerid de prolems do livro texto (Nilsson& Riedel, quint edição) 4.8, 4.9, 4., 4.1, 4.18, 4., 4.1, 4., 4.3, 4.3, 4.36, 4.38, 4.39, 4.40, 4.41, 4.4, 4.43, 4.44, 4.4, 4.6, 4.,
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 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 maisDefinição Definimos o dominio da função vetorial dada em (1.1) como: dom(f i ) i=1
Cpítulo 1 Funções Vetoriis Neste cpítulo estudremos s funções f : R R n, funções que descrevem curvs ou movimentos de objetos no espço. 1.1 Definições e proprieddes Definição 1.1.1 Um função vetoril, é
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 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 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 mais1º Teste (Repescagem) de Mecânica Aplicada II
MEAer / MEMEc / LEAN Ano Lectivo de 01/013 Instituto Superior Técnico 1 de Junho de 013 1º Teste (Repescgem) de Mecânic Aplicd II Este teste é constituído por 3 problems e tem durção de um hor e mei. Justifique
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 maisUNIVERSIDADE FEDERAL DA BAHIA DEPARTAMENTO DE MATEMÁTICA MATA07 ÁLGEBRA LINEAR A PROFs.: Enaldo Vergasta,Glória Márcia. 2 a LISTA DE EXERCÍCIOS
UNIVERSIDADE FEDERAL DA BAHIA DEPARTAMENTO DE MATEMÁTICA MATA07 ÁLGEBRA LINEAR A PROFs: Enldo VergstGlóri Márci LISTA DE EXERCÍCIOS ) Verifique se são verddeirs ou flss s firmções bixo: ) Dois vetores
Leia maisCoálgebras de Kleene
Coálgers de Kleene Mri Teres Fernndes Clssificção ACM: F.TheoryofComputtion;F.3Logicsndmeningofprogrms; F.4 Mthemticl logic nd forml lnguges; Plvrs-chve: Teori de Computção, Teorem de Kleene, Coálger,
Leia maisMarcus Vinícius Dionísio da Silva (Angra dos Reis) 9ª série Grupo 1
Mrcus Vinícius Dionísio d Silv (Angr dos Reis) 9ª série Grupo 1 Tutor: Emílio Ruem Btist Júnior 1. Introdução: Este plno de ul tem o ojetivo gerl de mostrr os lunos um processo geométrico pr resolução
Leia maisProgressões Aritméticas
Segund Etp Progressões Aritmétics Definição São sequêncis numérics onde cd elemento, prtir do segundo, é obtido trvés d som de seu ntecessor com um constnte (rzão).,,,,,, 1 3 4 n 1 n 1 1º termo º termo
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 maisFUNÇÃO DO 2º GRAU OU QUADRÁTICA
FUNÇÃO DO º GRAU OU QUADRÁTICA - Definição É tod função do tipo f() = + + c, com *, e c. c y Eemplos,, c números e coeficient termo vr vr iável iável es independen reis indepemdem dependente de te ou te
Leia maisRevisão EXAMES FINAIS Data: 2015.
Revisão EXAMES FINAIS Dt: 0. Componente Curriculr: Mtemátic Ano: 8º Turms : 8 A, 8 B e 8 C Professor (): Anelise Bruch DICAS Use s eplicções que form copids no cderno; Use e buse do livro didático, nele
Leia maisModelos de Computação Folha de trabalho n. 10
Modelos de Computação Folha de trabalho n. 10 Nota: Os exercícios obrigatórios marcados de A a D constituem os problemas que devem ser resolvidos individualmente. A resolução em papel deverá ser depositada
Leia maisRESPOSTAS DA LISTA 2 - Números reais: propriedades algébricas e de ordem
List de Mtemáti Bási 009- (RESPOSTAS) 4 RESPOSTAS DA LISTA - Números reis: proprieddes lgéris e de ordem Pr filitr onsult, repetimos qui os xioms e s proprieddes lgéris e de ordem listds em ul. À medid
Leia maisNÃO existe raiz real de um número negativo se o índice do radical for par.
1 RADICIAÇÃO A rdicição é operção invers d potencição. Sbemos que: ) b) Sendo e b números reis positivos e n um número inteiro mior que 1, temos, por definição: sinl do rdicl n índice Qundo o índice é,
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 maisAula 5 Plano de Argand-Gauss
Ojetivos Plno de Argnd-Guss Aul 5 Plno de Argnd-Guss MÓDULO - AULA 5 Autores: Celso Cost e Roerto Gerldo Tvres Arnut 1) presentr geometricmente os números complexos ) Interpretr geometricmente som, o produto
Leia maisFísica III Escola Politécnica GABARITO DA P1 20 de abril de 2017
Físic III - 4323203 Escol Politécnic - 2017 GABARITO DA P1 20 de ril de 2017 Questão 1 O cmpo elétrico sore o eixo de simetri (eixo z) de um nel de rio r e crg totl Q > 0 é ddo por z E nel = 1 Qz k. (r
Leia maisO Amplificador Operacional
UFSM CT DELC O Amplificdor Opercionl Prte I Giovni Brtto 6/26/2007 Introdução Neste texto, o mplificdor opercionl será considerdo como um cix pret. Estmos interessdos em compreender o seu funcionmento
Leia maisPropriedades Matemáticas
Proprieddes Mtemátics Guilherme Ferreir guifs2@hotmil.com Setembro, 2018 Sumário 1 Introdução 2 2 Potêncis 2 3 Rízes 3 4 Frções 4 5 Produtos Notáveis 4 6 Logritmos 5 6.1 Consequêncis direts d definição
Leia mais