SlideShare uma empresa Scribd logo
Fundamentos da Teoria da Computação
Segunda Lista de Exercícios - Aula sobre dúvidas
Sérgio Mariano Dias1
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/2009 1 / 49
Exercício no
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/2009 2 / 49
Exercício no
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/2009 3 / 49
Exercício no
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/2009 4 / 49
Exercício no
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/2009 5 / 49
Exercício no
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/2009 6 / 49
Exercício no
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/2009 7 / 49
Exercício no
2
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 8 / 49
Exercício no
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/2009 9 / 49
Exercício no
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/2009 10 / 49
Exercício no
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/2009 11 / 49
Exercício no
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/2009 12 / 49
Exercício no
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/2009 13 / 49
Exercício no
4 - b) - Criando novo estado inicial e final.
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 14 / 49
Exercício no
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/2009 15 / 49
Exercício no
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/2009 16 / 49
Exercício no
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/2009 17 / 49
Exercício no
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/2009 18 / 49
Exercício no
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/2009 19 / 49
Exercício no
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
uvi
w ∈ L, ∀i ≥ 0
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 20 / 49
Exercício no
5 - Prove que os seguintes conjuntos não são
linguagens regulares, usando o lema do bombeamento:
a) L = {x1n
| 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 = 0k
1k
. 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 uvi
w ∈ L, ∀i ≥ 0.
Nesse caso v só tem 0, pois Z = uvw = 0k
1k
e |uv| < k e v possui pelo
menos um 0 porque v = λ.
Isso implica que uv2
w = 0k+|v|
1k
/∈ 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/2009 21 / 49
Exercício no
5 - Prove que os seguintes conjuntos não são
linguagens regulares, usando o lema do bombeamento:
b) {10n
1n
| n ≥ 1}.
Suponha que L seja regular. Seja k a constante a constante referida no
LB, e seja Z = 10k
1k
. 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 uvi
w ∈ L, ∀i ≥ 0.
Z = uvw = 10k
1k
e |uv| < k.
caso 1: v só tem 0
uv2
w = 10k+|v|
1k
/∈ L
caso 2: v começa com 1 (u = λ)
uv2
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/2009 22 / 49
Exercício no
6 - Prove que os seguintes conjuntos não são
linguagens regulares, usando propriedades de fecho:
a) X = {0m
1n
| m = n}.
¬X ∩ {0}∗
{1}∗
= {0n
1n
|n ≥ 0}
L = {0n
1n
|n ≥ 0} não é regular1
.
Pelas propriedades de fecho:
se X fosse regular, ¬X séria;
sendo ¬X regular interseção com {0}∗
{1}∗
é regular;
L = {0n
1n
|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/2009 23 / 49
Exercício no
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∗
= {1n
|n é primo }
L = {1n
|n é primo } não é regular2
.
Pelas propriedades de fecho:
se X fosse regular, interseção com {1}∗
é regular;
L = {1n
|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/2009 24 / 49
Exercício no
7 - Sejam as linguagens
L1 = {0, 1}∗
{1}{0, 1} e
L2 = {w ∈ {0, 1}∗
| η(w) mod 3 = 0}, sendo η(w) o
número representado por w na base dois.
a) Prove que L1 − L2 é regular usando propriedades de fecho.
L1 − L2 = L1 ∩ ¬L2
L1 é regular
L2 é regular
Fechado sobre o complemento e interseção
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 25 / 49
Exercício no
7 - b) Construa um autômato finito para L1 − L2.
L1 − L2 = L1 ∩ ¬L2
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 26 / 49
Exercício no
7 - b) - Removendo não determinismo de L1.
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 L1 (AFD) com ¬L2, mesmo procedimento
aplicado no exercício 8 da lista 1.
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 27 / 49
Exercício no
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/2009 28 / 49
Exercício no
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/2009 29 / 49
Exercício no
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/2009 30 / 49
Exercício no
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/2009 31 / 49
Exercício no
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 000. . . ;
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/2009 32 / 49
Exercício no
9 - d)- Criando novo estado inicial e final.
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 33 / 49
Exercício no
9 - d)- Removendo o estado 2.
P1 = 01∗0
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 34 / 49
Exercício no
9 - d)- Removendo o estado 0.
P1 = (01∗0) + 10∗1
P2 = 10∗
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 35 / 49
Exercício no
9 - d)- Removendo o estado −1.
P1 = (01∗0) + 10∗1
P2 = 10∗
P3 = 0∗1
ER = P3P1∗P2 = 0∗1[(01∗0) + 10∗1]∗10∗
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 36 / 49
Exercício no
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/2009 37 / 49
Exercício no
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/2009 38 / 49
Exercício no
10 - a) - Removendo o estado q0.
P1 = 1
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 39 / 49
Exercício no
10 - a) - Removendo o estado q1.
P1 = 11∗0
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 40 / 49
Exercício no
10 - a) - Removendo o estado q2.
P1 = 1+0
P2 = 0 + 11∗0
P3 = 11∗
ER = P1P2∗P3 = 1+0(0 + 1+0)∗1+
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 41 / 49
Exercício no
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 0101.
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 42 / 49
Exercício no
10 - b) O conjunto das palavras que não
contém a subpalavra 0101.
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 43 / 49
Exercício no
10 - b) - Removendo o estado q3.
P1 = 00
P2 = 0 + 1
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 44 / 49
Exercício no
10 - b) - Removendo o estado q2.
P1 = 11
P2 = 0 + 100
P3 = λ + [1(0 + λ)]
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 45 / 49
Exercício no
10 - b) - Removendo o estado q1.
P1 = 1 + [0(0 + 100)]∗11
P2 = λ + [0(0 + 100)]∗{λ + [1(0 + λ)]}
ER = P1∗P2
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 46 / 49
Exercício no
11 - Mostre que os seguintes problemas são
decidíveis, se G1 e G2 são gramáticas regulares quaisquer:
a)L(G1) = ∅?
Seja M um AF que aceite L(G1).
L(G1) = {} 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/2009 47 / 49
Exercício no
11 - Mostre que os seguintes problemas são
decidíveis, se G1 e G2 são gramáticas regulares quaisquer:
b)L(G1) ⊆ L(G2)?
L(G1) ⊆ L(G2) ↔ L(G1) ∩ ¬L(G2) =
Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 48 / 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/2009 49 / 49

