Fundamentos da Teoria da Computação

Tamanho: px
Começar a partir da página:

Download "Fundamentos da Teoria da Computação"

Transcrição

1 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 da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

2 Exercício n o 1 - Faça definições recursivas das seguintes linguagens, considerando a concatenação como a operação básica no passo recursivo: a) A = {00} {1} ; λ A Se x A então 00x A e x1 A Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

3 Exercício n o 1 - Faça definições recursivas das seguintes linguagens, considerando a concatenação como a operação básica no passo recursivo: b) B = {0 2n 1 n n N}; λ B Se x B então 00x1 B Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

4 Exercício n o 1 - Faça definições recursivas das seguintes linguagens, considerando a concatenação como a operação básica no passo recursivo: c) C = {w {0,1} w é palíndromo}; λ,0,1 C Se x C então 0x0 C e 1x1 C Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

5 Exercício n o 1 - Faça definições recursivas das seguintes linguagens, considerando a concatenação como a operação básica no passo recursivo: d)d = {w {0,1} w contém 01}. 01 D Se x D então 0x D, 1x D, x0 D e x1 D Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

6 Exercício n o 2 - Perguntinhas: a) Que palavras tem cada uma das linguagens a seguir? /0 - nenhuma /0 - somente λ /0 + - nenhuma {λ} - somente λ {λ} + - somente λ {0} - somente 0 {0} - {0 n n 0} {0} + - {0 n n 1} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

7 Exercício n o 2 - Perguntinhas: b) Em que situações L é infinita? L é infinita se, e somente, se L 0 e L {λ} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

8 Exercício n o 2 - Perguntinhas: c) Seja Σ = {a,b}. Explique que palavras pertencem a cada uma das linguagens: Σ n para cada n 0; que valor tem Σ n? = {w w = n}; n = n. (Σ {λ}) n para cada n 0; que valor tem (Σ {λ}) n? ( {λ}) n = {w 0 w n}; ( {λ}) n = n k=0( k ); Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

9 Exercício n o 2 - Perguntinhas: d) Sejam Σ = {a,b}, A = {a}σ e B = Σ + {b}. Descreva AA, A B e A B. AA = {ay y {a,b} e y contém a} A B = {axb x {a,b} } A B = {w {a,b} w começa e termina com a} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

10 Exercício n o 3 - Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos finitos, operações sobre conjuntos, concatenação e fecho de Kleene. Procure obter uma descrição bem concisa. a) O conjunto das palavras de 4 símbolos sem 00 e sem 11. {0101, 1010} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

11 Exercício n o 3 - Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos finitos, operações sobre conjuntos, concatenação e fecho de Kleene. Procure obter uma descrição bem concisa. b) O conjunto das palavras que começam com 0 e terminam com 1. {0}{0,1} {1} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

12 Exercício n o 3 - Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos finitos, operações sobre conjuntos, concatenação e fecho de Kleene. Procure obter uma descrição bem concisa. c) O subconjunto das palavras de {0} {1} com número par de 0s e ímpar de 1s. {00} {1}{11} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

13 Exercício n o 3 - Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos finitos, operações sobre conjuntos, concatenação e fecho de Kleene. Procure obter uma descrição bem concisa. d) O conjunto das palavras com dois a dez símbolos. {0,1}{0,1}{λ,0,1} 8 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

14 Exercício n o 3 - Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos finitos, operações sobre conjuntos, concatenação e fecho de Kleene. Procure obter uma descrição bem concisa. e) O conjunto das palavras que contêm 00 ou 11 ou ambas. ({1} {00} {0} {11}){0,1} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

15 Exercício n o 3 - Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos finitos, operações sobre conjuntos, concatenação e fecho de Kleene. Procure obter uma descrição bem concisa. f) O conjunto das palavras que contêm 00, mas não 11. {0,1} {00}{0,1} - {0,1} {11}{0,1} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

16 Exercício n o 3 - Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos finitos, operações sobre conjuntos, concatenação e fecho de Kleene. Procure obter uma descrição bem concisa. g) O conjunto das palavras que não contêm 00. {0,1} - {0,1} {00}{0,1} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

17 Exercício n o 3 - Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos finitos, operações sobre conjuntos, concatenação e fecho de Kleene. Procure obter uma descrição bem concisa. h) O conjunto das palavras em que todo 0 é seguido de pelo menos dois 1s consecutivos. {011,1} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

18 Exercício n o 3 - Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos finitos, operações sobre conjuntos, concatenação e fecho de Kleene. Procure obter uma descrição bem concisa. i) O conjunto das palavras em que todo 0 é seguido de pelo menos dois símbolos. {1} {1} {0}{0,1} {11} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

19 Exercício n o 4 - Identifique as linguagens que são geradas pelas gramáticas a seguir: a) G 1 = ({P,X},{a,b},R 1,P). R 1 : P ax bp λ X ap {w {a,b} w tem um número par de a s} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

20 Exercício n o 4 - Identifique as linguagens que são geradas pelas gramáticas a seguir: b) G 2 = ({P},{0,1},R 2,P). R 2 : P 0P1 1P0 λ {x x x {0,1} } ( x é o complemento de x) Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

