Fundamentos da Teoria da Computação
|
|
- Denílson Braga Porto
- 6 Há anos
- Visualizações:
Transcrição
1 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 de Minas Gerais 07/05/2009 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
2 Exercício n o 1 - Construa AFNs para as seguintes linguagens, com o menor número de estados e de transições que conseguir: a) {w {a, b, c} w tem pelo menos uma ocorrência de aba ou de bcb ou de cac}. aba bcb cac Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
3 Exercício n o 1 - Construa AFNs para as seguintes linguagens, com o menor número de estados e de transições que conseguir: b) O conjunto das palavras de {a, b, c}, de três ou mais símbolos, em que o último símbolo seja diferente do primeiro. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
4 Exercício n o 1 - Construa AFNs para as seguintes linguagens, com o menor número de estados e de transições que conseguir: c) O conjunto das palavras de {a, b, c} em que o último símbolo tenha ocorrido antes no mínimo uma vez. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
5 Exercício n o 1 - Construa AFNs para as seguintes linguagens, com o menor número de estados e de transições que conseguir: d) O conjunto das palavras de {a, b, c} em que o último símbolo tenha ocorrido antes no máximo duas vezes. Estados iniciais: q7, q0, q1, q8, q3, q4, q9, q5, q6 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
6 Exercício n o 2 - Seja o AFNλ M: Construa um AFD equivalente usando o método visto em aula (subset construction). Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
7 Exercício n o 2 subset 0 1 {1} {2} {1} {2} {1,3} {} {3} {3} {4} {4} {4} {3} subset 0 1 {1,3} {2,3} {1,4} {1,4} {2,4} {1,3} {2,3} {1,3} {4} {2,4} {1,3,4} {3} {3,4} {3,4} {3,4} {4} {4} {3} {3} {3} {4} {1,3,4} {2,3,4} {1,3,4} {2,3,4} {1,3,4} {3,4} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
8 Exercício n o 2 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
9 Exercício n o 3 - Obtenha um AFN K com um único estado inicial, equivalente ao AFN da questão anterior, que contenha todos os estados e transições lá contidos. Em seguida, obtenha uma gramática regular para L(K ) usando o método visto em aula. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
10 Exercício n o 3 q4=a, q0=b, q1=c, q2=d, q3=e A λ 1B 0C 0D 1E B λ 1B 0C C 0B 0D D 0D 1E E λ 1D 0E Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
11 Exercício n o 4 - Seja o AFNλ M: a) Construa um AFN N, equivalente a M, usando o método visto em aula. b) A partir do AFN N, construa uma expressão regular que denote a linguagem reconhecida. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
12 Exercício n o 4 - a) Construa um AFN N, equivalente a M, usando o método visto em aula. I = fλ(a) = {A, B, C, D, E} δ (A, a) = fλ(δ(a, a)) = fλ(a) = {A, B, C, D, E} δ (B, b) = fλ(δ(b, b)) = fλ(b) = {B, D, E} δ (C, c) = fλ(δ(c, c)) = fλ(c) = {C, D, E} δ (D, d) = fλ(δ(d, d)) = fλ(d) = {D, E} δ (E, a) = fλ(δ(e, a)) = fλ(e) = {E} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
13 Exercício n o 4 - a) Construa um AFN N, equivalente a M, usando o método visto em aula. Todos os estados são iniciais I = fλ(a) = {A, B, C, D, E} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
14 Exercício n o 4 - b) - Criando novo estado inicial e final. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
15 Exercício n o 4 - b) - Removendo o estado B. P1 = λ + (b + ) P2 = a + ab + P3 = λ + (b + ) P4 = a + ab + Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
16 Exercício n o 4 - b) - Removendo o estado A. P1 = (λ + b + ) + a (a + ab + ) P2 = (a + ab + ) + a (λ + b + ) P3 = λ + a + Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
17 Exercício n o 4 - b) - Removendo o estado C. P1 = [(λ + b + ) + (a (a + ab + ))] + [(λ + a + )c + ] P2 = [(a + ab + ) + a (λ + b + )] + [(λ + a + )c + ] Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
18 Exercício n o 4 - b) - Removendo o estado D. P1 = [(λ + b + ) + (a (a + ab + ))] + [(λ + a + )c + ] P2 = {[(a + ab + ) + a (λ + b + )] + [(λ + a + )c + ]d } + {[(a + ab + ) + a (λ + b + )] + [(λ + a + )c + ]d + a } Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
19 Exercício n o 4 - b) - Removendo o estado E. P1 = [(λ + b + ) + (a (a + ab + ))] + [(λ + a + )c + ] P2 = {[(a + ab + ) + a (λ + b + )] + [(λ + a + )c + ]d } + {[(a + ab + ) + a (λ + b + )] + [(λ + a + )c + ]d + a } ER = P1a P2 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
20 Exercício n o 5 - Prove que os seguintes conjuntos não são linguagens regulares, usando o lema do bombeamento: Lema do bombeamento - LB Seja L uma linguagem regular. Então existe uma constante K > 0 tal que para qualquer palavra Z L com Z > K existem u, v, w que satisfazem as seguintes condições: Z = uvw; uv K ; v λ e uv i w L, i 0 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
21 Exercício n o 5 - Prove que os seguintes conjuntos não são linguagens regulares, usando o lema do bombeamento: a) L = {x1 n n 0, x {0, 1} e x = n} Suponha que L seja regular. Seja k a constante a constante referida no LB, e seja Z = 0 k 1 k. Como Z > k, o lema diz que existem u, v, w de forma que as seguintes condições se verificam: Z = uvw; uv k; v λ e uv i w L, i 0. Nesse caso v só tem 0, pois Z = uvw = 0 k 1 k e uv < k e v possui pelo menos um 0 porque v λ. Isso implica que uv 2 w = 0 k+ v 1 k / L. Desta forma, a suposição é falsa. Portanto, L não é regular. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
22 Exercício n o 5 - Prove que os seguintes conjuntos não são linguagens regulares, usando o lema do bombeamento: b) {10 n 1 n n 1}. Suponha que L seja regular. Seja k a constante a constante referida no LB, e seja Z = 10 k 1 k. Como Z > k, o lema diz que existem u, v, w de forma que as seguintes condições se verificam: Z = uvw; uv k; v λ e uv i w L, i 0. Z = uvw = 10 k 1 k e uv < k. caso 1: v só tem 0 uv 2 w = 10 k+ v 1 k / L caso 2: v começa com 1 (u = λ) uv 2 w / L (repete o padrão de v) Logo, pelo caso 1 e 2 L não é regular. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
23 Exercício n o 6 - Prove que os seguintes conjuntos não são linguagens regulares, usando propriedades de fecho: a) X = {0 m 1 n m n}. X {0} {1} = {0 n 1 n n 0} L = {0 n 1 n n 0} não é regular 1. Pelas propriedades de fecho: se X fosse regular, X séria; sendo X regular interseção com {0} {1} é regular; L = {0 n 1 n n 0} séria regular. 1 página 105, exemplo 71 do livro texto. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
24 Exercício n o 6 - Prove que os seguintes conjuntos não são linguagens regulares, usando propriedades de fecho: b) X = {w {0, 1} o número de 0s em w é par e o de 1s é primo}. X 1 = {1 n n é primo } L = {1 n n é primo } não é regular 2. Pelas propriedades de fecho: se X fosse regular, interseção com {1} é regular; L = {1 n n é primo } séria regular. 2 Página 106, exemplo 73 do livro texto. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
25 Exercício n o 7 - Sejam as linguagens L 1 = {0, 1} {1}{0, 1} e L 2 = {w {0, 1} η(w) mod 3 = 0}, sendo η(w) o número representado por w na base dois. a) Prove que L 1 L 2 é regular usando propriedades de fecho. L 1 L 2 = L 1 L 2 L1 é regular L2 é regular Fechado sobre o complemento e interseção Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
26 Exercício n o 7 - b) Construa um autômato finito para L 1 L 2. L 1 L 2 = L 1 L 2 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
27 Exercício n o 7 - b) - Removendo não determinismo de L 1. subset 0 1 { 3} { 3} { 3,4} { 4} { 5} { 5} { 5} { } { } { 3,4} { 3,5} { 3,4,5} { 3,5} { 3} { 3,4 } { 3,4,5} { 3,5} { 3,4,5 } Faça o produto do novo L 1 (AFD) com L 2, mesmo procedimento aplicado no exercício 8 da lista 1. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
28 Exercício n o 8 - Seja L uma linguagem regular sobre um alfabeto Σ 1. Prove que o conjunto das palavras sobre Σ 2 (que pode ser igual ou não a Σ 1 ) que têm como sufixo alguma palavra de L é regular. ( 2 L) 2 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
29 Exercício n o 9 - Encontre expressões regulares para as seguintes linguagens. a) {w {a, b} w {0, 1, 3}}. λ + (a + b) + [(a + b)(a + b)(a + b)] Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
30 Exercício n o 9 - Encontre expressões regulares para as seguintes linguagens. b) {w {a, b} w contém um, dois ou três bs}. (a ba ) + (a ba ba ) + (a ba ba ba ) Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
31 Exercício n o 9 - Encontre expressões regulares para as seguintes linguagens. c){w {a, b, c} o número de as mais o de bs em w é par}. λ + c + [(c ac ac ) + (c ac bc ) + (c bc ac ) + (c bc bc )] {c + [(a + b)c (a + b)]} Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
32 Exercício n o 9 - Encontre expressões regulares para as seguintes linguagens. d){w {0, 1} w contém o símbolo N(w) mod 3 = 0}. Não pode ser ; x0 = 2n(x) 3 x1 = 2n(x) + 1 r = 2n(x)mod3 = 2r/3 r = 2n(x) + 1mod3 = (2r + 1)/3 3 pag 63 e 64 do livro texto. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
33 Exercício n o 9 - d)- Criando novo estado inicial e final. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
34 Exercício n o 9 - d)- Removendo o estado 2. P1 = 01 0 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
35 Exercício n o 9 - d)- Removendo o estado 0. P1 = (01 0) P2 = 10 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
36 Exercício n o 9 - d)- Removendo o estado 1. P1 = (01 0) P2 = 10 P3 = 0 1 ER = P3P1 P2 = 0 1[(01 0) ] 10 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
37 Exercício n o 10 - Obtenha expressões regulares que denotem as linguagens sobre {0, 1} a seguir, a partir de AFs que reconheçam as mesmas, usando o método visto em aula. Não simplifique as ERs. a) O conjunto das palavras que começam com 1, terminam com 1 e têm algum 0. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
38 Exercício n o 10 - a) O conjunto das palavras que começam com 1, terminam com 1 e têm algum 0. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
39 Exercício n o 10 - a) - Removendo o estado q0. P1 = 1 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
40 Exercício n o 10 - a) - Removendo o estado q1. P1 = 11 0 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
41 Exercício n o 10 - a) - Removendo o estado q2. P1 = P2 = P3 = 11 ER = P1P2 P3 = 1 + 0( ) 1 + Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
42 Exercício n o 10 - Obtenha expressões regulares que denotem as linguagens sobre {0, 1} a seguir, a partir de AFs que reconheçam as mesmas, usando o método visto em aula. Não simplifique as ERs. b) O conjunto das palavras que não contém a subpalavra Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
43 Exercício n o 10 - b) O conjunto das palavras que não contém a subpalavra Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
44 Exercício n o 10 - b) - Removendo o estado q3. P1 = 00 P2 = Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
45 Exercício n o 10 - b) - Removendo o estado q2. P1 = 11 P2 = P3 = λ + [1(0 + λ)] Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
46 Exercício n o 10 - b) - Removendo o estado q1. P1 = 1 + [0( )] 11 P2 = λ + [0( )] {λ + [1(0 + λ)]} ER = P1 P2 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
47 Exercício n o 11 - Mostre que os seguintes problemas são decidíveis, se G 1 e G 2 são gramáticas regulares quaisquer: a)l(g 1 ) =? Seja M um AF que aceite L(G 1 ). L(G 1 ) = {} se e somente se não existe um caminho do estado inicial de M para um estado final de M. Determinar se existe um caminho em um grafo é sabidamente decidível. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
48 Exercício n o 11 - Mostre que os seguintes problemas são decidíveis, se G 1 e G 2 são gramáticas regulares quaisquer: b)l(g 1 ) L(G 2 )? L(G 1 ) L(G 2 ) L(G 1 ) L(G 2 ) = Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
49 Obrigado pela atenção e boa prova. contato: sergiomariano@gmail.com mariano@dcc.ufmg.br Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/ / 49
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 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 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 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 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 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 maisO 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 maisLLC's: Lema do Bombeamento e Propriedades de Fechamento
Linguagens Formais e Autômatos LLC'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) Sumário
Leia maisExpressõ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 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 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 maisUniversidade 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 maisAutô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 maisCapítulo 2: Máquinas de Estados Finitos. Modelagem do problema. Quebra-cabeças. Newton José Vieira, Isabel Gomes Barbosa. 19 de agosto de 2010
Sumário Newton José Vieira Isabel Gomes Barbosa Departamento de Ciência da Computação Universidade Federal de Minas Gerais 9 de agosto de 2 Quebra-cabeças Modelagem do problema O Leão, o coelho e o repolho
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 maisFundamentos 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 maisExpressõ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 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 maisAutó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 maisLinguagens 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 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 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 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 maisSegunda 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 maisLinguagens Formais e Autômatos. Linguagens Regulares Prof. Anderson Belgamo
Linguagens Formais e Autômatos Linguagens Regulares Prof. Anderson Belgamo Linguagens Regulares Linguagens Regulares ou Tipo 3 formalismos operacionais ou reconhecedores Autômato Finito Determinístico
Leia maisINE5317 Linguagens Formais e Compiladores AULA 6: Propriedades das Linguagens Regulares
INE5317 Linguagens Formais e Compiladores AULA 6: Propriedades das Linguagens Regulares baseado em material produzido pelo prof Paulo B auth Menezes e pelo prof Olinto Jos é Varela Furtado Ricardo Azambuja
Leia maisConceitos 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 maisMá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 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 maisProf. 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 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 maisPropriedades de Linguagens Livres de Contexto. Propriedades de Linguagens Livres de Contexto. Propriedades de Linguagens Livres de Contexto
UNIVESIDADE ESTADUAL DE MAINGÁ DEPATAMENTO DE INFOMÁTICA Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa Prof. Yandre Maldonado - 2 A classe de linguagens livres de contexto é fechada
Leia maisPropriedades de AFD's
Linguagens Formais e Autômatos Propriedades de AFD's Andrei Rimsa Álvares Material extraído do livro e slides do Prof. Newton Vieira (hbp://dcc.ufmg.br/~nvieira) Propriedades de AFD's Se existe um AFD
Leia maisTeoria 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 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 maisAFNs, 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 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 maisPropriedades das Linguagens Livres do Contexto
Capítulo 7 Propriedades das Linguagens Livres do Contexto As linguagens livres do contexto ocupam uma posição central na hierarquia das linguagens formais. Por um lado, as linguagens livres do contexto
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 maisTeoria 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 maisMarcos 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 maisComo 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 maisLema do Bombeamento Operações Fechadas sobre LR s Aplicações
a n Lema do Bombeamento Operações Fechadas sobre LR s Aplicações (H&U, 969),(H&U, 979), (H;M;U, 2) e (Menezes, 22) Lema do Bombeamento para LR Como decidir que uma linguagem é ou não regular? Não bastaria
Leia maisLinguagens 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 maisSCC Capítulo 3 Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente
SCC-505 - Capítulo 3 Linguagens Sensíveis ao Contexto e 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 http://www.icmc.usp.br/~joaoluis
Leia maisAula 8: Gramáticas Livres de Contexto
Teoria da Computação Primeiro Semestre, 2015 Aula 8: Gramáticas Livres de Contexto DAINF-UTFPR Prof. Ricardo Dutra da Silva Veremos agora maneira de gerar as strings de um tipo específico de linguagem,
Leia maisCurso 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 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 maisINCLUSÃO DO ALGORITMO DE TRANSFORMAÇÃO DE UM AUTÔMATO FINITO EM EXPRESSÃO REGULAR NO AMBIENTE EDITOR DE AUTÔMATOS FINITOS
INCLUSÃO DO ALGORITMO DE TRANSFORMAÇÃO DE UM AUTÔMATO FINITO EM EXPRESSÃO REGULAR NO AMBIENTE EDITOR DE AUTÔMATOS FINITOS Acadêmico: Fernando Rafael Piccini Orientador: José Roque Voltolini da Silva Roteiro
Leia maisLFA 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 maisExpressões regulares
Expressões regulares 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 / 38 Frase do dia A vida é uma luta inteira
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 02 Introdução à Teoria da Computação Prof.ª Danielle Casillo Linguagem: é uma forma precisa de expressar
Leia maisLinguagens 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 maisLinguagens 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 maisUniversidade 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 maisACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO
ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO 1. Linguagens Regulares Referência: SIPSER, M. Introdução à Teoria da Computação. 2ª edição, Ed. Thomson Prof. Marcelo S. Lauretto marcelolauretto@usp.br www.each.usp.br/lauretto
Leia maisUniversidade Federal de Alfenas
Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 10 Autômatos Finitos Não Determinísticos (AFN) humberto@bcc.unifal-mg.edu.br Determinismo... Quando uma máquina está em um estado e lê
Leia maisAutômatos finitos não-determinísticos
Autômatos finitos não-determinísticos 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 / 30 Frase do dia The
Leia maisLFA 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 maisBCC242. 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 maisDecidibilidade. Mário S. Alvim Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02)
Decidibilidade Mário S Alvim (msalvim@dccufmgbr) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S Alvim (msalvim@dccufmgbr) Decidibilidade DCC-UFMG (2018/02) 1 / 45 Decidibilidade:
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 maisIntrodução Definição Conceitos Básicos de Linguagem
Introdução Definição Conceitos Básicos de Linguagem Introdução Desenvolvida originalmente em 1950 Objetivo: Desenvolver teorias relacionadas com a Linguagem natural Logo verificou-se a importância para
Leia maisUniversidade 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 maisAutô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 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 maisLinguagens 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 maisTerceira 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 Terceira Lista de Exercícios 2004/2
Leia maisa * Lema do Bombeamento Linguagens regulares e não-regulares
a * Lema do Bombeamento Linguagens regulares e não-regulares 1 Lema do Bombeamento para LR Como decidir que uma linguagem não é regular? Toda linguagem regular satisfaz o Lema do bombeamento (LB). Lemas
Leia maisRevisõ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 maisInstituto 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 maisResponda às questões abaixo: 1 a Questão: Indique todos casos de não determinismo do AFN acima
Exercícios 04 CENTRO UNIVERSITÁRIO DE BRASÍLIA - UniCEUB O Autômato Finito Não Determinístico (AFN) abaixo reconhece sentenças da linguagem L, definida sobre o alfabeto Σ = {0, 1, onde as sentenças: possuem
Leia maisPropriedades 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 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 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 maisSCC Capítulo 2 Linguagens Livres de Contexto e Autômatos de Pilha (versão 2)
SCC-505 - Capítulo 2 e (versão 2) 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 http://www.icmc.usp.br/~joaoluis
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 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 maisAutômatos Finitos e Não-determinismo
Autômatos Finitos e Não-determinismo 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) Autômatos Finitos e Não-determinismo
Leia maisMAT2457 ÁLGEBRA LINEAR PARA ENGENHARIA I Gabarito da 2 a Prova - 1 o semestre de 2015
MAT27 ÁLGEBRA LINEAR PARA ENGENHARIA I Gabarito da 2 a Prova - 1 o semestre de 201 Nesta prova considera-se fixada uma orientação do espaço e um sistema de coordenadas Σ (O, E) em E 3, em que E é uma base
Leia maisGramá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 maisUNIVERSIDADE 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 maisExercicios. 7.2 Quais das seguintes afirmações são verdadeiras? Justifica. (d) abcd L((a(cd) b) )
Exercicios 7.1 Escreve expressões regulares para cada uma das seguintes linguagens de Σ = {a, b}: (a) palavras com não mais do que três as (b) palavras com um número de as divisível por três (c) palavras
Leia maisAF 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 maisLinguagens Formais e Autômatos Decidibilidade
Linguagens Formais e Autômatos Decidibilidade Andrei Rimsa Álvares Sumário Introdução A tese de Church-Turing Máquinas de Turing e problemas de decisão Máquina de Turing Universal O problema da parada
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 maisMAC-4722 Linguagens, Autômatos e Computabilidade Lista L3
MAC-4722 Linguagens, Autômatos e Computabilidade Lista L3 Athos Coimbra Ribeiro NUSP: ****** 3 de Abril de 26 Problema.46 (itens a,c, e d) Solução a) L = { n m n m, n } Usamos o lema do bombeamento para
Leia maisLema do Bombeamento Operações Fechadas sobre LR s Aplicações
a n Lema do Bombeamento Operações Fechadas sobre LR s Aplicações (H&U, 969),(H&U, 979), (H;M;U, 2) e (Menezes, 22) Lema do Bombeamento para LR Como decidir que uma linguagem é ou não regular? Não bastaria
Leia maisAF 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 maisa * Minimização de AFD AFD equivalente, com o menor número de estados possível
a * Minimização de AFD AFD equivalente, com o menor número de estados possível 1 Minimização de um AF (Menezes, 2002) Def: Um autômato mínimo de uma LR é um AFD com um número de estados tal que qualquer
Leia maisLinguagens 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 maisUniversidade Federal de Uberlândia Mestrado em Ciência da Computação
Universidade Federal de Uberlândia Mestrado em Ciência da Computação Solução da 1 a Prova de Teoria da Computação - 05/05/2010 Questão 1 (Valor = 7 pontos) Um número real é dito algébrico se é raiz de
Leia maisTransformação de AP para GLC
UNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA Transformação de AP para GLC Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa Prof. Yandre Maldonado - 2 A técnica que será
Leia maisAutô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 maisModelos 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 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 maisEditor de Autômatos Finitos. Acadêmica: Josiane Patrícia Morastoni Orientadora: Joyce Martins
Editor de Autômatos Finitos Acadêmica: Josiane Patrícia Morastoni Orientadora: Joyce Martins 0 1 0 0 Roteiro da Apresentação Introdução Autômatos Finitos Desenvolvimento trabalho Considerações finais 2/31
Leia maisCurso: 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 maisCompiladores. Prof. Bruno Moreno Aula 8 02/05/2011
Compiladores Prof. Bruno Moreno Aula 8 02/05/2011 RECONHECIMENTO DE TOKENS Reconhecimento de Tokens Até aqui aprendemos a identificar tokens Para reconhecimento, a única abordagem utilizada foi árvores
Leia maisAlfabeto, 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 maisPontifícia Universidade Católica de Campinas Centro de Ciências Exatas, Ambientais e de Tecnologias Faculdade de Engenharia de Computação
Pontifíci Universidde Ctólic de Cmpins Centro de Ciêncis Exts, Ambientis e de Tecnologis Fculdde de Engenhri de Computção LINGUAGENS FORMAIS E AUTÔMATOS List de Exercícios 1 1. Que lingugem grmátic ger?
Leia mais