Mais conteúdo relacionado

Mais procurados

1Aula 4 - Consumo de agua.pdf
1Aula 4 - Consumo de agua.pdf1Aula 4 - Consumo de agua.pdf
1Aula 4 - Consumo de agua.pdf
Tanndara1
 
Variáveis - Linguagem C
Variáveis - Linguagem CVariáveis - Linguagem C
Variáveis - Linguagem C
profjr
 
Turing machine implementation
Turing machine implementationTuring machine implementation
Turing machine implementation
SinaRostami7
 
Manual básico de conversão de pseudocódigo para C#
Manual básico de conversão de pseudocódigo para C#Manual básico de conversão de pseudocódigo para C#
Manual básico de conversão de pseudocódigo para C#
Gabriel Vinicios Silva Maganha
 
Python - Introdução Básica
Python - Introdução BásicaPython - Introdução Básica
Python - Introdução Básica
Christian Perone
 
Introdução à Programação
Introdução à ProgramaçãoIntrodução à Programação
Introdução à Programação
Mario Sergio
 
Lista de Exercícios - Linguagem Formais e Autômatos
Lista de Exercícios - Linguagem Formais e AutômatosLista de Exercícios - Linguagem Formais e Autômatos
Lista de Exercícios - Linguagem Formais e Autômatos
Tárcio Sales
 
Algoritmos e lp parte3-pseudocódigo
Algoritmos e lp parte3-pseudocódigoAlgoritmos e lp parte3-pseudocódigo
Algoritmos e lp parte3-pseudocódigo
Mauro Pereira
 
AUTOMATED TESTING USING PYTHON (ATE)
AUTOMATED TESTING USING PYTHON (ATE)AUTOMATED TESTING USING PYTHON (ATE)
AUTOMATED TESTING USING PYTHON (ATE)
Yuvaraja Ravi
 
DOMinando JavaScript
DOMinando JavaScriptDOMinando JavaScript
DOMinando JavaScript
Thiago Poiani
 
Introduction à Python - Achraf Kacimi El Hassani
Introduction à Python - Achraf Kacimi El HassaniIntroduction à Python - Achraf Kacimi El Hassani
Introduction à Python - Achraf Kacimi El Hassani
Shellmates
 
Algoritmo - tipos de dados
Algoritmo - tipos de dadosAlgoritmo - tipos de dados
Algoritmo - tipos de dados
Professor Samuel Ribeiro
 
Python
PythonPython
Python
SHIVAM VERMA
 
Turing machine seminar report
Turing machine seminar reportTuring machine seminar report
Turing machine seminar report
Yashwant Dagar
 
1 R Tutorial Introduction
1 R Tutorial Introduction1 R Tutorial Introduction
1 R Tutorial Introduction
Sakthi Dasans
 
Estrutura de Dados em Java (Funções e Procedimentos)
Estrutura de Dados em Java (Funções e Procedimentos)Estrutura de Dados em Java (Funções e Procedimentos)
Estrutura de Dados em Java (Funções e Procedimentos)
Adriano Teixeira de Souza
 
Chapitre1: Langage Python
Chapitre1: Langage PythonChapitre1: Langage Python
Chapitre1: Langage Python
Aziz Darouichi
 
Introdução ao Latex
Introdução ao LatexIntrodução ao Latex
Introdução ao Latex
Mariana M. Odashima
 
Strings e manipulação de variáveis
Strings e manipulação de variáveisStrings e manipulação de variáveis
Strings e manipulação de variáveis
111111119
 
Comparação Sintaxe Portugol vs Java
Comparação Sintaxe Portugol vs JavaComparação Sintaxe Portugol vs Java
Comparação Sintaxe Portugol vs Java
Mario Sergio
 

Mais procurados (20)

1Aula 4 - Consumo de agua.pdf
1Aula 4 - Consumo de agua.pdf1Aula 4 - Consumo de agua.pdf
1Aula 4 - Consumo de agua.pdf
 
Variáveis - Linguagem C
Variáveis - Linguagem CVariáveis - Linguagem C
Variáveis - Linguagem C
 
Turing machine implementation
Turing machine implementationTuring machine implementation
Turing machine implementation
 
Manual básico de conversão de pseudocódigo para C#
Manual básico de conversão de pseudocódigo para C#Manual básico de conversão de pseudocódigo para C#
Manual básico de conversão de pseudocódigo para C#
 
Python - Introdução Básica
Python - Introdução BásicaPython - Introdução Básica
Python - Introdução Básica
 
Introdução à Programação
Introdução à ProgramaçãoIntrodução à Programação
Introdução à Programação
 