21 Exercício n o 4 - Identifique as linguagens que são geradas pelas gramáticas a seguir: c) G 3 = ({A,X},{0,1},R 3,A). R 3 : A XA X X 0X1 λ n 0{a k b k k 1} n XA XXA XXX X0X1X X00X11X X0011X... Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

22 Exercício n o 4 - Identifique as linguagens que são geradas pelas gramáticas a seguir: d) G 4 = ({X,A,#},{a,b},R 4,X). R 4 : X aax # Aa aa Ab ba A# b#a # λ {a n b n a n n 0} aax aa# ab#a aba Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

23 Exercício n o 5 - Obtenha gramáticas para as seguintes linguagens: a) {0,1}. P op 1P λ Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

24 Exercício n o 5 - Obtenha gramáticas para as seguintes linguagens: b) {0} {1} {0}. P ZUZ Z 0Z λ U 1U λ Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

25 Exercício n o 5 - Obtenha gramáticas para as seguintes linguagens: c) {0}{11} {0,λ}. P 0DF D 11D λ F 0 λ Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

26 Exercício n o 5 - Obtenha gramáticas para as seguintes linguagens: d) {0}{0,1} {0,1} {1}. Começa com 1 e termina com 0 ou é λ P 1A λ A 1A 0B B 1A 0B λ Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

27 Exercício n o 5 - Obtenha gramáticas para as seguintes linguagens: e) {w {a,b,c} o número de a s em w é par}. P λ ai bp cp I ap bi ci Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

28 Exercício n o 5 - Obtenha gramáticas para as seguintes linguagens: f) {a m b m+n+1 c n m,n 0}. P AbC A aab λ C bcc λ Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

29 Exercício n o 6 - Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. a) O conjunto das palavras de 4 símbolos sem 00 e sem 11. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

30 Exercício n o 6 - Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. b) O conjunto das palavras que começam com 0 e terminam com 1. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

31 Exercício n o 6 - Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. c) O subconjunto das palavras de {0} {1} com número par de 0s e ímpar de 1s. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

32 Exercício n o 6 - Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. d) O conjunto das palavras com dois a dez símbolos. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

33 Exercício n o 6 - Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. e) O conjunto das palavras que contêm 00 ou 11 ou ambas. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

34 Exercício n o 6 - Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. f) O conjunto das palavras que contêm 00, mas não 11. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

35 Exercício n o 6 - Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. g) O conjunto das palavras que não contêm 00. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

36 Exercício n o 6 - Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. h) O conjunto das palavras em que todo 0 é seguido de pelo menos dois 1s consecutivos. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

37 Exercício n o 6 - Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. i) O conjunto das palavras em que todo 0 é seguido de pelo menos dois símbolos. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

38 Exercício n o 7 -Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. a) {w {0,1} w 2 e o penúltimo símbolo de w é 1}. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

39 Exercício n o 7 -Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. b) {w {0,1} o último símbolo de w é igual ao primeiro}. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

40 Exercício n o 7 -Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. c) {w {0,1} os três últimos símbolos de w não são 000}. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

41 Exercício n o 7 -Construa autômatos finitos determinísticos (AFDs) que reconheçam as linguagens da questão 3. Apresente apenas os diagramas de estados. d) {w {0,1} em w o símbolo da posição 2i é diferente daquele na posição 2i + 2 para cada i 1}. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

42 Exercício n o 8 - Faça AFDs que reconheçam: X = {w {0,1} w é par}. e Y = {w {0,1} w não contém 00}. Bastam apenas os diagramas de estados. Em seguida, obtenha o produto dos dois AFDs e explicite que estados finais ele deve ter para reconhecer: Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

43 Exercício n o 8 - Faça AFDs que reconheçam: X = {w {0,1} w é par}. e Y = {w {0,1} w não contém 00}. Bastam apenas os diagramas de estados. Em seguida, obtenha o produto dos dois AFDs e explicite que estados finais ele deve ter para reconhecer: a) X Y. Final em X e final em Y. b) X Y. final em X ou final em Y. c) X Y. X Ȳ - Final em X e não é final em Y. Estado inicial é o estado inicial de X e o estado inicial de Y - {SS} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

44 Exercício n o 9 -Sejam as linguagens L 1 = {0 n 1 n 0 n n N} e L 2 = {0 n 0 n 0 n n N}. Mostre que existe AFD que reconhece L 2 e que não existe AFD que reconhece L 1. L1 - É preciso ter memória para reconhecer a linguagem. L2 - Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

45 Exercício n o 10 - Explique: a) Para um estado e e uma palavra x, se ˆδ(e,x) = e, então ˆδ(e,x n ) = e para todo n 0. ˆδ(e,x) = e - processa x e para em e. ˆδ(e,x n ) = e - processa x n vezes e para em e. Todas as transições são deterministicas. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

46 Exercício n o 10 - Explique: b) Se um AFD M reconhece uma palavra de tamanho maior ou igual ao número de estados de M, então L(M) é infinita. A palavra é maior ou igual ao número de estados, logo M precisa possuir um loop. Pode se passar pelo loop infinitas vezes. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

