aplicacao de automatos no funcionamento de elevadores

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