Lista de Exercícios - Linguagem Formais e Autômatos
Lista de Exercícios - Linguagem Formais e AutômatosLista de Exercícios - Linguagem Formais e Autômatos
Lista de Exercícios - Linguagem Formais e Autômatos
 
Algoritmos e lp parte3-pseudocódigo
Algoritmos e lp parte3-pseudocódigoAlgoritmos e lp parte3-pseudocódigo
Algoritmos e lp parte3-pseudocódigo
 
AUTOMATED TESTING USING PYTHON (ATE)
AUTOMATED TESTING USING PYTHON (ATE)AUTOMATED TESTING USING PYTHON (ATE)
AUTOMATED TESTING USING PYTHON (ATE)
 
DOMinando JavaScript
DOMinando JavaScriptDOMinando JavaScript
DOMinando JavaScript
 
Introduction à Python - Achraf Kacimi El Hassani
Introduction à Python - Achraf Kacimi El HassaniIntroduction à Python - Achraf Kacimi El Hassani
Introduction à Python - Achraf Kacimi El Hassani
 
Algoritmo - tipos de dados
Algoritmo - tipos de dadosAlgoritmo - tipos de dados
Algoritmo - tipos de dados
 
Python
PythonPython
Python
 
Turing machine seminar report
Turing machine seminar reportTuring machine seminar report
Turing machine seminar report
 
1 R Tutorial Introduction
1 R Tutorial Introduction1 R Tutorial Introduction
1 R Tutorial Introduction
 
Estrutura de Dados em Java (Funções e Procedimentos)
Estrutura de Dados em Java (Funções e Procedimentos)Estrutura de Dados em Java (Funções e Procedimentos)
Estrutura de Dados em Java (Funções e Procedimentos)
 
Chapitre1: Langage Python
Chapitre1: Langage PythonChapitre1: Langage Python
Chapitre1: Langage Python
 
Introdução ao Latex
Introdução ao LatexIntrodução ao Latex
Introdução ao Latex
 
Strings e manipulação de variáveis
Strings e manipulação de variáveisStrings e manipulação de variáveis
Strings e manipulação de variáveis
 
Comparação Sintaxe Portugol vs Java
Comparação Sintaxe Portugol vs JavaComparação Sintaxe Portugol vs Java
Comparação Sintaxe Portugol vs Java
 

Semelhante a Fundamentos da Teoria da Computação Segunda Lista de Exercícios - Aula sobre dúvidas

Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre...
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre...Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre...
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre...
Sérgio Dias
 
Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre...
Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre...Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre...
Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre...
Sérgio Dias
 
Calculo numerico capitulo 2
Calculo numerico capitulo 2Calculo numerico capitulo 2
Calculo numerico capitulo 2
Bruno Mulina
 
Funções - Função do 1º grau
Funções - Função do 1º grauFunções - Função do 1º grau
Funções - Função do 1º grau
Adriano Capilupe
 
Projeto_Execução_Leandro_Casemiro
Projeto_Execução_Leandro_CasemiroProjeto_Execução_Leandro_Casemiro
Projeto_Execução_Leandro_Casemiro
l_dapaz
 
Cefet mg-2011-1-prova-completa-c-gabarito (1)
Cefet mg-2011-1-prova-completa-c-gabarito (1)Cefet mg-2011-1-prova-completa-c-gabarito (1)
Cefet mg-2011-1-prova-completa-c-gabarito (1)
LAURA BARROS
 
Derivação com logaritmo
Derivação com logaritmoDerivação com logaritmo
Derivação com logaritmo
Diego Oliveira
 
2013 lpp-aulas praticas
2013 lpp-aulas praticas2013 lpp-aulas praticas
2013 lpp-aulas praticas
Jota Thin
 
Binomio de newton
Binomio de newtonBinomio de newton
Binomio de newton
Gislene Estagiária gomes
 
2ª frequencia am2 2012/2013
2ª frequencia am2 2012/20132ª frequencia am2 2012/2013
2ª frequencia am2 2012/2013
Ricardo Mendes
 
Apostila logaritmos
Apostila logaritmosApostila logaritmos
Apostila logaritmos
Eduardo Sacomano
 
03 raizes
03 raizes03 raizes
03 raizes
Loraydan Soares
 
ÁLGEBRA: polinómios e sistemas de equações até três incógnitas
ÁLGEBRA: polinómios e sistemas de equações até três incógnitasÁLGEBRA: polinómios e sistemas de equações até três incógnitas
ÁLGEBRA: polinómios e sistemas de equações até três incógnitas
wilkerfilipel
 
Potencia.pdf
Potencia.pdfPotencia.pdf
Potencia.pdf
Klaudio Manoel
 
Gabarito av2 ma14_2016
Gabarito av2 ma14_2016Gabarito av2 ma14_2016
Gabarito av2 ma14_2016
Luciana Martino
 
Equações e enequações modulares.
Equações e  enequações modulares.Equações e  enequações modulares.
Equações e enequações modulares.
Noely Menezes
 
Essa matematica -principal1 (1)
Essa matematica -principal1 (1)Essa matematica -principal1 (1)
Essa matematica -principal1 (1)
Felipe Alves
 
Função do 2º grau em execução
Função do 2º grau em execuçãoFunção do 2º grau em execução
Função do 2º grau em execução
monica_cassia
 
Conjunto3
Conjunto3Conjunto3
Conjunto3
Carlos Almeida
 
Apostila mat-est-2010.2
Apostila mat-est-2010.2Apostila mat-est-2010.2
Apostila mat-est-2010.2
Felipe Corrêa
 

