Ministério da Educação

Universidade Tecnológica Federal do Paraná

Câmpus Medianeira
PR
UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ

Disciplina: Linguagens Formais e Autômatos

Trabalho – Autômatos Finitos Determinísticos

1. Construa um AFD que aceita todas as cadeias definidas a partir do alfabeto Σ = {a,
b} que contenha “aba” como subcadeia, mas que não contenha “abaa”.
Exemplos: aaababbb - aceita
aaabaabb - rejeita

2. Construa um AFD que aceita a linguagem L = {w | w contêm pelo menos um

símbolo 0 e, no máximo, um símbolo 1}.
Exemplos: 000010 - aceita
100001 - rejeita

3. Construa um AFD que decide a linguagem L = {w | w NÃO contenha a cadeia 100

como subcadeia}.
Exemplos: 000010 - aceita
100001 - rejeita

4. Construa um AFD que aceita todas as cadeias definidas a partir do alfabeto Σ = {a,
b, c} na qual duas posições consecutivas não sejam os mesmos símbolos. (5 estados
devem ser suficientes).
Exemplos: ababab - aceita
aababa - rejeita

5. Construa um AFD que aceita todas as cadeias definidas a partir do alfabeto Σ = {0,
1} onde o penúltimo símbolo é um “0”.
Exemplos: 000001 - aceita
000010 - rejeita

6. Construa um AFD que aceita todas as cadeias definidas a partir do alfabeto Σ = {0,
1} onde os símbolos mais à esquerda e mais à direita (ou seja, as extremidades)
sejam diferentes.
Exemplos: 000001 - aceita
000010 – rejeita

Semestre 2022.2
7. Construa um AFD que aceita todas as cadeias definidas a partir do alfabeto Σ = {a,
b, c} onde somente dois dos símbolos tenham um número ímpar de ocorrências.
Exemplos: abcabcab - aceita
abcabcc - rejeita

8. Construa um AFD que aceita todas as cadeias definidas a partir do alfabeto Σ = {a,
b} na qual toda subcadeia de tamanho 4 contenha, no mínimo, dois símbolos “b”.
Exemplos: ababbaab - aceita
ababaaa - rejeita

9. Construa um AFD que aceita todas as cadeias definidas a partir do alfabeto Σ = {a,
b} na qual todo par de símbolos adjacentes “a” aparece antes de qualquer par de
símbolos adjacentes “b”.
Exemplos: abaabbab - aceita
ababbaab - rejeita

10. Construa um AFD que aceita as cadeias da linguagem L = {w ∈ {a, b}* | w contenha
uma quantidade par de símbolos a’s e uma quantidade ímpar de símbolos b’s}
Exemplos: ababb - aceita
abbb - rejeita

Semestre 2022.2