O trabalho consiste em construir autômatos finitos usando a

Document Sample
O trabalho consiste em construir autômatos finitos usando a Powered By Docstoc
					                                  UNIVERSIDADE FEDERAL DO AMAZONAS
                                     INSTITUTO DE CIÊNCIAS EXATAS
                                DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO

                                             LFA 2007-2
                                       PROFª.: VIRGÍNIA BRILHANTE
                                       MONITORA: LUCIANA COSTA

                                     Trabalho Prático – Parte I

O trabalho consiste em construir autômatos finitos usando a ferramenta JFLAP.

Algumas observações:

   •   Para criar AFDs, você pode definir primeiramente AFNs e depois converter para AFDs.
   •   Utilize o menu “Input” para testar seus autômatos. Ao corrigir o trabalho, será utilizada a
       opção “Input->Multiple Run” para testar várias palavras e validar o autômato. Portanto,
       teste bem.
   •   Nunca abrevie transições usando vírgula, algo como “0,1”. Devem-se definir duas
       transições, uma para 0 e outra para 1. Isso é algo que se descobre lendo o manual da
       ferramenta, o que seria bom fazer ao ter dúvidas.

A ferramenta salva cada autômato em um arquivo com a extensão “jff”. Como cada questão deste
trabalho corresponde a apenas 1 autômato, cada uma delas deve corresponder a um arquivo “jff” em
separado.

O trabalho deve ser feito em grupos de três alunos. O nome do arquivo deve seguir o seguinte
padrão:

<nome e sobrenome do aluno 1>.<nome e sobrenome do aluno 2>.<nome e sobrenome do aluno 3>.<questão>.jff

Não use acentos. Por exemplo, se os alunos são João Batista da Silva, Pedro Souza e Maria Santos,
o arquivo da questão 1c (questão 1, letra c) deve se chamar:

                             joao.silva.pedro.souza.maria.santos.1c.jff

Arquivos com nome fora do padrão poderão ser ignorados. Os arquivos “jff” devem ser
compactados, evitando vários anexos e empacotando seu trabalho num arquivo só. Os seguintes
formatos são aceitos: zip, rar, tar, gz ou tgz.

Prazo: submeter o trabalho através do envio de um e-mail com arquivo anexado e “subject”
'Trabalho LFA Parte I' para dcc_lfa@dcc.ufam.edu.br até meia-noite do dia 07/12/2007. Submissões
realizadas após este prazo terão um ponto deduzido por dia de atraso.

Plágio: trabalhos com evidência de plágio receberão a menor dentre suas notas dividida pelo
número de grupos envolvidos.

Os autômatos a construir estão especificados nas questões abaixo retiradas do livro de Newton
Vieira. Obedeça a ordem de questões abaixo para nomear seus arquivos.
QUESTÕES

1. Construa AFDS para as seguintes linguagens sobre o alfabeto {0,1}:

a) O conjunto das palavras de tamanho menor que 3.
b) O conjunto das palavras de tamanho múltiplo de 3.
c) O conjunto das palavras com no máximo três 1s.
d) O conjunto das palavras que contêm um ou dois 1s e cujo tamanho é múltiplo de três.


2. Construa AFDs para as seguintes linguagens:

a) { w   ∈ {0, 1}* | cada 0 de w é imediatamente seguido de, no mínimo, dois 1s }
b) { w   ∈ {0, 1}* | os primeiros quatro símbolos de w contém, no mínimo, dois 1s }
c) { w   ∈ {0, 1}* | w não contém 000 nem 111 }
d) { w   ∈ {0, 1}* | os últimos três símbolos de w não são 000 }


3. Construa AFDS para as seguintes linguagens sobre o alfabeto {0,1}. Considere que o símbolo na
posição 1 de uma palavra é o primeiro símbolo desta, o símbolo na posição 2 é o segundo e assim
por diante, ou seja, i = {1, 2, ..., n}.
a) o conjunto das palavras em que o símbolo na posição 2i é diferente do símbolo na posição 2i+2,
para i ≥ 1;
b) o conjunto das palavras em que o símbolo na posição 2i-1 é diferente do símbolo na posição 2i,
para i ≥ 1;
c) o conjunto das palavras em que o símbolo na posição i é diferente do símbolo na posição i+2,
para i ≥ 1;
d) o conjunto das palavras com número ímpar de 0s nas posições ímpares e número par de 0s nas
posições pares;
e) o conjunto das palavras de tamanho par com 1s nas posições pares, acrescido das palavras de
tamanho ímpar com 1s nas posições ímpares.