Semelhante a Fundamentos da Teoria da Computação Segunda Lista de Exercícios - Aula sobre dúvidas (20)

Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre...
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre...Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre...
Fundamentos da Teoria da Computação Primeira Lista de Exercícios - Aula sobre...
 
Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre...
Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre...Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre...
Fundamentos da Teoria da Computação Terceira Lista de Exercícios - Aula sobre...
 
Calculo numerico capitulo 2
Calculo numerico capitulo 2Calculo numerico capitulo 2
Calculo numerico capitulo 2
 
Funções - Função do 1º grau
Funções - Função do 1º grauFunções - Função do 1º grau
Funções - Função do 1º grau
 
Projeto_Execução_Leandro_Casemiro
Projeto_Execução_Leandro_CasemiroProjeto_Execução_Leandro_Casemiro
Projeto_Execução_Leandro_Casemiro
 
Cefet mg-2011-1-prova-completa-c-gabarito (1)
Cefet mg-2011-1-prova-completa-c-gabarito (1)Cefet mg-2011-1-prova-completa-c-gabarito (1)
Cefet mg-2011-1-prova-completa-c-gabarito (1)
 
Derivação com logaritmo
Derivação com logaritmoDerivação com logaritmo
Derivação com logaritmo
 
2013 lpp-aulas praticas
2013 lpp-aulas praticas2013 lpp-aulas praticas
2013 lpp-aulas praticas
 
Binomio de newton
Binomio de newtonBinomio de newton
Binomio de newton
 
2ª frequencia am2 2012/2013
2ª frequencia am2 2012/20132ª frequencia am2 2012/2013
2ª frequencia am2 2012/2013
 
Apostila logaritmos
Apostila logaritmosApostila logaritmos
Apostila logaritmos
 
03 raizes
03 raizes03 raizes
03 raizes
 
ÁLGEBRA: polinómios e sistemas de equações até três incógnitas
ÁLGEBRA: polinómios e sistemas de equações até três incógnitasÁLGEBRA: polinómios e sistemas de equações até três incógnitas
ÁLGEBRA: polinómios e sistemas de equações até três incógnitas
 
Potencia.pdf
Potencia.pdfPotencia.pdf
Potencia.pdf
 
Gabarito av2 ma14_2016
Gabarito av2 ma14_2016Gabarito av2 ma14_2016
Gabarito av2 ma14_2016
 
Equações e enequações modulares.
Equações e  enequações modulares.Equações e  enequações modulares.
Equações e enequações modulares.
 
Essa matematica -principal1 (1)
Essa matematica -principal1 (1)Essa matematica -principal1 (1)
Essa matematica -principal1 (1)
 
Função do 2º grau em execução
Função do 2º grau em execuçãoFunção do 2º grau em execução
Função do 2º grau em execução
 
Conjunto3
Conjunto3Conjunto3
Conjunto3
 
Apostila mat-est-2010.2
Apostila mat-est-2010.2Apostila mat-est-2010.2
Apostila mat-est-2010.2
 

Mais de Sérgio Dias

Introdução a ciência de dados com aplicações em dados educacionais
Introdução a ciência de dados com aplicações em dados educacionaisIntrodução a ciência de dados com aplicações em dados educacionais
Introdução a ciência de dados com aplicações em dados educacionais
Sérgio Dias
 
Big Data Analytics em Governo
Big Data Analytics em GovernoBig Data Analytics em Governo
Big Data Analytics em Governo
Sérgio Dias
 
Proposta de Tese: Redução de Reticulados Conceituais
Proposta de Tese: Redução de Reticulados ConceituaisProposta de Tese: Redução de Reticulados Conceituais
Proposta de Tese: Redução de Reticulados Conceituais
Sérgio Dias
 
Edital SERPRO/UFMG 01/2013 - “Práticas de Mineração de Dados Escalável para S...
Edital SERPRO/UFMG 01/2013 - “Práticas de Mineração de Dados Escalável para S...Edital SERPRO/UFMG 01/2013 - “Práticas de Mineração de Dados Escalável para S...
Edital SERPRO/UFMG 01/2013 - “Práticas de Mineração de Dados Escalável para S...
Sérgio Dias
 
Formal Concept Analysis applied to Professional Social Networks
Formal Concept Analysis applied to Professional Social NetworksFormal Concept Analysis applied to Professional Social Networks
Formal Concept Analysis applied to Professional Social Networks
Sérgio Dias
 
Redução de Reticulados Conceituais
Redução de Reticulados ConceituaisRedução de Reticulados Conceituais
Redução de Reticulados Conceituais
Sérgio Dias
 
Ciência de Dados em Governo
Ciência de Dados em GovernoCiência de Dados em Governo
Ciência de Dados em Governo
Sérgio Dias
 
Algoritmos para Geração de Reticulados Conceituais
Algoritmos para Geração de Reticulados ConceituaisAlgoritmos para Geração de Reticulados Conceituais
Algoritmos para Geração de Reticulados Conceituais
Sérgio Dias
 
Extração e Representação de Conhecimento de Redes Neurais Artificiais Utiliza...
Extração e Representação de Conhecimento de Redes Neurais Artificiais Utiliza...Extração e Representação de Conhecimento de Redes Neurais Artificiais Utiliza...
Extração e Representação de Conhecimento de Redes Neurais Artificiais Utiliza...
Sérgio Dias
 

Mais de Sérgio Dias (9)

