Universidade Federal do Ceará - Campus Crateús

Disciplina: Linguages Formais e Autômatos

Professor: Rennan Dantas

Nome do Aluno(a):
Matrı́cula:

Lista de exercı́cios para o teste 1

Questão 01 Escreva um autômato finito que reconheça as seguintes linguagens no alfabeto binário:

a) L = { w | w é qualquer cadeia exceto 11 e 111}

b) L = { w | w contém pelo menos dois 0’s e no máximo um 1}

c) L = {w|w contém dois 0s separados por um número ı́mpar de 1s OU

contém uma substring xy onde x tem pelo menos dois 1s e y começa com 1 e termina com 0}.

d) L = {w|w onde w contém um número ı́mpar de 0’s e no máximo dois 1’s OU w é da forma 0y1, onde
y contém um número de 1’s que é múltiplo de 3}

Questão 02 Desenhe o diagrama de transições e descreva a linguagem que cada um dos autômatos abaixo
reconhecem:

a) A=({q0 , q1 , q2 }, {0, 1}, δ, q0 , {q1 })

δ(q0 , 0) = q2
δ(q0 , 1) = q1
δ(q1 , 0) = q0
δ(q1 , 1) = q0
δ(q2 , 0) = q2
δ(q2 , 1) = q2

b) A=({s0 , s1 , s2 , s3 }, {a, b}, δ, s0 , {s3 })

δ(s0 , a) = s1
δ(s0 , b) = s2
δ(s1 , a) = s0
δ(s1 , b) = s3
δ(s2 , a) = s3
δ(s2 , b) = s0
δ(s3 , a) = s2
δ(s3 , b) = s1

1
c) A=({q0 , q1 , q2 , q3 }, {a, b}, δ, q0 , {q1 })

δ(q0 , a) = q1
δ(q0 , b) = q2
δ(q1 , a) = q3
δ(q1 , b) = q0
δ(q2 , a) = q2
δ(q2 , b) = q2
δ(q3 , a) = q2
δ(q3 , b) = q2

d) A=({q0 , q1 , q2 , q3 , q4 }, {a, b}, δ, q0 , {q2 })

δ(q0 , a) = q1
δ(q0 , b) = q2
δ(q1 , a) = q1
δ(q1 , b) = q3
δ(q2 , a) = q4
δ(q2 , b) = q4
δ(q3 , a) = q4
δ(q3 , b) = q4
δ(q4 , a) = q4
δ(q4 , b) = q4

Questão 03 Prove que os autômatos da questão 01.a e 01.b reconhecem as suas respectivas linguagens.

Questão 04 Converta os seguintes AFNDs para AFD. Use notação explı́cita nos rótulos do seu AFD, ou
seja, a notação de conjuntos.

a) N=({q0 , q1 , q2 }, {0, 1}, δ, q0 , {q2 })

δ(q0 , 0) = {q1 , q2 }
δ(q0 , 1) = {q0 }
δ(q1 , 0) = {q0 , q1 }
δ(q1 , 1) = {}
δ(q2 , 0) = {q0 q2 }
δ(q2 , 1) = {q1 }

b) N=({q0 , q1 , q2 , q3 }, {0, 1}, δ, q0 , {q3 })

δ(q0 , 0) = {q0 }
δ(q0 , 1) = {q1 }
δ(q1 , 0) = {q2 }
δ(q1 , 1) = {q1 , q3 }
δ(q2 , 0) = {}
δ(q2 , 1) = {q2 , q3 }
δ(q3 , 0) = {q3 }
δ(q3 , 1) = {}

2
Questão 05 Prove que os AFDs e os AFNDs da questão 4 são equivalentes.

Questão 06 Para cada um dos seguintes ε-AFNDs, mostre o ECLOSE de cada estado e converta o ε-
AFND para AFD.

a) A=({q1 , q2 , q3 }, {a, b}, δ, q1 , {q1 })

δ(q1 , a) = {}
δ(q1 , b) = {q2 }
δ(q1 , ε) = {q3 }
δ(q2 , a) = {q2 , q3 }
δ(q2 , b) = {q3 }
δ(q2 , ε) = {}
δ(q3 , a) = {q1 }
δ(q3 , b) = {}
δ(q3 , ε) = {}

b) A=({q0 , q1 , q2 , q3 }, {0, 1}, δ, q0 , {q3 })

δ(q0 , 0) = {}
δ(q0 , 1) = {q0 }
δ(q0 , ε) = {q1 }
δ(q1 , 0) = {q3 }
δ(q1 , 1) = {q1 }
δ(q1 , ε) = {q0 }
δ(q2 , 0) = {q2 }
δ(q2 , 1) = {}
δ(q2 , ε) = {}
δ(q3 , 0) = {q2 }
δ(q3 , 1) = {q3 }
δ(q3 , ε) = {}

c) A=({q0 , q1 , q2 , q3 }, {a, b}, δ, q0 , {q3 })

δ(q0 , a) = {q1 }
δ(q0 , b) = {q0 }
δ(q0 , ε) = {q3 }
δ(q1 , a) = {q2 }
δ(q1 , b) = {q1 }
δ(q1 , ε) = {q2 }
δ(q2 , a) = {}
δ(q2 , b) = {q3 }
δ(q2 , ε) = {q3 }
δ(q3 , a) = {q0 }
δ(q3 , b) = {q2 , q3 }
δ(q3 , ε) = {}

d) A = ({q0 , q1 , q2 , q3 }, {x, y}, δ, q0 , {q3 })

δ(q0 , x) = {q2 }

3
δ(q0 , y) = {q1 }
δ(q0 , ε) = {q3 }
δ(q1 , x) = {q3 }
δ(q1 , y) = {q1 }
δ(q1 , ε) = {q2 }
δ(q2 , x) = {q2 }
δ(q2 , y) = {q3 }
δ(q2 , ε) = {q0 }
δ(q3 , x) = {q3 }
δ(q3 , y) = {q3 }
δ(q3 , ε) = {}

Questão 07 Para cada uma das seguintes linguagens, encontre um autômato finito e o converta para uma
expressão regular que defina a linguagem:

a) L={w | w começa com um 0 e tem comprimento ı́mpar ou começa com um 1 e tem comprimento par}

b) L={w| w não contém a subcadeia 110}

Questão 08 Converta o seguinte autômato finito em uma expressão regular:

A = ({qa , qb , qc }, {0, 1}, δ, qa , {qb , qc })

δ(qa , 0) = {qb }
δ(qa , 1) = {qc }
δ(qb , 0) = {qa }
δ(qb , 1) = {qc }
δ(qc , 0) = {qb }
δ(qc , 1) = {qa , qc }

Lembre de fazer o passo a passo de forma explı́cita. Indique o que você está fazendo em cada etapa.

Questão 09 Converta cada uma das expressões regulares a seguir para um autômato finito. Em seguida,
defina a linguagem que a expressão regular gera:

a) (0 ∪ 1)∗ 000(0 ∪ 1)∗

b) (((00)∗ (11)) ∪ 01)∗

c) (0 ∪ 1)∗ (010 ∪ 11(0 ∪ 1)∗ 11)(0 ∪ 1)∗

d) (b ∪ ba)∗ (ba(ab ∪ a)∗ bb ∪ bba)(ε ∪ aa∗ )∗