Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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
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
Podem ser:
Determinmisticos
No Determinsticos
Autmatos Finitos
H duas formas de representar um AF:
Diagrama de transio
Tabela de transio
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
Exemplo: L1 = {w | = {a, b} e | w | par }
Diagrama de transio
a, b
a, b
inicio
0
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
Exemplo: L1 = {w | = {a, b} e | w | par }
a
q0
q1
q1
q1
q0
q0
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
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
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