Introdução a ciência de dados com aplicações em dados educacionais
Introdução a ciência de dados com aplicações em dados educacionaisIntrodução a ciência de dados com aplicações em dados educacionais
Introdução a ciência de dados com aplicações em dados educacionais
 
Big Data Analytics em Governo
Big Data Analytics em GovernoBig Data Analytics em Governo
Big Data Analytics em Governo
 
Proposta de Tese: Redução de Reticulados Conceituais
Proposta de Tese: Redução de Reticulados ConceituaisProposta de Tese: Redução de Reticulados Conceituais
Proposta de Tese: Redução de Reticulados Conceituais
 
Edital SERPRO/UFMG 01/2013 - “Práticas de Mineração de Dados Escalável para S...
Edital SERPRO/UFMG 01/2013 - “Práticas de Mineração de Dados Escalável para S...Edital SERPRO/UFMG 01/2013 - “Práticas de Mineração de Dados Escalável para S...
Edital SERPRO/UFMG 01/2013 - “Práticas de Mineração de Dados Escalável para S...
 
Formal Concept Analysis applied to Professional Social Networks
Formal Concept Analysis applied to Professional Social NetworksFormal Concept Analysis applied to Professional Social Networks
Formal Concept Analysis applied to Professional Social Networks
 
Redução de Reticulados Conceituais
Redução de Reticulados ConceituaisRedução de Reticulados Conceituais
Redução de Reticulados Conceituais
 
Ciência de Dados em Governo
Ciência de Dados em GovernoCiência de Dados em Governo
Ciência de Dados em Governo
 
Algoritmos para Geração de Reticulados Conceituais
Algoritmos para Geração de Reticulados ConceituaisAlgoritmos para Geração de Reticulados Conceituais
Algoritmos para Geração de Reticulados Conceituais
 
Extração e Representação de Conhecimento de Redes Neurais Artificiais Utiliza...
Extração e Representação de Conhecimento de Redes Neurais Artificiais Utiliza...Extração e Representação de Conhecimento de Redes Neurais Artificiais Utiliza...
Extração e Representação de Conhecimento de Redes Neurais Artificiais Utiliza...
 

Último

atividade 8º ano entrevista - com tirinha
atividade 8º ano entrevista - com tirinhaatividade 8º ano entrevista - com tirinha
atividade 8º ano entrevista - com tirinha
Suzy De Abreu Santana
 
Leonardo da Vinci .pptx
Leonardo da Vinci                  .pptxLeonardo da Vinci                  .pptx
Leonardo da Vinci .pptx
TomasSousa7
 
PowerPoint Newton gostava de Ler - Saber em Gel.pdf
PowerPoint Newton gostava de Ler - Saber em Gel.pdfPowerPoint Newton gostava de Ler - Saber em Gel.pdf
PowerPoint Newton gostava de Ler - Saber em Gel.pdf
1000a
 
Redação e Leitura_7º ano_58_Produção de cordel .pptx
Redação e Leitura_7º ano_58_Produção de cordel .pptxRedação e Leitura_7º ano_58_Produção de cordel .pptx
Redação e Leitura_7º ano_58_Produção de cordel .pptx
DECIOMAURINARAMOS
 
Aula 1 do livro de Ciências do aluno - sons
Aula 1 do livro de Ciências do aluno - sonsAula 1 do livro de Ciências do aluno - sons
Aula 1 do livro de Ciências do aluno - sons
Érika Rufo
 
347018542-PAULINA-CHIZIANE-Balada-de-Amor-ao-Vento-pdf.pdf
347018542-PAULINA-CHIZIANE-Balada-de-Amor-ao-Vento-pdf.pdf347018542-PAULINA-CHIZIANE-Balada-de-Amor-ao-Vento-pdf.pdf
347018542-PAULINA-CHIZIANE-Balada-de-Amor-ao-Vento-pdf.pdf
AntnioManuelAgdoma
 
Estrutura Pedagógica - Laboratório de Educação a Distância.ppt
Estrutura Pedagógica - Laboratório de Educação a Distância.pptEstrutura Pedagógica - Laboratório de Educação a Distância.ppt
Estrutura Pedagógica - Laboratório de Educação a Distância.ppt
livrosjovert
 
Introdução à Sociologia: caça-palavras na escola
Introdução à Sociologia: caça-palavras na escolaIntrodução à Sociologia: caça-palavras na escola
Introdução à Sociologia: caça-palavras na escola
Professor Belinaso
 
A dinâmica da população mundial de acordo com as teorias populacionais.pptx
A dinâmica da população mundial de acordo com as teorias populacionais.pptxA dinâmica da população mundial de acordo com as teorias populacionais.pptx
A dinâmica da população mundial de acordo com as teorias populacionais.pptx
ReinaldoSouza57
 
CADERNO DE CONCEITOS E ORIENTAÇÕES DO CENSO ESCOLAR 2024.pdf
CADERNO DE CONCEITOS E ORIENTAÇÕES DO CENSO ESCOLAR 2024.pdfCADERNO DE CONCEITOS E ORIENTAÇÕES DO CENSO ESCOLAR 2024.pdf
CADERNO DE CONCEITOS E ORIENTAÇÕES DO CENSO ESCOLAR 2024.pdf
NatySousa3
 
OS elementos de uma boa Redação para o ENEM.pdf
OS elementos de uma boa Redação para o ENEM.pdfOS elementos de uma boa Redação para o ENEM.pdf
OS elementos de uma boa Redação para o ENEM.pdf
AmiltonAparecido1
 
