Scribd
Carregar
39 visualizações5 páginas

Lista 1 - Informática Teórica

Esta lista contém 5 questões sobre autômatos finitos não determinísticos (AFNs). A primeira questão pede para construir AFNs reconhecendo linguagens específicas. A segunda questão descreve formalmente os AFNs da primeira questão. A terceira questão pede para construir AFNs reconhecendo operações entre as linguagens. A quarta questão prova que todo AFN pode ser convertido para ter um único estado de aceitação. A quinta questão dá um exemplo convertendo um AFN da primeira questão para um único estado de aceitação.

Enviado por

Paulinho Souza
Direitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF, TXT ou leia on-line no Scribd
39 visualizações5 páginas

Lista 1 - Informática Teórica

Esta lista contém 5 questões sobre autômatos finitos não determinísticos (AFNs). A primeira questão pede para construir AFNs reconhecendo linguagens específicas. A segunda questão descreve formalmente os AFNs da primeira questão. A terceira questão pede para construir AFNs reconhecendo operações entre as linguagens. A quarta questão prova que todo AFN pode ser convertido para ter um único estado de aceitação. A quinta questão dá um exemplo convertendo um AFN da primeira questão para um único estado de aceitação.

Enviado por

Paulinho Souza
Direitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF, TXT ou leia on-line no Scribd
Você está na página 1/ 5

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:

Você também pode gostar