Teoria das Linguagens e dos autómatos

     Manuais
Manual Lex
Manual Yacc
Manual JFLAP
EBNF - Extended Backus-Naur Form

     Tutorial
GrafCet
GrafCet - FEUP
Acetatos 1_IST
Acetatos 2_IST
Acetatos 3_IST
Acetatos do IPB
Acetatos da Univ. Évora
Universidade Nova de Lisboa

     Ferramentas
JFLAP (Java Formal Languages and Automata Package) (instalar Java primeiro)
Simulador de PLC
Simulador de PLC- (The Learning Pit) Animado
Deus ex Machina - Simulador de autómatos

     Exercícios
Exercícios
Exercícios Expressões Regulares e Gramática          

     Referências
Alan Turing
JFLAP (Java Formal Languages and Automata Package)
JFLAP - Visual and interactive tools
Java
Exemplo de uso do Lex e Yacc (Bison)
GgrafCet
Fonte de procura
PLC's - Programmable Logic Controllers
Automação Industrial
Para procurar
Teoria da Computação

          Para Linux
Onde encontrar o Bison

          Para Dos
Yacc e PG

     Bibliografia
José Novais - Programação de Autómatos. Método Grafcet. Fundação Calouste Gulbenkian.
Paulo Fernando Blauth Menezes - Linguagens Formais e Autômatos. Editora Sagra Luzzato, Porto Alegre, 4^a ed., 2001.
 Harry R. Lewis & Christos H. Papadimitriou - Elementos de Teoria da Computação. Porto Alegre, Bookman, 2^a ed., 2000.
John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman - Introduction to automata theory, language and computation Reading, MA, Addison-Wesley, 2nd edition, 2001. Alternativamente: John E. Hopcroft & Jeffrey D. Ullman. Introduction to automata theory, language and computation. Reading, MA, Addison-Wesley, 1979.
 Robert Floyd & Richard Beigel - The Language of Machines. Computer Science Press, New York, 1994.
 David Harel - Algorithmics: The spirit of computing. 2nd. ed., Addison-Wesley, Reading, MA, 1992.
Melanie Mitchell-"Computation in Cellular Automata: A Selected Review". In: H.G. Schuster and T.Gramms, editors. Nonstandard Computation. VCH Verlagsgesellschaft, Weinheim, Germany, 1996.
Stephan Wolfram - A New Kind of Science. Wolfram Media, 2002.
Frank D. Petruzella - Programmable Logic Controllers, McGraw-Hill
Morriss, S. Brian - "Programmable Logic Controllers", Prentice-Hall
Phil Melore - A Guide To Understanding PLCs
Max Rabiee - Programmable Logic Controllers
Jon Stenerson - Fundamentals of Programmable Logic Controllers, Sensors, and Communications,
Peter Linz - An Introduction to Formal Languages and Automata - Jones and Bartlett
António Francisco - Autómatos Programáveis - http://automatos.planetaclix.pt/index.htm