1_10_06_2024_Criança e Cultura Escrita, Ana Maria de Oliveira Galvão.pdf
1_10_06_2024_Criança e Cultura Escrita, Ana Maria de Oliveira Galvão.pdf1_10_06_2024_Criança e Cultura Escrita, Ana Maria de Oliveira Galvão.pdf
1_10_06_2024_Criança e Cultura Escrita, Ana Maria de Oliveira Galvão.pdf
SILVIAREGINANAZARECA
 
livro ciclo da agua educação infantil.pdf
livro ciclo da agua educação infantil.pdflivro ciclo da agua educação infantil.pdf
livro ciclo da agua educação infantil.pdf
cmeioctaciliabetesch
 
“A classe operária vai ao paraíso os modos de produzir e trabalhar ao longo ...
“A classe operária vai ao paraíso  os modos de produzir e trabalhar ao longo ...“A classe operária vai ao paraíso  os modos de produzir e trabalhar ao longo ...
“A classe operária vai ao paraíso os modos de produzir e trabalhar ao longo ...
AdrianoMontagna1
 
Slides Lição 11, Central Gospel, Os Mortos Em CRISTO, 2Tr24.pptx
Slides Lição 11, Central Gospel, Os Mortos Em CRISTO, 2Tr24.pptxSlides Lição 11, Central Gospel, Os Mortos Em CRISTO, 2Tr24.pptx
Slides Lição 11, Central Gospel, Os Mortos Em CRISTO, 2Tr24.pptx
LuizHenriquedeAlmeid6
 
QUIZ - HISTÓRIA 9º ANO - PRIMEIRA REPÚBLICA_ERA VARGAS.pptx
QUIZ - HISTÓRIA  9º ANO - PRIMEIRA REPÚBLICA_ERA VARGAS.pptxQUIZ - HISTÓRIA  9º ANO - PRIMEIRA REPÚBLICA_ERA VARGAS.pptx
QUIZ - HISTÓRIA 9º ANO - PRIMEIRA REPÚBLICA_ERA VARGAS.pptx
AntonioVieira539017
 
Atividade de reforço de matemática 2º ano
Atividade de reforço de matemática 2º anoAtividade de reforço de matemática 2º ano
Atividade de reforço de matemática 2º ano
fernandacosta37763
 
Slides Lição 11, CPAD, A Realidade Bíblica do Inferno, 2Tr24.pptx
Slides Lição 11, CPAD, A Realidade Bíblica do Inferno, 2Tr24.pptxSlides Lição 11, CPAD, A Realidade Bíblica do Inferno, 2Tr24.pptx
Slides Lição 11, CPAD, A Realidade Bíblica do Inferno, 2Tr24.pptx
LuizHenriquedeAlmeid6
 
O que é um Ménage a Trois Contemporâneo .pdf
O que é um Ménage a Trois Contemporâneo .pdfO que é um Ménage a Trois Contemporâneo .pdf
O que é um Ménage a Trois Contemporâneo .pdf
Pastor Robson Colaço
 
Folheto | Centro de Informação Europeia Jacques Delors (junho/2024)
Folheto | Centro de Informação Europeia Jacques Delors (junho/2024)Folheto | Centro de Informação Europeia Jacques Delors (junho/2024)
Folheto | Centro de Informação Europeia Jacques Delors (junho/2024)
Centro Jacques Delors
 

Último (20)

atividade 8º ano entrevista - com tirinha
atividade 8º ano entrevista - com tirinhaatividade 8º ano entrevista - com tirinha
atividade 8º ano entrevista - com tirinha
 
Leonardo da Vinci .pptx
Leonardo da Vinci                  .pptxLeonardo da Vinci                  .pptx
Leonardo da Vinci .pptx
 
PowerPoint Newton gostava de Ler - Saber em Gel.pdf
PowerPoint Newton gostava de Ler - Saber em Gel.pdfPowerPoint Newton gostava de Ler - Saber em Gel.pdf
PowerPoint Newton gostava de Ler - Saber em Gel.pdf
 
Redação e Leitura_7º ano_58_Produção de cordel .pptx
Redação e Leitura_7º ano_58_Produção de cordel .pptxRedação e Leitura_7º ano_58_Produção de cordel .pptx
Redação e Leitura_7º ano_58_Produção de cordel .pptx
 
Aula 1 do livro de Ciências do aluno - sons
Aula 1 do livro de Ciências do aluno - sonsAula 1 do livro de Ciências do aluno - sons
Aula 1 do livro de Ciências do aluno - sons
 
347018542-PAULINA-CHIZIANE-Balada-de-Amor-ao-Vento-pdf.pdf
347018542-PAULINA-CHIZIANE-Balada-de-Amor-ao-Vento-pdf.pdf347018542-PAULINA-CHIZIANE-Balada-de-Amor-ao-Vento-pdf.pdf
347018542-PAULINA-CHIZIANE-Balada-de-Amor-ao-Vento-pdf.pdf
 
Estrutura Pedagógica - Laboratório de Educação a Distância.ppt
Estrutura Pedagógica - Laboratório de Educação a Distância.pptEstrutura Pedagógica - Laboratório de Educação a Distância.ppt
Estrutura Pedagógica - Laboratório de Educação a Distância.ppt
 
Introdução à Sociologia: caça-palavras na escola
Introdução à Sociologia: caça-palavras na escolaIntrodução à Sociologia: caça-palavras na escola
Introdução à Sociologia: caça-palavras na escola
 
