Autmatos Finitos

Profa Jerusa Marchi

Departamento de Informtica e Estatstica
Universidade Federal de Santa Catarina
e-mail: jerusa@inf.ufsc.br

Autmatos Finitos p. 1/1

Autmatos Finitos
Aplicaes:
Lmpada
Implementao de sistemas de controle simples baseados em
estados (mquinas de refrigerante, jornais, salgadinhos,
chocolates e elevadores).
porta automtica
Anlise lxica (compiladores)
Busca em texto

Autmatos Finitos p. 2/1

Autmatos Finitos
Dispositivo simples
fita de entrada
cabeote de leitura
unidade central de processamento (estados)
memria limitada - conceito de estado
a

Fita de
entrada

Cabeote de leitura

Controle
finito

q0
q5

q1
q2

q4
q3

Autmatos Finitos p. 3/1

Autmatos Finitos
H dois tipos de mquinas de estados finitos:
transdutores de linguagens - com entrada e sada
reconhecedores de linguagens - com duas sadas possveis
aceitao
rejeio

Autmatos Finitos p. 4/1

Autmatos Finitos
Podem ser:
Determinmisticos
No Determinsticos

Autmatos Finitos p. 5/1

Autmatos Finitos Determinsticos

Um autmato finito (AFD) um quntupla:
M = (K, , , s, F )
Onde:
K = conjunto finito de estados
= conjunto finito de smbolos de entrada
: K K = funo de transio
s = estado inicial (s K)
F = conjunto de estados finais (F K)

Autmatos Finitos p. 6/1

Autmatos Finitos Determinsticos

O autmato dito determinstico pois pela definio da funo de
transio , cada par (estado, smbolo) mapeia para exatamente um
estado.
q, p K e a
(q, a) = p

Autmatos Finitos p. 7/1

Autmatos Finitos No Determinsticos

Um autmato finito no determinstico (AFN) um quntupla:
M = (K, , , s, F )
Onde:
K = conjunto finito de estados
= conjunto finito de smbolos de entrada
: K ( {}) K = funo de transio
s = estado inicial (s K)
F = conjunto de estados finais (F K)

Autmatos Finitos p. 8/1

Autmatos Finitos No Determinsticos

O autmato dito no determinstico se h pelo menos uma
transio , para um par (estado, smbolo) que mapeia para um
subconjunto de estados.
q, p, r K e a
(q, a) = {p, r}

Autmatos Finitos p. 9/1

Autmatos Finitos
H duas formas de representar um AF:
Diagrama de transio
Tabela de transio

Autmatos Finitos p. 10/1

Autmatos Finitos
Diagrama de Transio:
um grafo direcionado e rotulado
os vrtices representam os estados (crculos)
o estado inicial diferenciado por uma seta
os estados finais so representados por crculos duplos
as arestas representam as transies (p, a) q

Autmatos Finitos p. 11/1

Autmatos Finitos
Exemplo: L1 = {w | = {a, b} e | w | par }
Diagrama de transio
a, b
a, b

inicio
0

Autmatos Finitos p. 12/1

Autmatos Finitos
Tabela de Transio
forma tabular de representar um AF onde a primeira coluna lista
os estados e a primeira linha, os smbolos do alfabeto. O
contedo da posio (q, a) ser p se existir uma transio
(q, a) p.

Autmatos Finitos p. 13/1

Autmatos Finitos
Exemplo: L1 = {w | = {a, b} e | w | par }
a

q0

q1

q1

q1

q0

q0

Autmatos Finitos p. 14/1

Autmatos Finitos
Configurao:
uma configurao determinada pelo estado corrente e pela
parte ainda no processada da palavra
[q0 , abab]
que representa a configurao inicial para a palavra w = abab

Autmatos Finitos p. 15/1

Autmatos Finitos
Computao:
uma sequncia de configuraes
usa-se a relao (resulta em) para indicar que a mquina
passa de uma configurao outra. Diz-se que:
[q1 , w] [q2 , y]
se e somente se existe uma transio de q1 para q2 sob a, onde
a e w = ay
Exemplo:
[q0 , abab] [q1 , bab] [q0 , ab] [q1 , b] [q0 , ]

Autmatos Finitos p. 16/1

Autmatos Finitos
Uma sentena w aceita por um autmato finito M = (K, , , q0 , F )
b 0 , w) q e q F , ou seja, h uma computao
sse (q
[q0 , w] M [q, ]
A linguagem reconhecida por um autmato M aquela cujo
conjunto de sentenas aceito por M
b 0 , w) q e q F }
L(M ) = {w | (q
Dois autmatos finitos M1 e M2 so ditos equivalentes sse
L(M1 ) = L(M2 )
Uma linguagem regular sse ela for aceita por um autmato finito

Autmatos Finitos p. 17/1