47 Exercício n o 10 - Explique: c) Seja um AFD M. Se X L(M), então pode ser que exista ou não M tal que L(M ) = X. Dica: considere M como sendo um AFD que reconheça {0,1}. Reconhece: {λ} Não reconhece: {0 n 1 n n 1 e n N} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

48 Obrigado pela atenção e boa prova. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação Entrega da 1 a lista: 31/03/ / 48

Fundamentos da Teoria da Computação

Fundamentos 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 mais

Teoria 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

Teoria 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 mais

Teoria 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

Teoria 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 mais

Teoria de Linguagens 2 o semestre de 2015 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 15/9.

Teoria 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 mais

Fundamentos da Teoria da Computação

Fundamentos 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 mais

Autômatos Finitos Não Determinís5cos (AFN)

Autô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 mais

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 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 mais

Conceitos básicos de Teoria da Computação

Conceitos básicos de Teoria da Computação Folha Prática Conceitos básicos de 1 Conceitos básicos de Métodos de Prova 1. Provar por indução matemática que para todo o número natural n: a) 1 + 2 + 2 2 + + 2 n = 2 n+1 1, para n 0 b) 1 2 + 2 2 + 3

Leia mais

Expressões e Gramáticas Regulares e Autómatos Finitos

Expressões e Gramáticas Regulares e Autómatos Finitos Folha Prática Expressões e Gramáticas Regulares e Autómatos Finitos 1 Expressões e Gramáticas Regulares e Autómatos Finitos Expressões Regulares e Autómatos Finitos 1. Determine e implemente computacionalmente

Leia mais

Fundamentos da Teoria da Computação

Fundamentos da Teoria da Computação Fundamentos da Teoria da Computação Terceira 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 mais

Linguagens Formais e Problemas de Decisão

Linguagens Formais e Problemas de Decisão Linguagens Formais e Problemas de Decisão Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Linguagens Formais e Problemas

Leia mais

Instituto Superior Técnico Teoria da Computação - LEIC, LERC 2012/2013 Aula prática 6. 1 Palavras e linguagem gerada por gramática

Instituto Superior Técnico Teoria da Computação - LEIC, LERC 2012/2013 Aula prática 6. 1 Palavras e linguagem gerada por gramática Instituto Superior Técnico Teoria da Computação - LEIC, LERC 2012/2013 Aula prática 6 1 Palavras e linguagem gerada por gramática 1. Seja G = (V,Σ,P,S) a gramática livre de contexto em que V = {S,A}, Σ

Leia mais

Aula 7: Autômatos com Pilha

Aula 7: Autômatos com Pilha Teoria da Computação Segundo Semestre, 2014 Aula 7: Autômatos com Pilha DAINF-UTFPR Prof. Ricardo Dutra da Silva Vamos adicionar um memória do tipo pilha ao nossos autômatos para que seja possível aceitar

Leia mais

Autômatos de Pilha (AP)

Autômatos de Pilha (AP) Linguagens Formais e Autômatos Autômatos de Pilha (AP) Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (h@p://dcc.ufmg.br/~nvieira) Sumário Introdução Autômatos de pilha

Leia mais

Como construir um compilador utilizando ferramentas Java

Como construir um compilador utilizando ferramentas Java Como construir um compilador utilizando ferramentas Java p. 1/2 Como construir um compilador utilizando ferramentas Java Aula 4 Análise Léxica Prof. Márcio Delamaro delamaro@icmc.usp.br Como construir

Leia mais

Teoria da Computação Gramáticas, Linguagens Algébricas e Autómatos de Pilha

Teoria da Computação Gramáticas, Linguagens Algébricas e Autómatos de Pilha Teoria da Computação Gramáticas, Linguagens Algébricas e Autómatos de Pilha Simão Melo de Sousa 12 de Outubro de 2011 Conteúdo 1 Gramáticas e Definições básicas 1 2 Gramáticas e Linguagens 4 2.1 Gramáticas

Leia mais

Histórico e motivação

Histórico e motivação Expressões regulares 1. Histórico e motivação 2. Definição a) Sintaxe b) Semântica c) Precedência dos operadores 3. Exemplos 4. Leis algébricas 5. Dialetos 6. Aplicações 7. Exercícios Pré-requisito: básico

Leia mais

Autómatos Finitos Determinísticos (AFD)

Autómatos Finitos Determinísticos (AFD) Folha Prática Autómatos Finitos 1 Autómatos Finitos Determinísticos (AFD) 1. Determine e implemente computacionalmente um AFD que aceita todas as cadeias de cada uma das seguintes linguagens sobre o alfabeto

Leia mais

Marcos Castilho. DInf/UFPR. 5 de abril de 2018

Marcos Castilho. DInf/UFPR. 5 de abril de 2018 5 de abril de 2018 Autômatos com Pilha Não-Determinísticos Um Autômato com Pilha Não-Determinístico (APN) é uma sêxtupla (Q, Σ, Γ, δ, Q 0, F ), onde: Q, Σ, Γ, F são como nos APD s; δ : Q (Σ {λ}) (Γ {λ})

