Teoria da Computação

Prof. Bruno Bruck

Centro de Informática - UFPB

Respostas Lista I
1.
a/b

a. q0 a q1 b q2 a q3 b q4

a
b a

q5 a/b

a/b

b. q0 a q1 b q2

b q5 a/b

a a/b

q4 b q6

b b b a/b

q0 a q1 a q2 a q3
c.

a/b

a/b a/b a/b a/b a/b

d. q0 q1 q2 q3 q4 q5

1
e. q0 a q1 a q2

a a

q5 a q4 a q3

a/b

a/b
f. q0 q1

a/b

g. q0

b a/b
b
h. q0 q1 a q2
a

a b a/b

i. q0 b q1 a q2 a q3 b q4

b a a/b
a

j. q0 a q1 b q2 a q3 b q4

k. q0 b q2 b q4 b q6

q8
a a a a a a a

a
a

q1 b q3 b q5 b q7

2
2.
0/1

a. q0 1 q1 1 q2 0 q3

0/1 0/1
q1 q2 q3
 0/1
b.

q0 q4

0/1 0/1
q5 q6 q7

0/1 0/1

c. q0 0 q1 1 q2 0 q3 0 q4 1 q5

0 1
1
q1 q2

0
d. q0

0/1 0/1 0/1
q3 q4 q5 q6

e. q1 0 q4 1 q7

 

q0  q2 0 q5 0 q8 1 q10




q3 0 q6 1 q9 0 q11

3
 1 1
0
f. q1 q3
 0

q0
0 0 0 0/1


q2 1 q4 1 q5 1 q6

0/1

0/1
g. q0 q1

3.
b
b

3.1 q0 q1 a q1 b q1 q2

a
a
∅

a/b

1
0/1
0
1
3.2 q0 q0 q1 1 q0 q1 q2 0 q0 q3

3.3 q0 q1 q3 b q1 q4
a

a
a q2 q4 b b
b

b a
q2 q3 q1 q3

4
 a

3.4 q0 q1 q2 q6 a q1 q2 q3 q4 q6 q7 q1 q2 q5 q6

b b

a/b

4.
a. Cadeias pertencentes a L1 ∪ L2: {aa, ba, bba, bb, aba, abb}

b. Cadeias pertencentes a L1 ∩ L2: {bomarroz, bomf eijão, ruimarroz, ruimf eijão}

c. Cadeias pertencentes a L∗ : {, 0, 0111, 00111, 111111, 00000111111, ...}
d. Cadeias pertencentes a L+ : {0, 11, 00, 1111, 011011, ...}

5.
a. 1(0|1)∗ |(0|1)∗ 0

b. (ΣΣ)∗
c. 0(Σ)∗ 0|1(Σ)∗ 1|0|1
d. (ΣΣΣ)∗

e. (Σ)∗ 0010(Σ)∗
f. (Σ)∗ 0(Σ)∗ 0(Σ)∗
g. (Σ)∗ 1(Σ)∗ 1(Σ)∗ 1(Σ)∗
h. (ΣΣ1)(Σ)∗

i. (Σ)+

5
6.

a. q1 a q3 b q5


q0
 q6

q2 a q4

q4
a
a


b. q0  q1 b q2  q3


b
q5

q3 a q4


a
b
c. q0 a q1 q2


d. q0 1 q1 1 q2

a a

q3

e. q0 a q1


b a

q5 q2 b q3 b q4

6
 a

f. q1 a q2


q0


q3 a q4 b q5

g. q1 a q3
a b
 

q0 q5 a q6 b q7
b
 

q2 b q4

7.
a) L = {w | w começa com zero ou mais quantidades de a’s, seguido de zero ou mais b’s}
Cadeias pertencentes: {, a, aa, aaa, ab, aab, aaabb...}
Cadeias não pertencentes: {aba, bba, ba..}
b) L = {w | w começa com um a seguido de zero ou mais subcadeias ba, e termina com b}
Cadeias pertencentes: {ab, abab, ababab...}
Cadeias não pertencentes: {aab, abba, ba...}
c) L = {w | w possui zero ou mais a’s ou zero ou mais b’s}
Cadeias pertencentes: {, a, b, aa, bb...}
Cadeias não pertencentes: {aab, bba, aba...}
d) L = {w | w é múltiplo de 3 e não possui sı́mbolos a’s}
Cadeias pertencentes: {, bbb, bbbbbb, bbbbbbbbb...}
Cadeias não pertencentes: {aaa, bbbaaa, aaabbb...}

e) L = {w | w possui pelo menos a cadeia aba}

Cadeias pertencentes: {aba, aaba. bbaababb...}
Cadeias não pertencentes: {bbbab, aabb, aaabbb...}
f) L = {w | w é a cadeia aba ou a cadeia bab}
Cadeias pertencentes: {aba, bab}
Cadeias não pertencentes: {aab, abba, ba...}
g) L = {w | w é o simbolo b ou a cadeia ab}
Cadeias pertencentes: {b, ab}
Cadeias não pertencentes: {, ba, aba...}

h) L = {w | w tem prefixo a ou prefixo ba ou prefixo bb}

Cadeias pertencentes: {abbb, baaaa, bbbbb...}
Cadeias não pertencentes: {, aa, aabbb...}