Esta ficha prática contem exercícios para serem resolvidos nas aulas teórico-práticas e práticas com vista a sedimentar os conhecimentos relativos a:

• modelar problemas resoluveis através da especificação de autómatos reactivos;
• uso da ferramenta flex para implementação de autómatos reactivos;
• utilização de condições de contexto em especificações flex.