1º Trabalho Individual sobre Automação e Linguagens Regulares

Este trabalho é de resposta individual e obrigatória e deve ser entregue através do portal de
internet da ESTGP (Baco) até dia 25 de Março às 23h59. O não cumprimento destas regras
pode levar a serem descontados valores na nota final do trabalho ou, até, a entrega ser
ignorada e a nota ser 0.

1. (4 valores) Represente graficamente num diagrama de estados, o AFD cujo vocabulário

consiste no conjunto {x, y, z} e que apenas aceite sequências terminadas em xyz.

2. (4 valores) Defina o quíntuplo B=<Q,I,δ,q0,F> do AFND representado no seguinte

diagrama de estados, onde q0 é o estado inicial.

3. (4 valores) Represente graficamente num diagrama de estados o AFND- assim

definido:

é o estado Inicial

4. (4 valores) Utilizando a respectiva função de transição, verifique se a sequência 011 é

aceite pelo AFND- representado no seguinte diagrama de estados.

5. (4 valores) Defina uma gramática regular que gere sequências com 0 e 1 que comecem
em 0 e/ou terminem em 1. (exemplo – 0100, 10101, 001, 0 ou 1).