autômato finito

AutomatoFinito

CarlosCampani

Introducao

Definicao deAutomatoFinito

RepresentacaodosAutomatos

Relacao entreGramaticaRegular eAutomatoFinito

Conclusao

Automato Finito

Carlos Campani

23 de abril de 2006

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Sumario

1 Introducao

2 Definicao de Automato Finito

3 Representacao dos Automatos

4 Relacao entre Gramatica Regular e Automato Finito

5 Conclusao

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Sumario

1 Introducao

5 Conclusao

AutomatoFinito

CarlosCampani

Introducao

Conclusao

O que e o automato finito?

Modelo formal de sistema;

Sistema de estados finitos;

Modelo matematico com entradas e saıdas discretas;Pode assumir um numero finito de estados.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Modelo matematico com entradas e saıdas discretas;

Pode assumir um numero finito de estados.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Para que serve?

Reconhecedor das linguagens regulares;

Modelo computacional simples;

Analisador lexico de compiladores.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Para que serve?

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Para que serve?

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Quais as partes de um automato finito?

Fita de Entrada

Dispositivo de entrada que contem a informacao a serprocessada.

Unidade de Controle

Reflete o estado da maquina. Possui uma unidade de leitura(cabecote da fita) que acessa a fita de entrada.

Programa ou Funcao de Transicao

Funcao que controla a leitura da fita e as transicoes de estados.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Fita de Entrada

Unidade de Controle

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Fita de Entrada

Unidade de Controle

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Sumario

1 Introducao

5 Conclusao

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Definicao Formal

Definicao

Um automato finito M sobre um alfabeto Σ e um sistema(K ,Σ, δ, q0,F ) onde:K – conjunto finito, nao vazio, de estados;Σ – alfabeto finito de entrada;δ – funcao de transicao de estados, δ : K × Σ

⋃{ε} → K ;

q0 ∈ K – estado inicial;F ⊂ K – conjunto de estados finais.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Definicao Formal

Definicao

⋃{ε} → K ;

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Definicao Formal

Definicao

⋃{ε} → K ;

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Definicao Formal

Definicao

⋃{ε} → K ;

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Definicao Formal

Definicao

⋃{ε} → K ;

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Definicao Formal

Definicao

⋃{ε} → K ;

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Sumario

1 Introducao

5 Conclusao

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Diagrama de Transicao

Permite representar graficamente os automatos;

Simplifica a representacao e facilita a visualizacao.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Permite representar graficamente os automatos;

Simplifica a representacao e facilita a visualizacao.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

GFED@ABCq1a //

|| ��

GFED@ABCq2

%%estado anterior transicao estado apos transicao

1 O automato esta inicialmente no estado q1;

2 “a” esta na fita de entrada;

3 O automato muda de estado para o estado q2.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

GFED@ABCq1a //

|| ��

GFED@ABCq2

AutomatoFinito

CarlosCampani

Introducao

Conclusao

GFED@ABCq1a //

|| ��

GFED@ABCq2

AutomatoFinito

CarlosCampani

Introducao

Conclusao

GFED@ABCq1a //

|| ��

GFED@ABCq2

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Exemplo de Reconhecimento

Reconhecimento inicia noestado q1

Transicao para estado q2

Le 0 e fica no estado q2

Transicao para o estadofinal q3

GFED@ABCq1

��1 //

0��

GFED@ABC?>=<89:;q3

GFED@ABCq2

>>}}}}}}}}}

AutomatoFinito

CarlosCampani

Introducao

Conclusao

GFED@ABCq1

��1 //

0��

GFED@ABC?>=<89:;q3

GFED@ABCq2

>>}}}}}}}}}

AutomatoFinito

CarlosCampani

Introducao

Conclusao

GFED@ABCq1

��1 //

0��

GFED@ABC?>=<89:;q3

GFED@ABCq2

>>}}}}}}}}}

AutomatoFinito

CarlosCampani

Introducao

Conclusao

GFED@ABCq1

��1 //

0��

GFED@ABC?>=<89:;q3

GFED@ABCq2

>>}}}}}}}}}

AutomatoFinito

CarlosCampani

Introducao

Conclusao

GFED@ABCq1

��1 //

0��

GFED@ABC?>=<89:;q3

GFED@ABCq2

>>}}}}}}}}}

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Sumario

1 Introducao

5 Conclusao

AutomatoFinito

CarlosCampani

Introducao

Conclusao

AF ↔ GR

GR → AF

Se L e uma linguagem regular entao existe um AF quereconhece L.

AF → GR

Se L e reconhecida por um AF entao existe uma GR que gera L.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Sumario

1 Introducao

5 Conclusao

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Automato finito e um modelo matematico importante emciencia da computacao;

Aplica-se no projeto de analisador lexico em compiladores.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Automato finito e um modelo matematico importante emciencia da computacao;

Aplica-se no projeto de analisador lexico em compiladores.

AutomatoFinito

CarlosCampani

Introducao

Conclusao

Para saber mais

Paulo Blauth Menezes.Linguagens Formais e Automatos.Sagra-Luzzatto, Porto Alegre, 1997.168 p.

autômato finito

Technology