MAC-414

Algumas referências na rede

Existem centenas de páginas na rede sobre autômatos. A forma básica de encontrá-las é com uma página de busca (Google, etc.) e os termos automata e finite state machine.

Nem tudo aparece com essa busca, e como aparece muita coisa, é difícil saber o que vale à pena ler. Aqui vão algumas indicações.

Uma super-bibliografia, com aplicações
Finite-state automata (FSA) and directed acyclic word graphs (DAWG)
Uma discussão sobre a implementação de analizadores de expressões regulares
com código detalhado e referências a outras discussões sobre implementação.
Implementing Regular Expressions
Uma ferramenta em desenvolvimento para produzir autômatos
A graphical tool for designing finite state machines
Uma biblioteca desenvolvida no IME para gerar autômatos
Biba, a package designed to deal with representations of large automata

Algumas aplicações

Projeto de circuitos implementando autômatos
Finite State Machine Design
Ferramentas de processamento de texto
Finite state utilities
Uso em animação
Modeling Sprite Animation Using Finite State Automata
Análise do protocolo de segurança mais usado na WWW
Finite-State Analysis of SSL 3.0
Análise da semântica real do setuid em Unix
Hao Chen, David Wagner, and Drew Dean, Setuid Demystified, ps pdf

Arnaldo Mandel <am@ime.usp.br>

Última modificação: Fri Jul 17 15:15:43 BRT 2009 por am