Trabalho Individual 1

SCC-5832
1o . Semestre de 2012 Professor: Joo Lu G. Rosa - e-mail: joaoluis@icmc.usp.br a s verso 1 - 19/3/2012 a

ICMC-USP

Objetivo

Desenvolver o entendimento de Linguagens Formais e seu potencial de representao atravs ca e da implementaao de simuladores de autmatos nitos. c o

Descrio ca

Cada aluno deve projetar e desenvolver a aplicaao abaixo, empregando a linguagem de c programaao C ou C++. c Simulador Universal de Autmatos Finitos: O programa deve aceitar a especicaao o c de um AFD ou AFN e a partir da para uma dada lista de cadeias, dizer quais as que pertencem (sa da: aceita) e quais as que no pertencem (sa a da: rejeita) a linguagem ` reconhecida pelo autmato. o

Produto

O programa a ser implementado neste projeto deve seguir rigorosamente os formatos de entrada e sa (ver seao Arquivos Texto de Entrada e de Sa da c da abaixo), uma vez que todos os projetos sero submetidos, no per a odo de 26 e 27 de abril de 2012, ao corretor automtico Boca (http://sites.labic.icmc.usp.br/boca/). Recomenda-se que a primeira a submisso ocorra antes do prazo nal, para que sejam poss a veis eventuais correoes. O prazo c nal improrrogvel. Alm do programa, um relatrio com a descriao do trabalho dever e a e o c a ser entregue (ver seo Critrios abaixo). ca e

Critrios e
1. (80%) O programa funciona corretamente para todos os casos de teste; 2. (20%) Documentao: relatrio simples que explica as tcnicas utilizadas para imca o e plementar a mquina escolhida. Discutir a qualidade da soluo implementada, a a ca estruturaao do cdigo e a ecincia da soluo em termos de espao e tempo. A doc o e ca c cumentao dever ser entregue na primeira aula aps o nal do prazo de submisso ca a o a do trabalho, ou seja, no dia 08/5/2012.

Os critrios de correao dos trabalhos so: e c a

Pgina 1 de 4 a

Continua na prxima pgina. . . o a

ICMC-USP T1, 26 e 27/4/2012 SCC-5832 (continuao) ca O plgio (cpia) de programas no ser tolerado. Quaisquer proa o a a gramas similares tero nota zero independente de qual for o original e qual for a a cpia. o

Ateno: ca

Arquivos Texto de Entrada e de Sa da

1a . Linha: nmero de estados: para o conjunto de estados Q, assume-se os nomes dos u estados de q0 a qn1 , onde n o nmero de estados (Obs.: q0 o estado inicial, quando e u e houver um unico estado inicial (AFD)). Assuma 1 n 10; 2a . Linha: o conjunto de s mbolos terminais (): entrar com a quantidade de s mbolos terminais seguida dos elementos separados por espao simples. Assume-se tamanho c mximo igual a 10; a 3a . Linha: o nmero de estados iniciais (se for AFD, igual a 1: q0 ; se for AFN, usa-se u e q0 , q1 , etc. para os estados iniciais). Assume-se tamanho mximo igual a 10; a 4a . Linha: o conjunto de estados de aceitaao (F ): entrar com a quantidade de estados c de aceitaao seguida dos elementos separados por espaos. Lembre-se de entrar apenas c c com os nmeros de 0 a 9; u 5a . Linha: o nmero de transies () da mquina (mximo de 50). u co a a a partir da 6a Linha: as transioes: entra-se com um em cada linha, com os elementos c separados por espao: q x q , onde q, q Q, x {}. Represente a cadeia vazia c () como -. Linha depois das transioes: entrar com o nmero de cadeias de entrada (mximo de c u a 10). Prximas Linhas: cadeias de entrada: entrar com uma em cada linha. Comprimento o mximo de cada cadeia = 20 s a mbolos. Arquivo Texto de Sa da: a partir da 1a . Linha: a informao sobre a aceitao ou no da respectiva cadeia ca ca a de entrada, na ordem do arquivo de entrada. Se a cadeia de entrada pertencer ` a linguagem reconhecida pelo autmato, a cadeia de sa ser aceita. Caso a cadeia o da a de entrada no pertena ` linguagem reconhecida pelo autmato, a cadeia de sa a c a o da ser rejeita. a

Arquivo Texto de Entrada:

Pgina 2 de 4 a

Continua na prxima pgina. . . o a

ICMC-USP T1, 26 e 27/4/2012 SCC-5832 (continuao) ca

Exemplo
Autmato nito determin o stico (AFD) que processa a linguagem regular (a+b)a bb (a(a+ b)a bb ) . Arquivo Texto de Entrada1 : 1. 3 2. 2 a b 3. 1 4. 1 2 5. 6 6. 0 a 1 7. 0 b 1 8. 1 a 1 9. 1 b 2 10. 2 a 0 11. 2 b 2 12. 10 13. abbbba 14. aabbbb 15. bbabbabbabbb 16. bbbbbbbbbbb 17. 18. abababababab 19. bbbbaabbbb 20. abba 21. a 22. aaa
1

Os nmeros das linhas no devem aparecer no arquivo-texto. Esto colocados aqui apenas para facilitar u a a o entendimento.

Pgina 3 de 4 a

Continua na prxima pgina. . . o a

ICMC-USP T1, 26 e 27/4/2012 SCC-5832 (continuao) ca Arquivo Texto de Sa da: 1. rejeita 2. aceita 3. aceita 4. aceita 5. rejeita 6. rejeita 7. aceita 8. rejeita 9. rejeita 10. rejeita

Pgina 4 de 4 a

Final da Descrio do T1. ca