Pontifícia Universidade Católica de Campinas Centro de Ciências Exatas, Ambientais e de Tecnologias Faculdade de Engenharia de Computação
|
|
- Filipe Álvares Almeida
- 5 Há anos
- Visualizações:
Transcrição
1 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? 2. Que lingugem grmátic ger? S () S )( S SS S (S) S )S( S 0 S 1 S S0 3. Est grmátic: S () S (S) S SSS ger extmente lingugem dos prênteses csdos? 4. Escrev um grmátic pr lingugem { n b 2n n > 0}. 5. Que lingugem grmátic S Sb SS b b ger? Prove seu resultdo. 6. Escrev grmátics pr s seguintes lingugens: ) expressões ritmétics envolvendo os dígitos 0 e 1 e s operções + e *. Exemplo: (1 + (0 * 1)) b) { w w é d form n b m, com n < m} c) Fórmuls do cálculo proposicionl com dus vriáveis, p e q, e conectivos nd, or e not. Exemplo: (p or (q nd (not p))) d) { ww R w em {,b}*} onde w R signific form revers de w, isto é, se w = b, então w R = b. 7. Ache um GLD pr lingugem {w {, b}* w não contenh subcdei bb}.
2 8. Sej seguinte definição: Um grmátic G = (Σ, V, S, P) é liner direit se tod produção for d form A bc ou A b, onde A e C V e b Σ {λ}. Agor sej seguinte grmátic G1 compost ds seguintes produções: A wb w, onde A e B V e w Σ*. Mostre que L(G1) pode ser gerd por um grmátic liner direit. 9. Descrev em plvrs s lingugens especificds pels seguintes expressões regulres: () ()*(bb)* (b) (*b*c*)* (c) (( + b + c)(bb)* + ( + b + c))* (d) ( + )* 10. Dê um GLD pr lingugem (( + bb)* + c)*. 11. Convert os seguintes conjuntos regulres em AFNs. () (((11)*0)* + 00)* (b) ( )*(00)* 12. Especifique e descrev um AFN que ceit o conjunto de tods s sentençs com dois 0 s consecutivos ou dois 1 s consecutivos, pr = {0,1}. 13. Sej M = ({q 0, q 1 }, {0,1}, δ, {q 0 }, {q 1 }) um AFN (utômto finito não determinístico) onde δ(q 0, 0) = {q 0, q 1 } δ(q 0, 1) = {q 1 } δ(q 1, 0) = δ(q 1, 1) = {q 0, q 1 } Qul é o AFD (utômto finito determinístico) correspondente? 14. Considere seguinte grmátic regulr, G = ({0, 1}, {S, B}, S, P}, onde P consiste de: S 0B, B 0B, B 1S, B 0. Pode-se construir um utômto finito não determinístico M = ({S, B, A}, {0,1}, δ, {S}, {A}), onde δ é ddo por: 1) δ(s, 0) = {B}, já que S 0B é únic produção em P com S à esquerd e 0 à direit. 2) δ(s, 1) =, já que nenhum produção tem S à esquerd e 1 à direit. 3) δ(b, 0) = {B, A}, já que B 0B e B 0 estão em P. 4) δ(b, 1) = {S}, já que B 1S está em P. 5) δ(a, 0) = δ(a, 1) =. Ache um utômto finito determinístico M 1 equivlente M. 15. Ache um utômto finito determinístico (AFD) que ceite tods s cdeis em {0,1}* tl que todo 0 tem um 1 imeditmente à su direit. Constru um grmátic do tipo 3 que gere est lingugem.
3 16. Dê os conjuntos regulres correspondentes os seguintes AFDs: () b b, b q 0 q 1 q 2 (b) q 0 q 1 q 2 b b b 17. Convert o seguinte AFN em um AFD. b b, q 0 q 1 q 2 b 18. Sej M = ({q 0, q 1, q 2 }, {, b}, δ, {q 0 }, {q 2 }) um utômto finito não determinístico (AFN) com δ ddo por: b q 0 {q 1, q 2 } {q 0 } q 1 {q 0, q 1 } q 2 {q 0, q 2 } {q 1 } Ache um utômto finito determinístico (AFD) que ceite T(M).
4 19. Considerndo que: tod lingugem livre de contexto tmbém é sensível o contexto; nem tod grmátic livre de contexto é sensível o contexto; há qutro tipos de grmátics/lingugens segundo Chomsky, s grmátics bixo são livres de contexto? São sensíveis o contexto? Por que? ) G = (, V, S, P), onde = {, b}, V = {A, B}, S = A, P = { A B, B BB, A Bb, B b, B ba, A, Ab λ } b) G = (, V, S, P), onde = {0, 1}, V = {S}, P = {S 0S1, S λ } Que lingugem é gerd pel grmátic do item b? 20. Quis são s diferençs básics entre um utômto finito determinístico e um não determinístico? Defin T(M), o conjunto de cdeis ceits pelo utômto M, pr os dois tipos. 21. Dê especificção e o digrm de estdos de um utômto finito não determinístico M que ceite lingugem ( + b)* tl que nenhum cdei só de s ou só de b s sej ceit. Obtenh o utômto determinístico M equivlente M. Constru um grmátic liner à direit que gere est lingugem. Dê expressão regulr que represent est lingugem. 22. Dê especificção (Q, δ, Q 0, F) e o digrm de estdos de um utômto finito não determinístico (AFN) que ceite o conjunto de tods s cdeis que contenhm dois 0 s consecutivos ou dois 1 s consecutivos. Teste pr Considere grmátics lineres à esquerd, que são grmátics ns quis tod produção é d form A Ab ou A b, com A V e b {λ}. Um lingugem liner à esquerd é um lingugem que pode ser gerd por um grmátic liner à esquerd. Mostre trvés de um exemplo, que s lingugens lineres à esquerd coincidem com s lingugens lineres à direit. 24. Dê especificção (Q, δ, q 0, F) e o digrm de estdos de um utômto finito determinístico (AFD) que ceite cdeis de um lfbeto = {0,1}, com número pr de 0 s e um número pr de 1 s. Escrev grmátic liner direit (GLD) equivlente esse utômto e expressão regulr que represent lingugem de estdos finitos correspondente. 25. Sej = {, b}. Mostre que lingugem L 1 que consiste de tods s cdeis ns quis o número de s é igul o número de b s não é regulr. 26. Ddo um lfbeto. Considere seguinte linh de rciocínio:
5 ) Pr qulquer cdei x *, lingugem {x} é regulr. b) Pr quisquer lingugens regulres A e B, lingugem A B é regulr. c) Tod lingugem L * pode ser escrit como um união de lingugens d seguinte form: L = x L {x}. d) Portnto, tod lingugem L * é regulr. Critique este rgumento. As três hipóteses estão correts? A lógic é válid? Se não, você pode identificr um flh? A conclusão está corret? 27. Constru um utômto finito que ceite lingugem regulr {(b)*b + c*} sem usr rcos-λ. 28. Dê o utômto finito determinístico que ceite lingugem regulr L 2 = (b * c + b). Qul é grmátic liner direit G 2 que ger L 2? 29. Sej M = ({q 0, q 1, q 2 }, {, b}, δ, {q 0 }, {q 2 }) um utômto finito não determinístico (AFN) com mpemento de trnsmissão de estdo δ definid como δ(q 0, ) = {q 1, q 2 } δ(q 1, ) = {q 0, q 1 } δ(q 2, ) = {q 0, q 2 } δ(q 0, b) = {q 0 } δ(q 1, b) = δ(q 2, b) = {q 1 } ) Ache um utômto finito determinístico (AFD) que ceite o conjunto de cdeis ceits por M; b) Ache grmátic liner direit (GLD) que ger Lingugem de Estdos Finitos (LEF) ceit por M; c) Ache expressão regulr que represente est lingugem. 1. Sej seguinte definição: Um grmátic G = (X, V, S, P) é liner direit se tod produção for d form A bc ou A b, onde A e C V e b X {λ}. Agor sej seguinte grmátic G1 compost ds seguintes produções: A wb w, onde A e B V e w X*. Mostre que L(G1) pode ser gerd por um grmátic liner direit. 2. Considere um grmátic G = (X, V, S, P), onde X = {0, 1}, V = {S}, P = {S 0S1, S 01}. Qul o tipo (menos complexo) dest grmátic segundo hierrqui de Chomsky? Dê descrição forml d lingugem gerd por est grmátic. Se for possível, descrev o utômto finito, com o menor número de estdos possível, que ceite est lingugem. 3. Quis são s diferençs básics entre um utômto finito determinístico (AFD) e um não determinístico (AFN)? Defin T(M), o conjunto de cdeis ceits pelo utômto M, pr os dois tipos. 4. Dê especificção e o digrm de estdos de um utômto finito não determinístico (AFN) M que ceite lingugem ( + b)* tl que nenhum cdei só de s ou só de b s sej ceit. Obtenh o utômto determinístico
6 (AFD) M equivlente M. Constru um grmátic liner à direit que gere est lingugem. Dê expressão regulr que represent est lingugem. 5. Dê especificção (Q, δ, Q 0, F) e o digrm de estdos de um utômto finito não determinístico (AFN) que ceite o conjunto de tods s cdeis que contenhm dois 0 s consecutivos ou dois 1 s consecutivos. Teste pr Considere grmátics lineres à esquerd, que são grmátics ns quis tod produção é d form A Ab ou A b, com A V e b X {λ}. Um lingugem liner à esquerd é um lingugem que pode ser gerd por um grmátic liner à esquerd. Mostre trvés de um exemplo, que s lingugens lineres à esquerd coincidem com s lingugens lineres à direit. 7. Dê especificção (Q, δ, q 0, F) e o digrm de estdos de um utômto finito determinístico (AFD) que ceite cdeis de um lfbeto X = {0,1}, com número pr de 0 s e um número pr de 1 s. Escrev grmátic liner direit (GLD) equivlente esse utômto e expressão regulr que represent lingugem de estdo finito correspondente. 8. Sej X = {, b}. Mostre que lingugem L 1 que consiste de tods s cdeis ns quis o número de s é igul o número de b s não é regulr. 9. Ddo um lfbeto X. Considere seguinte linh de rciocínio: e) Pr qulquer cdei x X*, lingugem {x} é regulr. f) Pr quisquer lingugens regulres A e B, lingugem A B é regulr. g) Tod lingugem L X* pode ser escrit como um união de lingugens d seguinte form: L = x L {x}. h) Portnto, tod lingugem L X* é regulr. Critique este rgumento. As três hipóteses estão correts? A lógic é válid? Se não, você pode identificr um flh? A conclusão está corret? 10. Constru um utômto finito que ceite lingugem regulr {(b)*b + c*} sem usr rcos-λ. 11. Dê o utômto finito determinístico (AFD) que ceite lingugem regulr L 2 = (b * c + b). Qul é grmátic liner direit G 2 que ger L 2? 12. Sej M = ({q 0, q 1, q 2 }, δ, {q 0 }, {q 2 }) um utômto finito não determinístico (AFN) pr X = {,b}, com mpemento de trnsmissão de estdo δ definid como δ(q 0, ) = {q 1, q 2 } δ(q 1, ) = {q 0, q 1 } δ(q 2, ) = {q 0, q 2 } δ(q 0, b) = {q 0 } δ(q 1, b) = δ(q 2, b) = {q 1 }
7 d) Ache um utômto finito determinístico (AFD) que ceite o conjunto de cdeis ceits por M; e) Ache grmátic liner direit (GLD) que ger Lingugem de Estdo Finito (LEF) ceit por M; f) Ache expressão regulr que represente est lingugem. 13. Sej lingugem L {0, 1}* constituíd de cdeis que contêm subcdei 10 su extrem direit. Exemplo: L, enqunto que L. ) Escrev um utômto finito não-determinístico (AFN) que ceit lingugem L; b) Escrev o utômto finito determínistico (AFD) que ceit L; c) Escrev expressão regulr equivlente L; d) Escrev grmátic liner direit, sem produções-λ, que ger L. 14. Considere seguinte lingugem: L 1 = { w w ( + b)* tl que hj número pr de dupls de b s} Exemplo: cdei bbbb não deve ser ceit, enqunto que cdei bbb deve. Se possível, escrev o utômto finito determinístico (AFD) que process L 1 e dê grmátic liner direit equivlente. Se não for possível explique o porquê. 15. Dê o digrm de estdos de um utômto finito determinístico (AFD) que ceite lingugem dd pel expressão regulr (b* + (b)*). Escrev grmátic equivlente.
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Curso de Ciências de Computação
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Curso de Ciências de Computação SCC-205 TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS Turma 1 2º. Semestre de 2012 Prof. João Luís
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 maisUniversidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Ciências de Computação
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Ciências de Computação SCC-0505 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Lista de Exercícios do Capítulo 3 Gramáticas
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 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 maisSCC 205 Teoria da Computação e Linguagens Formais
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Ciências de Computação SCC 205 Teoria da Computação e Linguagens Formais Autômatos com pilha Lista 3 1. Dê um
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 maisUniversidade de São Paulo Instituto de Ciências Matemáticas e de Computação Curso de Ciências de Computação
Universiae e São Paulo Instituto e Ciências Matemáticas e e Computação Curso e Ciências e Computação SCC-205 TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS Turma A 2º. Semestre e 2010 Prof. João Luís Lista
Leia maisExpressões Regulares e Gramáticas Regulares
Universidade Católica de Pelotas Escola de informática 053212 Linguagens Formais e Autômatos TEXTO 2 Expressões Regulares e Gramáticas Regulares Prof. Luiz A M Palazzo Março de 2007 Definição de Expressão
Leia 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 maisLista de exercícios 1
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Lista de exercícios 1 Disciplina: Linguagens Formais e Autômatos Professora: Juliana Pinheiro
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 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 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 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 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 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 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 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 maisFundamentos da Teoria da Computação
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre dúvidas da lista Sérgio Mariano Dias 1 1 UFMG/ICEx/DCC Entrega da 1 a lista: 31/03/2009 Sérgio Mariano Dias (UFMG) Fundamentos
Leia 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 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 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 de pilha e GIC
Autómatos de pilha e GIC Proposição 17.1. A classe de linguagens aceites por autómatos de pilha está contida na classe das linguagens independentes de contexto. Dem. Seja L uma linguagem independente de
Leia maisTeoria de Linguagens 2 o semestre de 2017 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 19/9/2017 Valor: 10 pontos
Departamento de Ciência da Computação ICEx/UFMG Teoria de Linguagens o semestre de 7 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 9/9/7 Valor: pontos. Uma versão do problema
Leia maisTeoria de Linguagens 1 o semestre de 2018 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 17/4/2018 Valor: 10 pontos
Departamento de Ciência da Computação ICEx/UFMG Teoria de Linguagens o semestre de 8 Professor: Newton José Vieira Primeira Lista de Exercícios Data de entrega: 7/4/8 Valor: pontos. Uma versão do problema
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 maisAutómatos de pilha e Gramáticas independentes de contexto
Autómatos de pilha e Gramáticas independentes de contexto Proposição 15.1. A classe de linguagens aceites por autómatos de pilha está contida a classe das linguagens independentes de contexto. Dem. Seja
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 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 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 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ó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 maisINE5317 Linguagens Formais e Compiladores AULA 5: Autômatos Finitos
INE5317 Linguagens Formais e Compiladores AULA 5: Autômatos Finitos Ricardo Azambuja Silveira INE-CTC-UFSC E-Mail: silveira@inf.ufsc.br URL: www.inf.ufsc.br/~silveira As Linguagens e os formalismos representacionais
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 maisFundamentos da Teoria da Computação
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre dúvidas Sérgio Mariano Dias 1 1 Doutorando em Ciência da Computação Estagiário em docência II Departamento de Ciência da Computação
Leia maisSCC Capítulo 1 Linguagens Regulares e Autômatos Finitos
SCC-505 - Capítulo 1 Linguagens Regulares e Autômatos Finitos João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo
Leia maisLista de Exercícios de Física II - Gabarito,
List de Exercícios de Físic II - Gbrito, 2015-1 Murício Hippert 18 de bril de 2015 1 Questões pr P1 Questão 1. Se o bloco sequer encost no líquido, leitur n blnç corresponde o peso do líquido e cord sustent
Leia maisTeoria de Linguagens 2 o semestre de 2015 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 15/9.
Pós-Graduação em Ciência da Computação DCC/ICEx/UFMG Teoria de Linguagens 2 o semestre de 2015 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 15/9. Observações: Pontos
Leia maisAutômatos Finitos Não Determinís5cos (AFN)
Linguagens Formais e Autômatos Autômatos Finitos Não Determinís5cos (AFN) Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (hdp://dcc.ufmg.br/~nvieira) Sumário Introdução
Leia maisFundamentos da Teoria da Computação
Fundamentos da Teoria da Computação Segunda Lista de Exercícios - Aula sobre dúvidas Sérgio Mariano Dias 1 1 Mestrando em Ciência da Computação Departamento de Ciência da Computação Universidade Federal
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 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 maisApostila 02. Objetivos: Estudar os autômatos finitos Estudar as expressões regulares Estudar as gramáticas regulares Estudar as linguagens regulares
Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e
Leia maisTeoria da Computação. Expressões Regulares e Autômatos Finitos. Thiago Alves
Teoria da Computação Expressões Regulares e Autômatos Finitos Thiago Alves 1 Introdução Expressões Regulares e Autômatos Finitos são bem diferentes Será que são equivalentes com relação as linguagens que
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 maisLinguagens e Programação Automátos Finitos. Paulo Proença
Linguagens e Programação Automátos Finitos Autómatos finitos Formalismo, que permite representar de uma forma clara, um qualquer processo composto por um conjunto de estados e transições entre esses estados.
Leia mais1. Prove a chamada identidade de Lagrange. u 1,u 3 u 2,u 3. u 1 u 2,u 3 u 4 = u 1,u 4 u 2,u 4. onde u 1,u 2,u 3 e u 4 são vetores em R 3.
Universidde Federl de Uberlândi Fculdde de Mtemátic Disciplin : Geometri Diferencil Assunto: Cálculo no Espço Euclidino e Curvs Diferenciáveis Prof. Sto 1 List de exercícios 1. Prove chmd identidde de
Leia maisLinguagens Regulares. Prof. Daniel Oliveira
Linguagens Regulares Prof. Daniel Oliveira Linguagens Regulares Linguagens Regulares ou Tipo 3 Hierarquia de Chomsky Linguagens Regulares Aborda-se os seguintes formalismos: Autômatos Finitos Expressões
Leia maisMatemática. Resolução das atividades complementares. M10 Função logarítmica. 1 Sendo ƒ uma função dada por f(x) 5 log 2
Resolução ds tividdes copleentres Mteátic M0 Função rític p. 7 Sendo ƒ u função dd por f(), clcule o vlor de f(). f() f()??? f() A epressão é igul : ) c) 0 e) b) d)? 0 0 Clcule y, sendo. y y Resolv epressão.
Leia maisRresumos das aulas teóricas Cap Capítulo 4. Matrizes e Sistemas de Equações Lineares
Rresumos ds uls teórics ------------------ Cp ------------------------------ Cpítulo. Mtrizes e Sistems de Equções ineres Sistems de Equções ineres Definições Um sistem de m equções lineres n incógnits,
Leia maisTeorema de Green no Plano
Instituto Superior Técnico eprtmento de Mtemátic Secção de Álgebr e Análise Prof. Gbriel Pires Teorem de Green no Plno O teorem de Green permite relcionr o integrl de linh o longo de um curv fechd com
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 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 maisLicenciatura em Engenharia Informática DEI/ISEP Linguagens de Programação 2006/07
Licenciatura em Engenharia Informática DEI/ISEP Linguagens de Programação 2006/07 Ficha 3 Autómatos Finitos Objectivos: Introdução ao conceito de Autómato Finito e notações utilizadas na sua representação;
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 maisÍndice TEMA TEMA TEMA TEMA TEMA
Índice Resolução de roblems envolvendo triângulos retângulos Teori. Rzões trigonométrics de um ângulo gudo 8 Teori. A clculdor gráfic e s rzões trigonométrics 0 Teori. Resolução de roblems usndo rzões
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 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 maisLinguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens
Leia 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 maisA. (Autómatos finitos determinísticos e não determinísticos AFD e AFND)
DEP. INFORMÁTICA - UNIVERSIDADE DA BEIRA INTERIOR Teoria da Computação Eng. Informática 1º Semestre Exame 1ª chamada - Resolução 2h + 30min 31/Jan/2011 Pergunta A.1 A.2 A.3 B.1 B.2 B.3a B.3b C.1 C.2 D.1
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 mais< 9 0 < f(2) 1 < 18 1 < f(2) < 19
Resolução do Eme Mtemátic A código 6 ª fse 08.. (B) 0 P = C 6 ( )6 ( ).. (B) Como f é contínu em [0; ] e diferenciável em ]0; [, pelo teorem de Lgrnge, eiste c ]0; [tl que f() f(0) = f (c). 0 Como 0
Leia maisModelos de Computação Folha de trabalho n. 8
Modelos de Computação Folha de trabalho n. 8 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 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 maisUniversidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática + = B =.. matrizes de M )
Se ( ij ) é um mtri, definid pel lei Universidde Federl de Viços Centro de Ciêncis Ets e ecnológics Deprtmento de Mtemátic LIS DE EXERCÍCIOS M 7 Prof Gem/ Prof Hugo/ Prof Mrgreth i j, se i j ij, clcule
Leia maisNOTA DE AULA. Tópicos em Matemática
Universidde Tecnológic Federl do Prná Cmpus Curitib Prof. Lucine Deprtmento Acdêmico de Mtemátic NOTA DE AULA Tópicos em Mtemátic Fonte: http://eclculo.if.usp.br/ 1. CONJUNTOS NUMÉRICOS: 1.1 Números Nturis
Leia maisUNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA
UNIVERIDDE ETDUL DE MRINGÁ DEPRTMENTO DE INFORMÁTIC utômato com Pilha Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa Prof. Yandre Maldonado - 2 utômato com Pilha - P ão formalismos
Leia mais2.4 Integração de funções complexas e espaço
2.4 Integrção de funções complexs e espço L 1 (µ) Sej µ um medid no espço mensurável (, F). A teori de integrção pr funções complexs é um generlizção imedit d teori de integrção de funções não negtivs.
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 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 maisAnálise Léxica. Fundamentos Teóricos. Autômatos Finitos e Conjuntos Regulares (cap. III da apostila de Linguagens Formais e Compiladores)
Análise Léxica Fundamentos Teóricos Autômatos Finitos e Conjuntos Regulares (cap. III da apostila de Linguagens Formais e Compiladores) Geradores X Reconhecedores Gramáticas Tipo 0 Máquinas de Turing G.
Leia maisé: y y x y 31 2 d) 18 e) O algarismo das unidades de é igual a: a) 1 b) 3 c) 5 d) 7 e) 9
0. Dentre s firmtivs bio, ssinle quel que NÃO é verddeir pr todo nturl n: - n = b - n- = - n+ n n c d - n = -- n e - n- = -- n 07. O lgrismo ds uniddes de 00. 7 00. 00 é igul : b c d 7 e 0. O vlor de 6
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 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 maisLR's: Lema do Bombeamento e Propriedades de Fechamento
Linguagens Formais e Autômatos LR's: Lema do Bombeamento e Propriedades de Fechamento Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (hfp://dcc.ufmg.br/~nvieira) Introdução
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 maisé: 31 2 d) 18 e) 512 y y x y
0. Dentre s firmtivs bio, ssinle quel que NÃO é verddeir pr todo nturl n: ) -) n = b) -) n- = -) n+ n n c) ) ) d) -) n = --) n e) -) n- = --) n 07. O lgrismo ds uniddes de 00. 7 00. 00 é igul : ) b) c)
Leia maisGramática regular. IBM1088 Linguagens Formais e Teoria da Computação. Evandro Eduardo Seron Ruiz Universidade de São Paulo
Gramática regular IBM1088 Linguagens Formais e Teoria da Computação Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 41 Frase do dia Através de três métodos
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 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 mais