TRABALHO DE SISTEMAS A EVENTOS DISCRETOS

Implementar o conjunto de operaes descritas a seguir, teis para a modelagem de sistemas

a eventos discretos com autmatos finitos determinsticos.

1. Operaes de Composio (aplicadas sobre dois autmatos G1 e G2):

a. Operao Produto (G1 x G2) - Na composio produto, as transies dos dois
autmatos devem sempre ser sincronizadas por um evento comum, isto , um
evento ocorre se, e somente se, ele ocorrer em ambos os autmatos.
b. Operao Composio Paralela (ou Composio Sncrona G1||G2) - Na
composio paralela, um evento comum s pode ser executado se ambos os
autmatos o executarem de maneira sncrona. Por outro lado, os eventos
particulares no esto sujeitos a tal restrio e podem ser executados quando
possveis no autmato ao qual esto relacionados.
2. Operaes Unrias (aplicadas em um nico autmato G):
a. Operao Acessvel (Ac) - elimina todos os estados no acessveis de G.
b. Operao Coacessvel (CoAc) - elimina todos os estados no coacessveis de G.
c. Operao TRIM A aplicao sequencial de Ac e CoAc.

Essas operaes devem ser implementadas na linguagem de sua preferncia (sugesto:

MatLab, Python ou C/ C++) e avaliadas sobre um conjunto de no mnimo 10 autmatos.

O que deve ser entregue:

1) Um relatrio contendo a descrio terica de cada operao;

2) O conjunto de autmatos utilizados para testes descritos formalmente e pelos seus
diagramas de espao de estados;
3) Descrio dos testes realizados, seus respectivos resultados com as necessrias
discusses.
4) Cdigo fonte das operaes devidamente comentado.

ENTREGA:

22/06/2017 at s 23h59min, via email para zecapio@gmail.com em formato pdf.

OBSERVAES:

1. O trabalho pode ser feito em equipe de no mximo 5 componentes.

2. As equipes devem apresentar um slide com suas implementaes/resultados na aula
do dia 23/06/2017.
3. O prazo para a entrega dos trabalhos fixo e inadivel.
4. Alunos que no entregarem no prazo tero atribudas notas zero em seu boletim.