Leia mais

Modelos de Computação Folha de trabalho n. 8

Modelos 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 mais

Autómatos de Pilha e Linguagens Livres de Contexto

Autómatos de Pilha e Linguagens Livres de Contexto Folha Prática Autómatos de Pilha e Linguagens Livres de Contexto 1 Autómatos de Pilha e Linguagens Livres de Contexto Autómatos de Pilha Não Determinísticos (APND) 1. Considere a seguinte tabela de transição

Leia mais

Universidade Federal de Alfenas

Universidade Federal de Alfenas Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 08 Minimização de AFDs humberto@bcc.unifal-mg.edu.br Últimas aulas... Linguagens Formais vs Linguagens Naturais Últimas aulas... Linguagens

Leia mais

COMPILADORES. Revisão Linguagens formais Parte 01. Geovane Griesang

COMPILADORES. Revisão Linguagens formais Parte 01. Geovane Griesang Universidade de Santa Cruz do Sul UNISC Departamento de informática COMPILADORES Revisão Linguagens formais Parte 01 geovanegriesang@unisc.br Legenda: = sigma (somatório) = delta ε = épsilon λ = lambda

Leia mais

Máquinas de Turing - Computabilidade

Máquinas de Turing - Computabilidade BCC244-Teoria da Computação Prof. Lucília Figueiredo Lista de Exercícios 03 DECOM ICEB - UFOP Máquinas de Turing - Computabilidade 1. Seja L uma linguagem não livre de contexto. Mostre que: (a) Se X uma

Leia mais

Linguagem (formal) de alfabeto Σ

Linguagem (formal) de alfabeto Σ Linguagem (formal) de alfabeto Σ Linguagem é qualquer subconjunto de Σ, i.e. qualquer conjunto de palavras de Σ Σ = {a, b} {aa, ab, ba, bb} ou {x x {a, b} e x = 2} {a, aa, ab, ba, aaa, aab, aba,...} ou

Leia mais

O que é Linguagem Regular. Um teorema sobre linguagens regulares. Uma aplicação do Lema do Bombeamento. Exemplo de uso do lema do bombeamento

O que é Linguagem Regular. Um teorema sobre linguagens regulares. Uma aplicação do Lema do Bombeamento. Exemplo de uso do lema do bombeamento O que é Linguagem Regular Um teorema sobre linguagens regulares Linguagem regular Uma linguagem é dita ser uma linguagem regular se existe um autômato finito que a reconhece. Dada uma linguagem L: É possível

Leia mais

UNIVERSIDADE DA BEIRA INTERIOR

UNIVERSIDADE DA BEIRA INTERIOR UNIVERIDADE DA EIRA INTERIOR Teoria da Computação Eng. Informática 2º emestre Frequência 2 (7 valores) Resolução 30/maio/2017 A. Expressões regulares e autómatos finitos 1. [1.25] Usando o método de eliminação

Leia mais

Linguagens Formais e Autômatos 02/2015. LFA Aula 02. introdução 28/09/2015. Celso Olivete Júnior.

Linguagens Formais e Autômatos 02/2015. LFA Aula 02. introdução 28/09/2015. Celso Olivete Júnior. LFA Aula 02 Linguagens regulares - introdução 28/09/2015 Celso Olivete Júnior olivete@fct.unesp.br 1 Na aula passada... Visão geral Linguagens regulares expressões regulares autômatos finitos gramáticas

Leia mais

Expressões Regulares. Linguagens Formais e Autômatos. Andrei Rimsa Álvares

