Universidade Federal do Sul e Sudeste do Pará

Faculdade de Engenharia da Computação – FEC

Disciplina: Teoria da Computação
Professor: Diego Kasuo Nakata da Silva

Lista de Exercícios 02

1. O que são autômatos finitos?

2. O que é uma Linguagem Regular?

3. O que significa que uma coleção de objetos é fechada sob alguma operação? Dê um
exemplo de uma operação que é fechada sobre um conjunto.

4. Quais são as Operações Regulares?

5. O que é um Autômato Finito Não-Determinístico Generalizado (AFNG)?

6. Desenvolva Autômatos Finitos Determinísticos que reconheçam as seguintes

linguagens sobre ∑ = {𝑎, 𝑏}:

(a) {𝑤 | 𝑤 possui 𝑎𝑎𝑎 como subpalavra}.

(b) {𝑤 | o sufixo de 𝑤 é 𝑎𝑎}.
(c) {𝑤 | 𝑤 possui número ímpar de 𝑎 e 𝑏}.
(d) {𝑤 | 𝑤 possui número par de 𝑎 e ímpar de 𝑏}

7. Descreva em palavras as linguagens geradas pelas seguintes Expressões Regulares:

(a) (𝑎𝑎 + 𝑏)∗ (𝑎 + 𝑏𝑏)

(b) (𝑏 + 𝑎𝑏)∗ (𝜀 + 𝑎)
(c) (𝑎𝑎 + 𝑏𝑏 + (𝑎𝑎 + 𝑏𝑏)(𝑎𝑏 + 𝑏𝑎)(𝑎𝑎 + 𝑏𝑏))∗

8. A seguir estão os diagramas de estado de dois AFDs, 𝑀1 e 𝑀2 . Responda às

seguintes questões sobre cada uma dessas máquinas.

(a) Qual é o estado inicial?

 (b) Qual é o conjunto de estados de aceitação?
(c) Por qual sequência de estados a máquina passa para a entrada 𝑎𝑎𝑏𝑏?
(d) A máquina aceita a cadeia 𝑎𝑎𝑏𝑏?
(e) A máquina aceita a cadeia 𝜀?

9. Dê a descrição formal das máquinas 𝑀1 e 𝑀2 desenhadas no exercício anterior.

10. A descrição formal de um AFD 𝑀 é ({𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 }, {𝑢, 𝑑 }, 𝛿, 𝑞3 , {𝑞3 }), onde 𝛿

é dada pela tabela a seguir. Dê o diagrama de estados dessa máquina.

u d
𝑞1 𝑞1 𝑞2
𝑞2 𝑞1 𝑞3
𝑞3 𝑞2 𝑞4
𝑞4 𝑞3 𝑞5
𝑞5 𝑞4 𝑞5

11. Cada uma das linguagens a seguir é a interseção de duas linguagens mais simples.
Em cada caso, construa AFDs para as linguagens. Em todos os casos, ∑ = {𝑎, 𝑏}.

(a) {𝑤 | 𝑤 𝑡𝑒𝑚 𝑝𝑒𝑙𝑜 𝑚𝑒𝑛𝑜𝑠 𝑡𝑟ê𝑠 𝒂𝑠 𝑒 𝑝𝑒𝑙𝑜 𝑚𝑒𝑛𝑜𝑠 𝑑𝑜𝑖𝑠 𝒃𝑠}

(b) {𝑤 | 𝑤 𝑡𝑒𝑚 𝑒𝑥𝑎𝑡𝑎𝑚𝑒𝑛𝑡𝑒 𝑑𝑜𝑖𝑠 𝒂𝑠 𝑒 𝑝𝑒𝑙𝑜 𝑚𝑒𝑛𝑜𝑠 𝑑𝑜𝑖𝑠 𝒃𝑠}
(c) {𝑤 | 𝑤 𝑡𝑒𝑚 𝑢𝑚 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑑𝑒 𝒂𝑠 𝑒 𝑐𝑎𝑑𝑎 𝒂 é 𝑠𝑒𝑔𝑢𝑖𝑑𝑜 𝑝𝑜𝑟 𝑝𝑒𝑙𝑜𝑠 𝑚𝑒𝑛𝑜𝑠 𝑢𝑚 𝒃}
(d) {𝑤 | 𝑤 𝑛ã𝑜 𝑐𝑜𝑛𝑡é𝑚 𝑎 𝑠𝑢𝑏𝑐𝑎𝑑𝑒𝑖𝑎 𝒂𝒃}
(e) {𝑤 | 𝑤 𝑛ã𝑜 𝑐𝑜𝑛𝑡é𝑚 𝑎 𝑠𝑢𝑏𝑐𝑎𝑑𝑒𝑖𝑎 𝒃𝒂𝒃𝒂}

12. Dê diagramas de estado de AFDs que reconhecem as linguagens a seguir. Em

todos os casos, ∑ = {0, 1}.

(a) {𝑤 | 𝑤 𝑐𝑜𝑚𝑒ç𝑎 𝑐𝑜𝑚 𝟏 𝑒 𝑡𝑒𝑟𝑚𝑖𝑛𝑎 𝑐𝑜𝑚 𝟎}

(b) {𝑤 | 𝑤 𝑐𝑜𝑛𝑡é𝑚 𝑝𝑒𝑙𝑜 𝑚𝑒𝑛𝑜𝑠 𝑡𝑟ê𝑠 𝟏𝑠}

13. Dê diagramas de estado de AFNs com o número especificado de estados

reconhecendo cada uma das linguagens a seguir. Em todos os casos o alfabeto é {0, 1}.

(a) A linguagem {𝑤 | 𝑤 𝑡𝑒𝑟𝑚𝑖𝑛𝑎 𝑐𝑜𝑚 00} com três estados.

(b) A linguagem {0} com dois estados.
(c) A linguagem {𝜀} com um estado.
(d) A linguagem 0∗ com um estado.
14. Converta o autômatos finito não-determinístico apresentado a seguir em
autômatos finitos determinístico equivalente.

15. Converta as seguintes expressões regulares em autômatos finitos não-

determinísticos.

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

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

16. Para cada uma das linguagens a seguir, apresente duas cadeias que sejam
membros e duas que não sejam membros — um total de quatro cadeias para cada
caso. Pressuponha o alfabeto ∑ = {𝑎, 𝑏} em todos os casos.

(a) 𝑎∗ 𝑏∗
(b) 𝑎(𝑏𝑎)∗ 𝑏
(c) 𝑎∗ ∪ 𝑏∗
(d) (𝑎𝑎𝑎)∗
(e) 𝛴∗ 𝑎𝛴∗ 𝑏𝛴∗ 𝑎𝛴 ∗
(f) 𝑎𝑏𝑎 ∪ 𝑏𝑎𝑏
(g) (𝜀 ∪ 𝑎)𝑏
(h) (𝑎 ∪ 𝑏𝑎 ∪ 𝑏𝑏)𝛴∗

17. Converta o seguinte autômato finito em expressão regular.

18. Seja a seguinte gramática livre-do-contexto G.

(a) Descreva formalmente G.

(b) Dê três cadeias em 𝐿(𝐺) e escreva/mostre a sua derivação.
19. Considerando a gramática livre-do-contexto G a seguir

(a) Defina formalmente G.

(b) Dê exemplos de cadeias geradas a partir de G.

20. Considerando a gramática livre-do-contexto G dada na questão anterior, converta a

GLC numa GLC equivalente na forma normal de Chomsky.