Compilation, Grammaire, Théorie du langage, parseur, lexeur, génération de code
mots clés : compilateur de compilateur, analyse lexicale, analyse syntaxique, analyse sémantique, automate à état fini (finite state machine), machine de turing, théorie des automates, calculabilité, arbre syntaxique abstrait (abstract syntax tree AST)...
http://llvm.org/
http://www.lrde.epita.fr/~akim/thl/theorie-des-langages.pdf
LALR LL SLR
Lex/Yacc Flex/Bison Antlr
Notation BNF Backus Naur Form
http://compilertools.net
http://cui.unige.ch/db-research/Enseignement/analyseinfo/BNFweb.html
http://www.idiom.com/free-compilers/LANG/BNF-1.html
http://www-128.ibm.com/developerworks/library/l-lexyac.html
Bibliographie
Grune
Wilhem
Divers
Arbre syntaxique abstrait
http://fr.wikipedia.org/wiki/Compilateur_de_compilateur
http://sjrd.developpez.com/algorithmique/analyseurs-syntaxiques Analyseurs syntaxiques par Sébastien Doeraene
ftp://ftp-developpez.com/general/cours/PolyCompil.pdf analyse lexicale, analyse syntaxique, analyse sémantique et production de code. Par Henri Garreta
http://olance.developpez.com/articles/delphi/lexers-theorie/ Lexer Théorie par Olivier Lance
http://codeworker.free.fr CodeWorker? - A universal parsing tool & a source code generator
Editeur de grammaires
http://www.irisa.fr/master/COURS/CAPS/CoursCD/HTML/ Cours optimisation / compilation
Théorie des langages
http://www.lrde.epita.fr/~akim/thl/theorie-des-langages-2.pdf Francois Yvon et Akim Demaille