A dinâmica da população mundial de acordo com as teorias populacionais.pptx
A dinâmica da população mundial de acordo com as teorias populacionais.pptxA dinâmica da população mundial de acordo com as teorias populacionais.pptx
A dinâmica da população mundial de acordo com as teorias populacionais.pptx
 
CADERNO DE CONCEITOS E ORIENTAÇÕES DO CENSO ESCOLAR 2024.pdf
CADERNO DE CONCEITOS E ORIENTAÇÕES DO CENSO ESCOLAR 2024.pdfCADERNO DE CONCEITOS E ORIENTAÇÕES DO CENSO ESCOLAR 2024.pdf
CADERNO DE CONCEITOS E ORIENTAÇÕES DO CENSO ESCOLAR 2024.pdf
 
OS elementos de uma boa Redação para o ENEM.pdf
OS elementos de uma boa Redação para o ENEM.pdfOS elementos de uma boa Redação para o ENEM.pdf
OS elementos de uma boa Redação para o ENEM.pdf
 
1_10_06_2024_Criança e Cultura Escrita, Ana Maria de Oliveira Galvão.pdf
1_10_06_2024_Criança e Cultura Escrita, Ana Maria de Oliveira Galvão.pdf1_10_06_2024_Criança e Cultura Escrita, Ana Maria de Oliveira Galvão.pdf
1_10_06_2024_Criança e Cultura Escrita, Ana Maria de Oliveira Galvão.pdf
 
livro ciclo da agua educação infantil.pdf
livro ciclo da agua educação infantil.pdflivro ciclo da agua educação infantil.pdf
livro ciclo da agua educação infantil.pdf
 
“A classe operária vai ao paraíso os modos de produzir e trabalhar ao longo ...
“A classe operária vai ao paraíso  os modos de produzir e trabalhar ao longo ...“A classe operária vai ao paraíso  os modos de produzir e trabalhar ao longo ...
“A classe operária vai ao paraíso os modos de produzir e trabalhar ao longo ...
 
Slides Lição 11, Central Gospel, Os Mortos Em CRISTO, 2Tr24.pptx
Slides Lição 11, Central Gospel, Os Mortos Em CRISTO, 2Tr24.pptxSlides Lição 11, Central Gospel, Os Mortos Em CRISTO, 2Tr24.pptx
Slides Lição 11, Central Gospel, Os Mortos Em CRISTO, 2Tr24.pptx
 
QUIZ - HISTÓRIA 9º ANO - PRIMEIRA REPÚBLICA_ERA VARGAS.pptx
QUIZ - HISTÓRIA  9º ANO - PRIMEIRA REPÚBLICA_ERA VARGAS.pptxQUIZ - HISTÓRIA  9º ANO - PRIMEIRA REPÚBLICA_ERA VARGAS.pptx
QUIZ - HISTÓRIA 9º ANO - PRIMEIRA REPÚBLICA_ERA VARGAS.pptx
 
Atividade de reforço de matemática 2º ano
Atividade de reforço de matemática 2º anoAtividade de reforço de matemática 2º ano
Atividade de reforço de matemática 2º ano
 
Slides Lição 11, CPAD, A Realidade Bíblica do Inferno, 2Tr24.pptx
Slides Lição 11, CPAD, A Realidade Bíblica do Inferno, 2Tr24.pptxSlides Lição 11, CPAD, A Realidade Bíblica do Inferno, 2Tr24.pptx
Slides Lição 11, CPAD, A Realidade Bíblica do Inferno, 2Tr24.pptx
 
O que é um Ménage a Trois Contemporâneo .pdf
O que é um Ménage a Trois Contemporâneo .pdfO que é um Ménage a Trois Contemporâneo .pdf
O que é um Ménage a Trois Contemporâneo .pdf
 
Folheto | Centro de Informação Europeia Jacques Delors (junho/2024)
Folheto | Centro de Informação Europeia Jacques Delors (junho/2024)Folheto | Centro de Informação Europeia Jacques Delors (junho/2024)
Folheto | Centro de Informação Europeia Jacques Delors (junho/2024)
 

