Aut Mato Finito Determin Stico

FACULDADE ANHANGUERA DE JUNDIAÍ
CURSO DE CIÊNCIA DA COMPUTAÇÃO
LINGUAGENS FORMAIS E AUTÔMATOS

AUTÔMATOS FINITOS DETERMINÍSTICOS:
MÁQUINA DE VENDAS

DIEGO DE JESUS PIMENTEL - RA: 5213951067
ÉDER FABIANO DA ROSA - RA: 4200053632
FILIPE CAETANO DA SILVA - RA: 4486880251
JONATHAN FURKIM DA SILVA SOUZA - RA: 4200076018

JUNDIAÍ
2015
LISTA DE FIGURAS

Figura 1 - Representação de estados de um AFD (Wikimedia Commons, 2007)...................................5
Figura 2 - Máquina de vendas.................................................................................................................9

SUMÁRIO

1. INTRODUÇÃO.........................................................................................................4
2. AFD..........................................................................................................................5
3. DEFINIÇÃO FORMAL.............................................................................................7
4. VANTAGENS E DEVANTAGENS...........................................................................8
5. EXEMPLO PRÁTICO...............................................................................................9
6. CONSIDERAÇÕES FINAIS...................................................................................12
REFERÊNCIAS..........................................................................................................13

1. INTRODUÇÃO

Na Teoria dos autômatos, um autômato finito determinístico, é uma Máquina de estados finita que aceita ou rejeita cadeias de símbolos gerando um único ramo de computação para cada cadeia de entrada. A expressão 'Determinística' refere-se à unicidade do processamento. O primeiro conceito similar ao de autômatos finitos foi apresentado por McCulloch e Pitts em 1943. Modelo esse que foi produzido na busca por estruturas mais simples para a reprodução de máquinas de estado finitas.
O presente trabalho busca,