Upload
diego-damasceno
View
4.120
Download
0
Embed Size (px)
Citation preview
Aplicação de Autômatos no funcionamento de Elevadores
Equipe: Diego Damasceno - 08088001701Felipe Leite - 08088001001 Teófilo Augusto - 08088000201
1/45
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
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
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
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
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
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
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
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
Aplicação para Elevadores
10/45
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
Autômato de Abrir e Fechar PortaMaquína de Moore
12/45
Autômato abrir/fechar portas:Máquina de Moore
13/45
Autômato abrir/fechar portas
Começando com porta fechada;
14/45
Autômato abrir/fechar portas
Desejo abrir aPorta...
15/45
Autômato abrir/fechar portas
16/45
Autômato abrir/fechar portas
Este elevador por‘default’ mantémsua porta Fecha-da.
17/45
Autômato abrir/fechar portas
18/45
Autômato abrir/fechar portas
Enquanto estaabrindo umamensagem paraFechar é solicitada
19/45
Autômato abrir/fechar portas
A porta abre, masFecha logo emSeguida.
20/45
Autômato abrir/fechar portas
O processo defechar respeitaos estados ‘fchnd’E ‘fchd’.
21/45
Autômato abrir/fechar portas
22/45
Autômato abrir/fechar portas
A porta estava Aberta;
23/45
Autômato abrir/fechar portas
A porta estava Aberta;Foi solicitadoque fechasse;
24/45
Autômato abrir/fechar portas
A porta estava Aberta;Foi solicitadoque fechasse;A porta fecha;Em seguida Segue o processode abertura
25/45
Autômato abrir/fechar portas
A porta estava Aberta;Foi solicitadoque fechasse;A porta fecha;Em seguida Segue o processode aberturaRespeitando os Estados de‘abertura’
26/45
Autômato abrir/fechar portas
A porta estava Aberta;Foi solicitadoque fechasse;A porta fecha;Em seguida Segue o processode aberturaRespeitando os Estados de‘abertura’
27/45
Autômato de Abrir e Fechar PortaMaquína de Mealy
28/45
Autômato abrir/fechar portas:Máquina de Mealy
29/45
Autômato abrir/fechar portas:
Analise similarA máquina de Moore.
30/45
Autômato para Elevador – dois andares
31/45
Autômato de representação dos andares
Elevador de2 andares
32/45
Autômato de representação dos andares
Elevador de2 andares
33/45
Autômato de representação dos andares
Elevador de2 andares
34/45
Autômato de representação dos andares
Elevador de2 andares
35/45
Autômato de representação dos andares
Elevador de2 andares
36/45
Autômato de representação dos andares
Elevador de2 andares
37/45
Autômato de representação dos andares
Elevador de2 andares
38/45
Autômato de representação dos andares
Elevador de2 andares
39/45
Autômato de representação dos andares
Elevador de2 andares
40/45
Autômato para Elevador – três andares
41/45
Autômato de representação dos andares
Elevador de3 andares
42/45
Autômato de representação dos andares
Elevador de3 andares
43/45
Aumento de Andares
• Aumenta a complexidade do autômato
44/45
Perguntas ???
45/45