ficha resolvida - Universidade do Minho

Solução
ex4_2_1 :: Dfa (State Integer) Int Char
ex4_2_1 = Dfa [’a’,’b’,’c’,’d’] [1,2,3,4,5,6] 1 [5] delta
where delta 1 ’a’ = return 2
delta 2 ’a’ = return 2
delta 2 ’b’ = do modify ( c -> c + 1); return 3
delta 2 ’c’ = return 3
delta 2 ’d’ = return 4
delta 3 ’b’ = do modify ( c -> c + 1); return 3
delta 3 ’c’ = return 3
delta 3 ’d’ = return 4
delta 4 ’d’ = return 5
delta _ _ = return 6
runEx4_2_1 = runDfa ex4_2_1 0
ex4_2_2 :: Dfa (State (Integer, Integer)) Int Char
ex4_2_2 = Dfa [’a’,’b’,’c’,’d’] [1,2,3,4,5,6] 1 [5] delta
where delta 1 ’a’ = return 2
delta 2 ’a’ = return 2
delta 2 ’b’ = do modify ( (b,c) -> (b + 1, c)); return 3
delta 2 ’c’ = do modify ( (b,c) -> (b, c + 1)); return 3
delta 2 ’d’ = return 4
delta 3 ’b’ = do modify ( (b,c) -> (b + 1, c)); return 3
delta 3 ’c’ = do modify ( (b,c) -> (b, c + 1)); return 3
delta 3 ’d’ = return 4
delta 4 ’d’ = return 5
delta _ _ = return 6
runEx4_2_2 = runDfa ex4_2_2 (0,0)
4.3 A configuração de uma placa gráfica de um Pc obedece ao seguinte protocolo: a
comunicação estabelece-se enviando um código inicial, constituído pelo padrão de bits 000.
Posteriormente, são enviados valores em binário, de comprimento de 3 bits, para configurar
vários parâmetros da placa. Esses valores são separados por uma sequência especial de bits:
001. Para indicar o fim da comunicação envia-se a sequência de bits 111.
Este protocolo pode ser formalmente definido pela seguinte expressão regular:
11