Universidade Federal do Rio Grande do Norte

Centro de Tecnologia - CT
Departamento de Engenharia de Computação e Automação
DCA0210 - Linguagens Formais e Autômatos
Docente: Mário Sérgio Freitas Ferreira Cavalcante

Primeira Lista de Exercícios - Autômatos

Finitos Determinísticos
Questão 1 -
A descrição formal de um autômato M 3 é dada por ({𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5}, {𝑢, 𝑑}, δ, 𝑞3, {𝑞3}), no
qual δ é dado pela tabela abaixo. Forneça o diagrama de estados dessa máquina.

Questão 2 -
Cada uma das linguagens a seguir é uma interseção de duas linguagens mais simples. Em
cada caso, construa AFDs para as linguagens mais simples, e depois, combine-os
utilizando os conceitos que aprendemos em sala de aula.
a) {w | w tem pelo menos três as e pelo menos bs}
b) {w | w tem comprimento par e um número ímpar de as}
c) {w | w tem um número impar de bs e um ou dois as}
d) {w | w tem um número par de as e pelo menos um b}

Questão 3
Cada uma das linguagens a seguir é o complemento de uma linguagem mais simples. Em
cada caso construa um AFD para a linguagem mais simples, e use-o para obter o diagrama
de um AFD para a linguagem dada. Em todos os casos considere do alfabeto: Σ = {a,b}
a) {w | w é qualquer cadeia que não contém a cadeia ab, nem ba}
b) {w | w é qualquer cadeia, exceto a e b}
c) {w| w é qualquer cadeia que não contém a cadeia ababa}
d) {w | w não possui um número par de as ou um número par de bs}
 Universidade Federal do Rio Grande do Norte
Centro de Tecnologia - CT
Departamento de Engenharia de Computação e Automação
DCA0210 - Linguagens Formais e Autômatos
Docente: Mário Sérgio Freitas Ferreira Cavalcante

Questão 4 -
Desenhe os diagramas de estados de AFDs que reconhecem as linguagens a seguir. Em
todos os casos o alfabeto é {0,1}
a) {w | |𝑤| ≤ 5}
b) {𝑤 | 𝑤 é 𝑞𝑢𝑎𝑙𝑞𝑢𝑒𝑟 𝑠𝑢𝑏𝑐𝑎𝑑𝑒𝑖𝑎 𝑒𝑥𝑐𝑒𝑡𝑜 11 𝑒 111}
c) {w | toda posição ímpar de w é um 1}
d) {ϵ, 0}
e) O conjunto vazio;
f) {w | w não possui símbolos repetidos seguidos}
g) {w | w possui qualquer quantidades de símbolos 0 concatenado com qualquer
quantidade de símbolos 1}

Questão 5 -
Dado o alfabeto de algarismos romanos: Σ = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} desenvolva os
AFDs para as seguintes linguagens:
a) {w | w é inteiro par}
b) {w | w é inteiro divisível por 5}
c) {w | w é inteiro ímpar}

Questão 6
Forneça os AFDs para as seguintes linguagens:
𝑛
a) 𝐴 = {𝑤1𝑤2... 𝑤𝑛 | 𝑤𝑖 ∈ {0, 1, 2, 3}, (Σ 𝑖=1
𝑤𝑖 ) 𝑚𝑜𝑑 4 = 0}
b) 𝐵 = {𝑤1𝑤2... 𝑤𝑛 | 𝑤𝑖 ∈ {0, 1}, |𝑤| 𝑚𝑜𝑑 3 = 0}
c) 𝐶 = {𝑤1𝑤2... 𝑤𝑛 | 𝑤𝑖 ∈ {0, 1}, |𝑤| 𝑚𝑜𝑑 3 = 0}
𝑛
d) 𝐷 = {𝑤1𝑤2... 𝑤𝑛 | 𝑤𝑖 ∈ {0, 1, 2, 3, 4}, (Σ 𝑖=1
𝑤𝑖 ) 𝑚𝑜𝑑 5 = 0}

Questão 7
Seja 𝐶𝑛 = {𝑤 | 𝑤 é 𝑢𝑚 𝑛ú𝑚𝑒𝑟𝑜 𝑏𝑖𝑛á𝑟𝑖𝑜 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 𝑛}.Mostre que para 𝑛 ≥ 1,a
linguagem 𝐶𝑛 é regular.