Linguagens Formais e Autmatos

Por que Estudar Automatos?

Por que estudar Autmatos?

Constituem um modelo til para muitos elementos importantes de hardware e software.

Aplicaes
Software para projetar e verificar o comportamento de circuitos digitais;

Aplicaes
Analisador lxico de um compilador; Componente do compilador que divide o texto te to de ent ada em unidades lgicas entrada nidades (identificadores, palavras-chave e pontuao)

Aplicaes
Software para examinar grandes corpos de texto; Exemplo: encontrar ocorrncias E emplo encont a oco ncias de pala as palavras, frases ou outros padres em colees de pginas da Web

Aplicaes
Software para verificar sistemas de todos os tipos que tm um nmero finito de estados distintos; Exemplos: protocolos de comunicaes ou protocolos para troca segura de informaes

Introduo informal e exemplos de Autmatos