Expressões Regulares. Linguagens Formais e Autômatos. Andrei Rimsa Álvares Linguagens Formais e Autômatos Expressões Regulares Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (hcp://dcc.ufmg.br/~nvieira) Expressões Regulares Até agora foram vistas

Leia mais

Gramáticas e Linguagens Independentes de Contexto

Gramáticas e Linguagens Independentes de Contexto Gramáticas e Linguagens Independentes de Contexto 6.1 Responde às uestões seguintes considerando a gramática independente de contexto G = (V, {a, b}, P, R), onde o conjunto de regras P é: R XRX S S at

Leia mais

Linguagens Regulares. Prof. Daniel Oliveira

Linguagens 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 mais

Curso de Engenharia de Computação - UTFPR Teoria da Computação - Prof. Celso Kaestner Lista de exercícios

Curso de Engenharia de Computação - UTFPR Teoria da Computação - Prof. Celso Kaestner Lista de exercícios Curso de Engenharia de Computação - UTFPR Teoria da Computação - Prof. Celso Kaestner Lista de exercícios 1. Escreva a expressão regular para as seguintes linguagens sobre o alfabeto {0, 1}: strings começando

Leia mais

Linguagens Formais. Aula 01 - Conceitos Básicos. Prof. Othon Batista Mestre em Informática

Linguagens Formais. Aula 01 - Conceitos Básicos. Prof. Othon Batista Mestre em Informática Linguagens Formais Aula 01 - Conceitos Básicos Prof. Othon Batista Mestre em Informática Sumário Introdução à Linguagem Alfabeto Cadeias de Símbolos, Palavras Tamanho de Palavra Prefixo, Sufixo ou Subpalavra

Leia mais

Revisões de Conjuntos

Revisões de Conjuntos Revisões de Conjuntos {, {a}, {b}, {a, b}} a A a pertence a A, a é elemento de A a {a, b, c} a / A a não pertence a A d / {a, b, c} A B A contido em B, A subconjunto de B x A x B {a, b} {b, c, a} A B A

Leia mais

LINGUAGENS FORMAIS E AUTÔMATOS

LINGUAGENS FORMAIS E AUTÔMATOS LINGUAGENS FORMAIS E AUTÔMATOS O objetivo deste curso é formalizar a idéia de linguagem e definir os tipos de sintaxe e semântica. Para cada sintaxe, analisamos autômatos, ue são abstrações de algoritmos.

Leia mais

BCC242. Auômato Finito Determinístico

BCC242. Auômato Finito Determinístico BCC242 Auômato Finito Determinístico Máquinas de Estados Finitos As máquinas de estados finitos são máquinas abstratas que capturam partes essenciais de algumas máquinas concretas. Tipos Tradutores máquinas

Leia mais

Segunda Lista de Exercícios 2004/2...

Segunda Lista de Exercícios 2004/2... + + UFLA Universidade Federal de Lavras Departamento de Ciência da Computação COM162 Linguagens Formais e Autômatos Prof. Rudini Sampaio Monitor: Rodrigo Pereira dos Santos Segunda Lista de Exercícios

Leia mais

LFA Aula 07. Equivalência entre AFD e AFND. Equivalência entre ER s e AF s Equivalência entre GR s e AF s. Linguagens Formais e Autômatos

LFA Aula 07. Equivalência entre AFD e AFND. Equivalência entre ER s e AF s Equivalência entre GR s e AF s. Linguagens Formais e Autômatos LFA Aula 07 Equivalência entre AFD e AFND AFND: uma aplicação busca em textos Equivalência entre ER s e AF s Equivalência entre GR s e AF s Celso Olivete Júnior olivete@fct.unesp.br www.fct.unesp.br/docentes/dmec/olivete/lfa

Leia mais

Lista de Exercícios CT-200 Primeiro Bimestre Carlos Henrique Quartucci Forster Estagiário: Wesley Telles. Revisão de Teoria de Conjuntos

Lista de Exercícios CT-200 Primeiro Bimestre Carlos Henrique Quartucci Forster Estagiário: Wesley Telles. Revisão de Teoria de Conjuntos Lista de Exercícios CT-200 Primeiro Bimestre 2010 Carlos Henrique Quartucci Forster Estagiário: Wesley Telles Revisão de Teoria de Conjuntos 1. Sejam A = {1,2 } e B = { x, y, z}. Quais os elementos dos

Leia mais

Conceitos Preliminares

Conceitos Preliminares Capítulo 1 Conceitos Preliminares Inicialmente, na Seção 1.1, será abordado o problema fundamental relativo ao uso dos computadores, ou seja, o da representação, com o intuito de fazer transparecer a importância

Leia mais

a n Sistemas de Estados Finitos AF Determinísticos

a n Sistemas de Estados Finitos AF Determinísticos a n Sistemas de Estados Finitos AF Determinísticos 1 Relembrando Uma representação finita de uma linguagem L qualquer pode ser: 1. Um conjunto finito de cadeias (se L for finita); 2. Uma expressão de um

Leia mais

SCC 205 Teoria da Computação e Linguagens Formais

SCC 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 mais

AFNs, Operações Regulares e Expressões Regulares

AFNs, Operações Regulares e Expressões Regulares AFNs, Operações Regulares e Expressões Regulares AFNs. OperaçõesRegulares. Esquematicamente. O circulo vermelho representa o estado inicial q 0, a porção verde representa o conjunto de estados de aceitação

Leia mais

Universidade Federal de Alfenas

Universidade Federal de Alfenas Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 04 Linguagens Formais humberto@bcc.unifal-mg.edu.br Última aula... Relação da teoria dos conjuntos com LFA; Relação dos grafos com LFA.

Leia mais

BCC244. Alfabeto, String, Linguagem, Gramática. Registro aqui o agradecimento à Profa. Lucília por ceder slides que fazem parte deste materal.

BCC244. Alfabeto, String, Linguagem, Gramática. Registro aqui o agradecimento à Profa. Lucília por ceder slides que fazem parte deste materal. BCC244 Alfabeto, String, Linguagem, Gramática Registro aqui o agradecimento à Profa. Lucília por ceder slides que fazem parte deste materal. Exemplo: Máquina de Venda A máquina de venda retorna uma cocacola

Leia mais

Autômatos com Pilha. Douglas O. Cardoso docardoso.github.io

Autômatos com Pilha. Douglas O. Cardoso docardoso.github.io Autômatos com Pilha douglas.cardoso@cefet-rj.br docardoso.github.io Autômatos com Pilha 1/18 Roteiro 1 Autômatos com Pilha 2 APDs 3 APNs Autômatos com Pilha 2/18 Roteiro 1 Autômatos com Pilha 2 APDs 3

Leia mais

Universidade Federal de Alfenas

Universidade Federal de Alfenas Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 13 Autômato com Pilha humberto@bcc.unifal-mg.edu.br Última aula Linguagens Livres do Contexto P(S*) Recursivamente enumeráveis Recursivas

Leia mais

Modelos de Computação Folha de trabalho n. 10

Modelos 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 mais

Expressões Regulares e Gramáticas Regulares

Expressõ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 mais

Linguagens Formais - Preliminares

Linguagens Formais - Preliminares Linguagens Formais - Preliminares Regivan H. N. Santiago DIMAp-UFRN 25 de fevereiro de 2007 Regivan H. N. Santiago (DIMAp-UFRN) Linguagens Formais - Preliminares 25 de fevereiro de 2007 1 / 26 Algumas

Leia mais

Prof. Dr. Marcos Castilho. Departamento de Informática/UFPR. 27 de Fevereiro de 2018

Prof. Dr. Marcos Castilho. Departamento de Informática/UFPR. 27 de Fevereiro de 2018 27 de Fevereiro de 2018 Definição: Concatenação Sejam u, v Σ. A concatenação de u e v, denotado por uv é a operação binária sobre Σ assim definida (i) BASE: Se tamanho(v) = 0 então v = λ e uv = u. (ii)

Leia mais

Modelos de Computação

Modelos de Computação Modelos de Computação 2.ano LCC e LERSI URL: http://www.ncc.up.pt/~nam/aulas/0405/mc Escolaridade: 3.5T e 1P Frequência:Semanalmente serão propostos trabalhos aos alunos, que serão entregues nas caixas

Leia mais

SCC Capítulo 1 Linguagens Regulares e Autômatos Finitos

SCC 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 mais

Conceitos Preliminares

Conceitos Preliminares Capítulo 1 Conceitos Preliminares Inicialmente, na Seção 1.1, será abordado o problema fundamental relativo ao uso dos computadores, ou seja, o da representação, com o intuito de fazer transparecer a importância

Leia mais

LFA Aula 05. AFND: com e sem movimentos 05/12/2016. Linguagens Formais e Autômatos. Celso Olivete Júnior.

LFA Aula 05. AFND: com e sem movimentos 05/12/2016. Linguagens Formais e Autômatos. Celso Olivete Júnior. LFA Aula 05 AFND: com e sem movimentos vazios 05/12/2016 Celso Olivete Júnior olivete@fct.unesp.br www.fct.unesp.br/docentes/dmec/olivete/lfa 1 Na aula passada... Reconhecedores genéricos Autômatos finitos

Leia mais

Linguagens Não-Regulares

Linguagens Não-Regulares Linguagens Não-Regulares Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Linguagens Não-Regulares DCC-UFMG (2018/02)

Leia mais

Autômatos Finitos Determinís3cos (AFD)

Autômatos Finitos Determinís3cos (AFD) Linguagens Formais e Autômatos Autômatos Finitos Determinís3cos (AFD) Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (hcp://dcc.ufmg.br/~nvieira) Introdução Exemplos Sumário

Leia mais

Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.

Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ. Linguagens O conceito de linguagem engloba uma variedade de categorias distintas de linguagens: linguagens naturais, linguagens de programação, linguagens matemáticas, etc. Uma definição geral de linguagem

Leia mais

A. (Autómatos finitos determinísticos e não determinísticos AFD e AFND)

A. (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 mais

Linguagens Formais e Autômatos

Linguagens Formais e Autômatos Linguagens Formais e Autômatos Conversão de Expressões Regulares (ER) para Autômatos Finitos Determinísticos (AFD) Cristiano Lehrer, M.Sc. Introdução A construção sistemática de um Autômato Finito para

Leia mais

LR's: Lema do Bombeamento e Propriedades de Fechamento

LR'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 mais

Lista de exercícios 1

Lista 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 mais

Linguagens Regulares, Operações Regulares

Linguagens Regulares, Operações Regulares Linguagens Regulares, Operações Regulares 1 Definição de Linguagem Regular Relembre a definição de linguagem regular: DEF: A linguagem aceita por um AF M é o conjunto de todos os strings que são aceitos

Leia mais

Propriedades de Fecho de Linguagens Regulares.

Propriedades de Fecho de Linguagens Regulares. Propriedades de Fecho de Linguagens Regulares. Gerando Linguagens Regulares Recorde a seguinte teorema: THM: Linguagens regulares são aquelas que podem ser geradas a partir de linguagens finitas pela aplicação

Leia mais

Linguagens Regulares, Operações Regulares

Linguagens Regulares, Operações Regulares Linguagens Regulares, Operações Regulares 1 Definição de Linguagem Regular Relembre a definição de linguagem regular: DEF: A linguagem aceita por um AF M é o conjunto de todos os strings que são aceitos

Leia mais

Linguagens e Programação Automátos Finitos. Paulo Proença

Linguagens 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 mais

Universidade 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 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 mais

Universidade Federal do Rio de Janeiro Departamento de Ciência da Computação

Universidade Federal do Rio de Janeiro Departamento de Ciência da Computação Universidade Federal do Rio de Janeiro Departamento de Ciência da Computação Não são aceitas respostas sem justificativa. Explique tudo o que você fizer. Linguagens Formais o semestre de 999 Primeira Prova

Leia mais

Linguagens Formais e Autômatos 02/2016. LFA Aula 04 16/11/2016. Celso Olivete Júnior.

Linguagens Formais e Autômatos 02/2016. LFA Aula 04 16/11/2016. Celso Olivete Júnior. LFA Aula 04 Autômatos Finitos 16/11/2016 Celso Olivete Júnior olivete@fct.unesp.br 1 Classificação das Linguagens segundo Hierarquia de Chomsky Máquina de Turing Máquina de Turing com fita limitada Autômato

Leia mais

Alfabeto, Cadeias, Operações e Linguagens

Alfabeto, Cadeias, Operações e Linguagens Linguagens de Programação e Compiladores - Aula 3 1 Alfabeto, Cadeias, Operações e Linguagens 1.Conjuntos Para representar um determinado conjunto é necessário buscar uma notação para representá-lo e ter

Leia mais

Apostila 05 Assunto: Linguagens dos tipos 0 e 1

Apostila 05 Assunto: Linguagens dos tipos 0 e 1 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 mais

Gramá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 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 mais

LINGUAGEM LIVRE DE CONTEXTO GRAMÁTICA LIVRE DE CONTEXTO

LINGUAGEM LIVRE DE CONTEXTO GRAMÁTICA LIVRE DE CONTEXTO LINGUAGEM LIVRE DE CONTEXTO As Linguagens Livres de Contexto é um reconhecedor de linguagens, capaz de aceitar palavras corretas (cadeia, sentenças) da linguagem. Por exemplo, os autômatos. Um gerador

Leia mais

Linguagens Formais e Autômatos P. Blauth Menezes

Linguagens 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 mais

Folha 2 Autómatos e respectivas linguagens

Folha 2 Autómatos e respectivas linguagens Folha 2 Autómatos e respectivas linguagens 1. Considere a linguagem L formada por todas as sequências sobre o alfabeto { 0, 1, 2 } cujo somatório seja divisível por 3. Construa um autómato finito A que

Leia mais

C : R I IN 0. tal que. C(α) = 0 sempre que α I {, ɛ} C(α + β) = C(α) + C(β) + 1. C(αβ) = C(α) + C(β) + 1. C(α ) = C(α) + 1.

C : R I IN 0. tal que. C(α) = 0 sempre que α I {, ɛ} C(α + β) = C(α) + C(β) + 1. C(αβ) = C(α) + C(β) + 1. C(α ) = C(α) + 1. PROPOSIÇÃO: Para cada expressão regular α R I existe um autómato finito determinista D tal que L(α) = L D. Prova (esboço): Prova-se, por indução na complexidade das expressões regulares α R I que, para

Leia mais

Licenciatura 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 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 mais

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 3. Autômatos Finitos

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 3. Autômatos Finitos Curso: Ciência da Computação Turma: 6ª Série Aula 3 Autômatos Finitos Alfabeto Alfabeto Conjunto finito de símbolos; Normalmente descrito por ; Exemplos: ={a, b} ={1, 2, 3} ={00, 11} Ø Alfabeto romano

Leia mais

Teoria da Computação. Unidade 3 Máquinas Universais. Referência Teoria da Computação (Divério, 2000)

Teoria 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 mais

Linguagens Formais e Autômatos P. Blauth Menezes

Linguagens Formais e Autômatos P. Blauth Menezes Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação - P. Blauth Menezes

Leia mais

Teoria da Computação Aula 02 Introdução

Teoria da Computação Aula 02 Introdução Teoria da Computação Aula 02 Introdução Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional Alfabeto Um alfabeto é um conjunto finito de símbolos ou caracteres, representado pela letra sigma ( ). Portanto:

Leia mais

Autómatos de Pilha. Cada transição é caracterizada pelo estado, símbolo que está ser lido e o elemento no topo da pilha. dados de entrada.

Autómatos de Pilha. Cada transição é caracterizada pelo estado, símbolo que está ser lido e o elemento no topo da pilha. dados de entrada. Autómatos de Pilha Um autómato de pilha (não determinístico) (AP) é um autómato finito não determinístico com transições ɛ, acrescido de uma memória infinita a pilha mas em que o modo de acesso à informação

Leia mais

Concurso Público para provimento de cargo efetivo de Docentes. Edital 20/2015 CIÊNCIA DA COMPUTAÇÃO II Campus Rio Pomba

Concurso Público para provimento de cargo efetivo de Docentes. Edital 20/2015 CIÊNCIA DA COMPUTAÇÃO II Campus Rio Pomba Questão 01 No processo de construção de compiladores, é essencial compreender e manipular as expressões regulares e suas equivalências. Dentro desse contexto, seja o alfabeto = {a, b, c, d, e} e a seguinte

Leia mais

UNIVERSIDADE 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 UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 02 Introdução à Teoria da Computação Prof.ª Danielle Casillo Linguagem: é uma forma precisa de expressar

Leia mais

Linguagens Livres do Contexto. Adaptado de H. Brandão

Linguagens Livres do Contexto. Adaptado de H. Brandão Linguagens Livres do Contexto Adaptado de H. Brandão Linguagens Livres do Contexto Para as LLC, temos as Gramáticas Livres do Contexto; Linguagens Livres do Contexto Para as LLC, temos as Gramáticas Livres

Leia mais

AF Não-determinísticos Equivalência entre AFDN e AFD Equivalência entre AF e GR (H&U, 1969 e 1979), (H;M;U, 2001) e (Menezes, 2002) 1

AF Não-determinísticos Equivalência entre AFDN e AFD Equivalência entre AF e GR (H&U, 1969 e 1979), (H;M;U, 2001) e (Menezes, 2002) 1 AF Não-determinísticos Equivalência entre AFDN e AFD Equivalência entre AF e GR (H&U, 1969 e 1979), (H;M;U, 2001) e (Menezes, 2002) 1 AF NÃO-Determinístico (AFND) Consideremos uma modificação no modelo

Leia mais

INE5317 Linguagens Formais e Compiladores AULA 5: Autômatos Finitos

INE5317 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 mais

Teoria 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 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 mais

Expressões Regulares. Tiago Alves de Oliveira

Expressões Regulares. Tiago Alves de Oliveira Expressões Regulares Tiago Alves de Oliveira Introdução As expressões regulares consistem em uma maneira de representar um padrão de caracteres. Expressão Regular descreve um conjunto de cadeias de caracteres,

Leia mais

Aula 3: Autômatos Finitos

Aula 3: Autômatos Finitos Teoria da Computação Primeiro Semestre, 25 Aula 3: Autômatos Finitos DAINF-UTFPR Prof. Ricardo Dutra da Silva Um procedimento ue determina se uma string de entrada pertence à uma linguagem é um reconhecedor

Leia mais

Apostila 01 Fundamentação da Teoria da Computação e Linguagens Formais

Apostila 01 Fundamentação da Teoria da Computação e Linguagens Formais Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e

Leia mais

AF Não-determinísticos Equivalência entre AFDN e AFD Equivalência entre AF e GR (H&U, 1969 e 1979), (H;M;U, 2001) e (Menezes, 2002) 1

AF Não-determinísticos Equivalência entre AFDN e AFD Equivalência entre AF e GR (H&U, 1969 e 1979), (H;M;U, 2001) e (Menezes, 2002) 1 AF Não-determinísticos Equivalência entre AFDN e AFD Equivalência entre AF e GR (H&U, 1969 e 1979), (H;M;U, 2001) e (Menezes, 2002) 1 AF NÃO-Determinístico (AFND) Consideremos uma modificação no modelo

Leia mais

Aula 9: Máquinas de Turing

Aula 9: Máquinas de Turing Teoria da Computação Aula 9: Máquinas de Turing DAINF-UTFPR Prof. Ricardo Dutra da Silva Uma máquina de Turing é uma máquina de estados finitos que pode mover o cabeçote em qualquer direção, ler e manipular

Leia mais

Linguaguens recursivamente enumeráveis e recursivas

Linguaguens recursivamente enumeráveis e recursivas Linguaguens recursivamente enumeráveis e recursivas Uma linguagem diz-se recursivamente enumerável (r.e) ou semi-decidível se é aceite por uma máquina de Turing. SD: classe de linguagens recursivamente

Leia mais

Linguagens Formais e Autômatos. Autômatos Finitos Determinísticos (AFD)

Linguagens Formais e Autômatos. Autômatos Finitos Determinísticos (AFD) Linguagens Formais e Autômatos Autômatos Finitos Determinísticos (AFD) Cristiano Lehrer, M.Sc. Linguagens Regulares A teoria da computação começa com uma pergunta: O que é um computador? É, talvez, uma

Leia mais

A. (Autómatos finitos determinísticos e não determinísticos AFD e AFND)

A. (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 2ª chamada - Resolução 2h + 30min 07/Fev/2011 Pergunta A.1 A.2 A.3 B.1 B.2 B.3a B.3b C.1 C.2 D.1

Leia mais

Aula 3: Autômatos Finitos

Aula 3: Autômatos Finitos Teoria da Computação Segundo Semestre, 24 Aula 3: Autômatos Finitos DAINF-UTFPR Prof. Ricardo Dutra da Silva Um procedimento ue determina se uma string de entrada pertence à uma linguagem é um reconhecedor

Leia mais

Apostila 03 - Linguagens Livres de Contexto Exercícios

Apostila 03 - Linguagens Livres de Contexto Exercícios Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e

Leia mais