LFA-2021-02-06-AF-saidas

Prévia do material em texto

LINGUAGENS FORMAIS E AUTÔMATOS (2021/2) 
EXERCÍCIO SOBRE AUTÔMATOS COM SAÍDAS 
MÁQUINA DE MOORE E MEALY 
 
 
(a) (5.0) Q1: Dado o alfabeto {0, 1, 2, 3}, fazer uma máquina de Moore que gere 
"1" na saída caso a soma dos símbolos da palavra de entrada seja divisível por 4, 
e "0" caso contrário. Por exemplo, as entradas "13", "1111", "202", etc, devem 
produzir "1" na saída. Dica: gere um estado para cada resto (ex. 0%4, 1%4, ...). 
 
(b) (5.0) Q2: Dado o alfabeto {0, 1, 2, 3}, fazer uma máquina de Mealy que gere 
"1" na saída caso a soma dos símbolos da palavra de entrada seja divisível por 4, 
e "0" caso contrário. Por exemplo, as entradas "13", "1111", "202", etc, devem 
produzir "1" na saída. Dica: gere um estado para cada resto (ex. 0%4, 1%4, ...). 
Gere os dois AFs (Moore e Mealy) na ferramenta JFLAP. 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, ou seja, 
“q1.jff”, “q1.txt”, “q2.jff” e “q2.txt”. Comprima todos os arquivos no formato “zip” 
(tem que ser necessariamente no formato “zip”) e submeta no Colabweb. O nome do 
arquivo zipado deve ser exatamente o nome do aluno.