1. Aplicação de Autômatos no
funcionamento de Elevadores
Equipe:
Diego Damasceno - 08088001701
Felipe Leite - 08088001001
Teófilo Augusto - 08088000201
1/45

2. Tópicos Abordados
• Definições
– Máquina de Mealy
– Máquina de Moore
– Equivalência entre Máquina de Mealy e Moore
• Aplicação para o Elevador
– Para dois andares
– Para três andares
– Abrir e Fechar Porta
2/45

3. Definições
• MEF: Máquinas de Estado Finito
– Reconhecedoras:
• Para cada entrada há duas saídas
(Aceita/Rejeita)
– Tradutoras: AF com Saída
• Para cada entrada existe uma saída
– Baseiam-se no conceito de Estados
3/45

4. Autômatos Finitos com Saída
• Saída pode ser relacionada com:
– Transições: Mealy
– Estados: Moore
• Saída não é usada como memória auxiliar
• Possuem
– Alfabeto de Saída e Entrada e
– Fita de Saída e Entrada
4/45

5. Máquina de Mealy
• Autômato Finito Determinístico com Saída
• Saída associada à transições
• M = (Σ, Q, δ, q0, F, ∆)
– Σ: Alfabeto de Entrada
– Q: Conjunto de estados
– δ: Funções de transição
– q0: Estado inicial
– F: Conjunto de Estados Finais
– ∆: Alfabeto de Saída
5/45

6. Exemplo de Máquina de Mealy
• Fazer uma Máquina de Mealy que leia uma
cadeia de 0’s e 1’s e produza uma saída
trocando os caracteres da entrada (0’s por 1’s e
1’s por 0’s) - Figura 1.
6/45

7. Máquina de Moore
• Autômato Finito Determinístico com Saída
• Saída associada a estados
• M = (Σ, Q, δ, q0, F, ∆,δS)
– Σ: Alfabeto de Entrada
– Q: Conjunto de estados
– δ: Funções de transição
– q0: Estado inicial
– F: Conjunto de Estados Finais
– ∆: Alfabeto de Saída
– δS: Função de Saída 7/45

8. Exemplo de Maquina de Moore
• Fazer uma Máquina de Moore que tenha que leia
uma cadeia de 0’s e 1’s e produza uma saída
trocando os caracteres da entrada (0’s por 1’s e
1’s por 0’s - semelhante ao exemplo anterior).
8/45

9. Equivalência entre Moore e Mealy
– Toda maquina de Moore pode simular uma de
Mealy para entradas não-vazias
– Toda maquina de Mealy pode simular uma de
Moore
9/45

10. Aplicação para Elevadores
10/45

11. Aplicação para elevadores

Máquina de Moore e Máquina de Mealey
Automato que representa o abrir e fechar das
portas;

Automato Finito sem adaptações
Representa um elevador de 2 e 3 andares.
11/45

12. Autômato de Abrir e Fechar Porta
Maquína de Moore
12/45

13. Autômato abrir/fechar portas:
Máquina de Moore
13/45

14. Autômato abrir/fechar portas
Começando com
porta fechada;
14/45

15. Autômato abrir/fechar portas
Desejo abrir a
Porta...
15/45

16. Autômato abrir/fechar portas
16/45

17. Autômato abrir/fechar portas
Este elevador por
‘default’ mantém
sua porta Fecha-
da.
17/45

18. Autômato abrir/fechar portas
18/45

19. Autômato abrir/fechar portas
Enquanto esta
abrindo uma
mensagem para
Fechar é
solicitada
19/45

20. Autômato abrir/fechar portas
A porta abre, mas
Fecha logo em
Seguida.
20/45

21. Autômato abrir/fechar portas
O processo de
fechar respeita
os estados ‘fchnd’
E ‘fchd’.
21/45

22. Autômato abrir/fechar portas
22/45

23. Autômato abrir/fechar portas
A porta estava
Aberta;
23/45

24. Autômato abrir/fechar portas
A porta estava
Aberta;
Foi solicitado
que fechasse;
24/45

25. Autômato abrir/fechar portas
A porta estava
Aberta;
Foi solicitado
que fechasse;
A porta fecha;
Em seguida
Segue o
processo
de abertura
25/45

26. Autômato abrir/fechar portas
A porta estava
Aberta;
Foi solicitado
que fechasse;
A porta fecha;
Em seguida
Segue o
processo
de abertura
Respeitando os
Estados de
‘abertura’
26/45

27. Autômato abrir/fechar portas
A porta estava
Aberta;
Foi solicitado
que fechasse;
A porta fecha;
Em seguida
Segue o
processo
de abertura
Respeitando os
Estados de
‘abertura’
27/45

28. Autômato de Abrir e Fechar Porta
Maquína de Mealy
28/45

29. Autômato abrir/fechar portas:
Máquina de Mealy
29/45

30. Autômato abrir/fechar portas:
Analise similar
A máquina de
Moore.
30/45

31. Autômato para Elevador – dois
andares
31/45

32. Autômato de representação dos
andares
Elevador de
2 andares
32/45

33. Autômato de representação dos
andares
Elevador de
2 andares
33/45

34. Autômato de representação dos
andares
Elevador de
2 andares
34/45

35. Autômato de representação dos
andares
Elevador de
2 andares
35/45

36. Autômato de representação dos
andares
Elevador de
2 andares
36/45

37. Autômato de representação dos
andares
Elevador de
2 andares
37/45

38. Autômato de representação dos
andares
Elevador de
2 andares
38/45

39. Autômato de representação dos
andares
Elevador de
2 andares
39/45

40. Autômato de representação dos
andares
Elevador de
2 andares
40/45

41. Autômato para Elevador – três
andares
41/45

42. Autômato de representação dos
andares
Elevador de
3 andares
42/45

43. Autômato de representação dos
andares
Elevador de
3 andares
43/45

44. Aumento de Andares
• Aumenta a complexidade do autômato
44/45

45. Perguntas ???
45/45