LINGUAGENS FORMAIS E AUTÔMATOS

2021/2
EXERCÍCIO SOBRE AUTÔMATOS FINITOS DETERMINÍSTICOS

Gere diagramas de estados para cada um dos AFD’s abaixo em JFLAP. Em todas as
questões o alfabeto é Σ = {0,1}. Faça testes com diversas cadeias (opção Input –
Multiple Run). Entregue os arquivos “jff” e os respectivos testes em formato “txt”. Dê
o nome dos arquivos exatamente iguais à questão. Por exemplo, “a.jff” e “a.txt”, “b.jff”
e “b.txt”, etc. Comprima todos os arquivos no formato “zip” e submeta no Colabweb. O
nome do arquivo zipado deve ser exatamente o nome do aluno.

a) {𝜔 ∶ 𝜔 inicia com 1 e termina com 0}

b) {𝜔 ∶ 𝜔 contém pelo menos três 1s}
c) {𝜔 ∶ 𝜔 contém a substring 0101 (i.e., 𝜔 = 𝑥0101𝑦, para algum 𝑥 e 𝑦)}
d) {𝜔 ∶ 𝜔 tem comprimento maior ou igual a três e o terceiro símbolo é um 0}
e) {𝜔 ∶ 𝜔 inicia com 0 e tem comprimento ímpar, ou inicia com 1 e tem
comprimento par}
f) {𝜔 ∶ 𝜔 tem comprimento menor ou igual a cinco}
g) {𝜔 ∶ 𝜔 é qualquer string, exceto 11 e 111}
h) {𝜔 ∶ toda posição impar de 𝜔 é um 1}
i) {𝜔 ∶ 𝜔 ou é a cadeia vazia (𝜀) ou é um 0}
j) {𝜔 ∶ 𝜔 contém um número par de 0s, ou contém exatamente dois 1s}
k) {𝜔 ∶ 𝜔 é o conjunto vazio} ou seja {∅} ou simplesmente {}
l) {𝜔 ∶ 𝜔 ∈ Σ 0 } ou seja, todas as strings exceto a cadeia vazia
m) {𝜔 ∶ 𝜔 contém pelo menos dois 0s e no máximo um 1}
n) {𝜔 ∶ 𝜔 não contém a substring 110}

Todas as questões valem 0,7 pontos, exceto as duas últimas que valem 0,8 pontos.

Usem a criatividade!

Será considerado somente se o autômato resolve o problema, ou seja, não será

considerado se o autômato é otimizado / minimizado.