UNIP Universidade Paulista ICET INSTITUTO DE CINCIAS EXATAS E TECNOLOGIA BACHARELADO EM CINCIAS DA COMPUTAO

KELVIN DE MOURA OLIVEIRA LEANDRO LUIS DE LIMA PEDRO HENRIQUE FIGUEIREDO VESCHI Curso: CC5P28

RA: A368JD-1 RA: A6030F-8 RA: A27263-1

Autmatos Finitos

So Jos do Rio Preto 2012

ndice

ndice ..................................................................................................... 2 1. Autmatos Finitos .............................................................................. 3 1.1. Elevador ...................................................................................... 3 1.1.1. Diagrama de estados ............................................................... 3 1.1.2. Definio formal........................................................................ 4

1. Autmatos Finitos 1.1. Elevador Este elevador usado para subir ou descer do Trreo at o 3 andar, podendo parar entre os andares. Ele funciona com somente 4 botes: Subir, Descer, Abrir e Fechar.

1.1.1. Diagrama de estados

Abrir Fechar, Descer Trreo (Fechado) Fechar Trreo (Aberto) Abrir, Subir, Descer

Descer

Subir

Abrir Fechar 1 Andar (Fechado) Fechar 1 Andar (Aberto) Abrir, Subir, Descer

Descer

Subir

Abrir Fechar 2 Andar (Fechado) Fechar 2 Andar (Aberto) Abrir, Subir, Descer

Descer

Subir

Abrir Fechar, Subir 3 Andar (Fechado) Fechar 3 Andar (Aberto) Abrir, Subir, Descer

Este elevador possui 8 estados, que so: Trreo (Fechado) Trreo (Aberto) 1 andar (Fechado) 1 andar (Aberto) 2 andar (Fechado) 2 andar (Aberto) 3 andar (Fechado) 3 andar (Aberto)

E 4 Condies, que so: Subir Descer Abrir Fechar

1.1.2. Definio formal Q = {Trreo (Fechado), Trreo (Aberto), 1 andar (Fechado), 1 andar (Aberto), 2 andar (Fechado), 2 andar (Aberto), 3 andar (Fechado), 3 andar (Aberto)}

= {Subir, Descer, Abrir, Fechar}

Q0 = Trreo (Fechado) F = Qualquer um

=
Qx Subir Descer Abrir Trreo (Aberto) Trreo (Aberto) 1 andar (Aberto) 1 andar (Aberto) 2 andar (Aberto) 2 andar (Aberto) 3 andar (Aberto) 3 andar (Aberto) Fechar Trreo (Fechado) Trreo (Fechado) 1 andar (Fechado) 1 andar (Fechado) 2 andar (Fechado) 2 andar (Fechado) 3 andar (Fechado) 3 andar (Fechado)

Trreo (Fechado) 1 andar (Fechado) Trreo (Fechado) Trreo (Aberto) Trreo (Aberto) Trreo (Aberto)

1 andar (Fechado) 2 andar (Fechado) Trreo (Fechado) 1 andar (Aberto) 1 andar (Aberto) 1 andar (Aberto)

2 andar (Fechado) 3 andar (Fechado) 1 andar (Fechado) 2 andar (Aberto) 2 andar (Aberto) 2 andar (Aberto)

3 andar (Fechado) 3 andar (Fechado) 2 andar (Fechado) 3 andar (Aberto) 3 andar (Aberto) 3 andar (Aberto)