Fundamentos da Teoria da Computação Segunda Lista de Exercícios - Aula sobre dúvidas

  • 1. Fundamentos da Teoria da Computação Segunda Lista de Exercícios - Aula sobre dúvidas Sérgio Mariano Dias1 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/2009 1 / 49
  • 2. Exercício no 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/2009 2 / 49
  • 3. Exercício no 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/2009 3 / 49
  • 4. Exercício no 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/2009 4 / 49
  • 5. Exercício no 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/2009 5 / 49
  • 6. Exercício no 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/2009 6 / 49
  • 7. Exercício no 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/2009 7 / 49
  • 8. Exercício no 2 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 8 / 49
  • 9. Exercício no 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/2009 9 / 49
  • 10. Exercício no 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/2009 10 / 49
  • 11. Exercício no 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/2009 11 / 49
  • 12. Exercício no 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/2009 12 / 49
  • 13. Exercício no 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/2009 13 / 49
  • 14. Exercício no 4 - b) - Criando novo estado inicial e final. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 14 / 49
  • 15. Exercício no 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/2009 15 / 49
  • 16. Exercício no 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/2009 16 / 49
  • 17. Exercício no 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/2009 17 / 49
  • 18. Exercício no 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/2009 18 / 49
  • 19. Exercício no 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/2009 19 / 49
  • 20. Exercício no 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 uvi w ∈ L, ∀i ≥ 0 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 20 / 49
  • 21. Exercício no 5 - Prove que os seguintes conjuntos não são linguagens regulares, usando o lema do bombeamento: a) L = {x1n | 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 = 0k 1k . 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 uvi w ∈ L, ∀i ≥ 0. Nesse caso v só tem 0, pois Z = uvw = 0k 1k e |uv| < k e v possui pelo menos um 0 porque v = λ. Isso implica que uv2 w = 0k+|v| 1k /∈ 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/2009 21 / 49
  • 22. Exercício no 5 - Prove que os seguintes conjuntos não são linguagens regulares, usando o lema do bombeamento: b) {10n 1n | n ≥ 1}. Suponha que L seja regular. Seja k a constante a constante referida no LB, e seja Z = 10k 1k . 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 uvi w ∈ L, ∀i ≥ 0. Z = uvw = 10k 1k e |uv| < k. caso 1: v só tem 0 uv2 w = 10k+|v| 1k /∈ L caso 2: v começa com 1 (u = λ) uv2 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/2009 22 / 49
  • 23. Exercício no 6 - Prove que os seguintes conjuntos não são linguagens regulares, usando propriedades de fecho: a) X = {0m 1n | m = n}. ¬X ∩ {0}∗ {1}∗ = {0n 1n |n ≥ 0} L = {0n 1n |n ≥ 0} não é regular1 . Pelas propriedades de fecho: se X fosse regular, ¬X séria; sendo ¬X regular interseção com {0}∗ {1}∗ é regular; L = {0n 1n |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/2009 23 / 49
  • 24. Exercício no 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∗ = {1n |n é primo } L = {1n |n é primo } não é regular2 . Pelas propriedades de fecho: se X fosse regular, interseção com {1}∗ é regular; L = {1n |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/2009 24 / 49
  • 25. Exercício no 7 - Sejam as linguagens L1 = {0, 1}∗ {1}{0, 1} e L2 = {w ∈ {0, 1}∗ | η(w) mod 3 = 0}, sendo η(w) o número representado por w na base dois. a) Prove que L1 − L2 é regular usando propriedades de fecho. L1 − L2 = L1 ∩ ¬L2 L1 é regular L2 é regular Fechado sobre o complemento e interseção Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 25 / 49
  • 26. Exercício no 7 - b) Construa um autômato finito para L1 − L2. L1 − L2 = L1 ∩ ¬L2 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 26 / 49
  • 27. Exercício no 7 - b) - Removendo não determinismo de L1. 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 L1 (AFD) com ¬L2, mesmo procedimento aplicado no exercício 8 da lista 1. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 27 / 49
  • 28. Exercício no 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/2009 28 / 49
  • 29. Exercício no 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/2009 29 / 49
  • 30. Exercício no 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/2009 30 / 49
  • 31. Exercício no 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/2009 31 / 49
  • 32. Exercício no 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 000. . . ; 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/2009 32 / 49
  • 33. Exercício no 9 - d)- Criando novo estado inicial e final. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 33 / 49
  • 34. Exercício no 9 - d)- Removendo o estado 2. P1 = 01∗0 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 34 / 49
  • 35. Exercício no 9 - d)- Removendo o estado 0. P1 = (01∗0) + 10∗1 P2 = 10∗ Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 35 / 49
  • 36. Exercício no 9 - d)- Removendo o estado −1. P1 = (01∗0) + 10∗1 P2 = 10∗ P3 = 0∗1 ER = P3P1∗P2 = 0∗1[(01∗0) + 10∗1]∗10∗ Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 36 / 49
  • 37. Exercício no 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/2009 37 / 49
  • 38. Exercício no 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/2009 38 / 49
  • 39. Exercício no 10 - a) - Removendo o estado q0. P1 = 1 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 39 / 49
  • 40. Exercício no 10 - a) - Removendo o estado q1. P1 = 11∗0 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 40 / 49
  • 41. Exercício no 10 - a) - Removendo o estado q2. P1 = 1+0 P2 = 0 + 11∗0 P3 = 11∗ ER = P1P2∗P3 = 1+0(0 + 1+0)∗1+ Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 41 / 49
  • 42. Exercício no 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 0101. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 42 / 49
  • 43. Exercício no 10 - b) O conjunto das palavras que não contém a subpalavra 0101. Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 43 / 49
  • 44. Exercício no 10 - b) - Removendo o estado q3. P1 = 00 P2 = 0 + 1 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 44 / 49
  • 45. Exercício no 10 - b) - Removendo o estado q2. P1 = 11 P2 = 0 + 100 P3 = λ + [1(0 + λ)] Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 45 / 49
  • 46. Exercício no 10 - b) - Removendo o estado q1. P1 = 1 + [0(0 + 100)]∗11 P2 = λ + [0(0 + 100)]∗{λ + [1(0 + λ)]} ER = P1∗P2 Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 46 / 49
  • 47. Exercício no 11 - Mostre que os seguintes problemas são decidíveis, se G1 e G2 são gramáticas regulares quaisquer: a)L(G1) = ∅? Seja M um AF que aceite L(G1). L(G1) = {} 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/2009 47 / 49
  • 48. Exercício no 11 - Mostre que os seguintes problemas são decidíveis, se G1 e G2 são gramáticas regulares quaisquer: b)L(G1) ⊆ L(G2)? L(G1) ⊆ L(G2) ↔ L(G1) ∩ ¬L(G2) = Sérgio Mariano Dias (UFMG) Fundamentos da Teoria da Computação 07/05/2009 48 / 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/2009 49 / 49