Autômato

UNIP Universidade Paulista
ICET Instituto de ciências Exatas e Tecnologias
Bacharelado em Ciências da Computação
CARLA CAROLINA DAS NEVES RA:A4606G-4
RAFAEL DE PAULA RA: A476GH-0
TIAGO F. DA SILVA RA:A49JDA-8

PESQUISA DE PROBLEMAS DE BAIXA COMPUTAÇÃO

Disciplina Aspectos Teóricos da Computação

São Jose do Rio Preto
2012

Descrição: Modelo semáforo.

O autômato do semáforo tem a intenção de mostrar o funcionamento de um semáforo onde:
-

A cor verde significa livre para seguir caminho.

-

A cor amarela significa atenção.

-

A cor vermelha significa pare e aguarde no local.

A luz verde ligada representa que os carros podem circular, ela se apaga e da espaço a luz amarela que pede atenção aos motoristas e logo após o sinal de atenção a luz vermelha se acende e impede o transito de veículos naquela via até se acender novamente a luz verde.

Estado:
Estado
Verde
Amarelo
Vermelho

Condição
Livre
Atenção
Pare
Definição Formal

Q = { verde, amarelo, vermelho }
Ʃ = { livre, atenção, pare }

q0 = { verde } f = {}

Ƽ=
Estados
Verde
Amarelo
Vermelho

Livre
Ativado
Desativado
Desativado

Atenção
Desativado
Ativado
Desativado

Parar
Desativado
Desativado
Ativado

Descrição: Modelo Interruptor.

O autômato do interruptor tem a intenção de mostrar o funcionamento de um interruptor onde:
O Interruptor desligado representa a falta de luz, ao pressioná-lo a luz é acesa e assim permanece ligado ao pressioná-lo novamente a luz se apaga e assim permanece desligado.

Estado:
Estado
Desligado
Ligado

Pressionar
Ligado
Desligado
Definição Formal

Q = { desligado, ligado }
Ʃ = { pressionar } q0 = { desligado } f = { desligado }
Ƽ=
Estado
Desligado
Ligado

Pressionar
Ligado
Desligado

Bibliografia
SIPSER, Michael Introdução à Teoria da Computação. São Paulo: Thomson
Pioneira, 2007.