Lista 1 - Informática teórica (IF689)

Aluno(as): Danilo Augusto Barbosa Nogueira, Lucas Lins de Lemos, Paulo Sérgio Galdino
de Souza, Rafael do Nascimento Moura, Wellinne Welliankely Nascimento de Aquino.

Prof.: Adenilton José

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

reconhecendo as linguagens a seguir.
a. {𝑤 | 𝑤 𝑡𝑒𝑟𝑚𝑖𝑛𝑎 𝑐𝑜𝑚 00} com três estados.

b. {𝑤 | 𝑤 𝑐𝑜𝑛𝑡é𝑚 𝑢𝑚 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑑𝑒 0𝑠, 𝑜𝑢 𝑐𝑜𝑛𝑡é𝑚 𝑒𝑥𝑎𝑡𝑎𝑚𝑒𝑛𝑡𝑒 𝑑𝑜𝑖𝑠 1𝑠}.

2. Dê a descrição formal das máquinas utilizadas na questão 1.

a.
- Conjunto de estados
𝑄 = {𝑞0, 𝑞1, 𝑞2}.
- Alfabeto
Σ = {0, 1}.
- Estado inicial
𝑞0.
- Conjunto de estados de aceitação
{ }
𝐹 = 𝑞2 .
 - Função de transição
δ: 𝑄 × Σε → 𝑃(𝑄)

δ 0 1 ε

𝑞0 ⎰
𝑞0, 𝑞1
⎱ {𝑞0} ∅
⎱ ⎰

𝑞1 {𝑞2} ∅ ∅
𝑞2 ∅ ∅ ∅

b.
- Conjunto de estados
𝑄 = {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5, 𝑞6}.
- Alfabeto
Σ = {0, 1}.
- Estado inicial
𝑞0.
- Conjunto de estados de aceitação
{
𝐹 = 𝑞0, 𝑞2, 𝑞4, 𝑞5 . }
- Função de transição
δ: 𝑄 × Σε → 𝑃(𝑄)

δ 0 1 ε

𝑞0 {𝑞1} {𝑞2} ∅
𝑞1 {𝑞0} {𝑞3} ∅
𝑞2 {𝑞3} {𝑞4} ∅
𝑞3 {𝑞2} {𝑞5} ∅
𝑞 {𝑞5} {𝑞6} ∅
𝑞5 {𝑞4} {𝑞6} ∅
𝑞6 {𝑞6} {𝑞6} ∅
3. Defina AFNs que reconhecem a união, concatenação e estrela das linguagens na
questão 1.

a.

b.
 c. Estrela letra (A)

Estrela letra (B)

4. Prove que todo AFN pode ser convertido em um AFN com um único estado de
aceitação.

Para isso, basta adicionar um novo estado de aceitação (q) ao AFN original, posteriormente
deve-se fazer transições ε partindo de cada estado de aceitação da AFN original em
direção ao novo estado adicionado (q). Por fim, todos os estados de aceitações que
continham no AFN original, devem ser transformados em estados regulares, apenas
restando como estado de aceitação o novo estado (q) que foi adicionado.

Exemplo de conversão de um AFN para apenas um estado de aceitação utilizando a

questão 1: