Vous êtes sur la page 1sur 8

Automates et Langages Formels

Liens:

https://javacc.java.net/

http://www.antlr.org/download.html

http://zaach.github.io/jison/docs/ --> http://zaa.ch/jison/demos/calc/

http://goldparser.org/index.htm

http://www.hwaci.com/sw/lemon/

http://www2.cs.tum.edu/projects/cup/index.php

http://ssw.jku.at/Coco/

http://pegjs.majda.cz/

http://hackingoff.com/compilers/ll-1-parser-generator; http://hackingoff.com/compilers/lr-
0-parser-generator;http://hackingoff.com/compilers/slr-1-parser-generator

http://www.bottlecaps.de/rex/

http://dinosaur.compilertools.net/

http://catalog.compilertools.net/lexparse.html; http://gentle.compilertools.net/;

http://zaa.ch/jison/

http://java-source.net/open-source/parser-generators

http://jflex.de/

http://jscc.phorward-software.com/

http://irony.codeplex.com/ - .NET approach. Directly in C#


http://syntax.gforge.inria.fr/

https://pypi.python.org/pypi/grako/

http://labraj.feri.um.si/lisa/

http://accent.compilertools.net/

http://www.semanticdesigns.com/Products/DMS/DMSToolkit.html

https://www.khanacademy.org/computer-programming/game-of-life/879123336

Vous pouvez trouver plusieurs alogorithmes implementes en plusieurs langages de


programmation pour faire la compraison:

http://rosettacode.org/wiki/Rosetta_Code -> http://rosettacode.org/wiki/Category:Progra


mming_Tasks ->http://rosettacode.org/wiki/Priority_queue
ou per langage de programmation (e.g. Python)
http://rosettacode.org/wiki/Category:Programming_Languages -> http://rosettacode.org/
wiki/Category:Python

Voir aussi les langages exotiques ou


academiques: https://esolangs.org/wiki/Language_list et un bon example
esthttps://github.com/lhartikk/ArnoldC

http://hackingoff.com/compilers/ll-1-parser-generator

http://jointjs.com/demos/javascript-ast

http://www.bayfronttechnologies.com/mc_tutorial.html

http://gnosis.cx/TPiP/ [Python]

https://en.wikipedia.org/wiki/Compilers%3A_Principles,_Techniques,_and_Tools (Jedi
Masters only)

https://en.wikipedia.org/wiki/List_of_compilers

https://en.wikipedia.org/wiki/Comparison_of_assemblers
https://en.wikipedia.org/wiki/Comparison_of_parser_generators

https://en.wikipedia.org/wiki/Parsing_expression_grammar

https://en.wikipedia.org/wiki/Regular_expression

https://en.wikipedia.org/wiki/Comparison_of_regular_expression_engines

https://en.wikipedia.org/wiki/Lexical_analysis#List_of_lexer_generators

https://en.wikipedia.org/wiki/Ragel

https://en.wikipedia.org/wiki/Finite-state_machine

https://en.wikipedia.org/wiki/Compiler-compiler

https://en.wikipedia.org/wiki/Metacompiler

https://en.wikipedia.org/wiki/LR_parser

https://en.wikipedia.org/wiki/LALR_parser

https://en.wikipedia.org/wiki/LL_parser

https://en.wikipedia.org/wiki/Infix_notation

https://en.wikipedia.org/wiki/Polish_notation

https://en.wikipedia.org/wiki/Reverse_Polish_notation

https://en.wikipedia.org/wiki/Binary_expression_tree

http://www.cs.man.ac.uk/~pjj/cs212/fix.html

Turing Machine
http://morphett.info/turing/turing.html

https://www.khanacademy.org/computer-programming/turing-machine/938201372
http://www.google.com/doodles/alan-turings-100th-birthday

https://turingmachinesimulator.com/

http://www.turing.org.uk/book/update/tmjavar.html

http://www.rendell-attic.org/gol/TMapplet/

http://www.mijagourlay.com/turingmachine

https://en.wikipedia.org/wiki/Busy_beaver

http://demonstrations.wolfram.com/BusyBeaver/

https://en.wikipedia.org/wiki/Ackermann_function

https://en.wikipedia.org/wiki/Sudan_function

https://en.wikipedia.org/wiki/Turmite

https://en.wikipedia.org/wiki/Langton%27s_ant

https://en.wikipedia.org/wiki/Paterson%27s_worms

https://en.wikipedia.org/wiki/Computability_theory

https://en.wikipedia.org/wiki/Transcomputational_problem

Liens divers - a etudier


https://scratch.mit.edu/projects/editor/?tip_bar=home

http://ariya.ofilabs.com/2011/08/math-evaluator-in-javascript-part-2.html

http://tapdigit.googlecode.com/git/demo.htm

http://fatiherikli.github.io/brainfuck-visualizer/

http://fullvolume.co.uk/static/lolcode/
http://lolcode.codeschool.com/levels/1/challenges/1

http://strlen.com/false-language

http://esolangs.org/wiki/Befunge

http://www.quirkster.com/iano/js/befunge.html

http://web.archive.org/web/20150623025348/http://compsoc.dur.ac.uk/whitespace/

http://www.dangermouse.net/esoteric/ook.html

https://en.wikipedia.org/wiki/Fast-growing_hierarchy

http://www.jikesrvm.org/

http://sable.github.io/soot/

https://www.gnu.org/software/bison/

http://goldparser.org/

http://www.mactech.com/articles/mactech/Vol.16/16.07/UsingFlexandBison/index.html

https://github.com/sirthias/parboiled/wiki

https://wiki.haskell.org/Parsec

http://www.colm.net/open-source/ragel/

https://en.wikipedia.org/wiki/Spirit_Parser_Framework

https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form

http://gdk.sourceforge.net/

http://syntax.gforge.inria.fr/

http://invisible-island.net/byacc/byacc.html

http://flex.sourceforge.net/
http://nlp.stanford.edu/software/lex-parser.shtml

http://blogs.perl.org/users/jeffrey_kegler/2014/09/parsing-a-timeline.html

TD et Cours - autres Universites


http://www.discmath.ulg.ac.be/cours/main_autom.pdf

http://pageperso.lif.univ-mrs.fr/~frederic.olive/Materiel/langagesL2/cours.pdf

http://www.lsv.ens-cachan.fr/~gastin/Langages/

http://lacl.fr/dima/langages/

http://nprcovic.free.fr/transparents-IN401.pdf

http://gaati.org/bisson/tea/lfcc.pdf

http://www.lix.polytechnique.fr/~jouannaud/articles/cours-info-theo.pdf

http://www.liafa.jussieu.fr/~asarin/ENS/lf.html

http://liris.cnrs.fr/~sbrandel/wiki/lib/exe/fetch.php?media=ens:lif15:lif15-cours.pdf

http://liris.cnrs.fr/~sbrandel/wiki/lib/exe/fetch.php?media=ens:lif15:lif15-support-de-
cours.pdf

http://deptinfo.unice.fr/~julia/AL/01al.pdf

http://damien.nouvels.net/fr/enseignement (voir aussi Python)

http://planiart.usherbrooke.ca/kabanza/cours/ift313/

https://enjalbert.users.greyc.fr/cours/Langages/TD/TD1_Corrige%CC%81.pdf

http://www2.lifl.fr/~mailliet/Compil/TD/Exo2.pdf
http://pageperso.lif.univ-mrs.fr/~frederic.olive/Materiel/langagesL2/td.pdf

MIT ->
http://ocw.mit.edu/courses/mathematics/18-404j-theory-of-computation-fall-
2006/index.htm
http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-045j-
automata-computability-and-complexity-spring-2011/

http://cs.fit.edu/~dmitra/FormaLang/

Stanford ->
https://www.coursera.org/course/automata

Youtube
https://www.youtube.com/watch?v=xHVmwx0fCbI

https://www.youtube.com/watch?v=GutFwGmajHA

https://www.youtube.com/watch?v=GwsU2LPs85U

Le canal Computerphile https://www.youtube.com/user/Computerphile , en Anglais.

#bibliografie:
#http://code.tutsplus.com/tutorials/creating-a-web-app-from-scratch-using-python-
flask-and-mysql--cms-22972
#http://maximebf.com/blog/2012/10/building-websites-in-python-with-flask/#.Vx-
8enqkU_s
#https://www.quora.com/How-do-you-use-Python-to-make-websites
#http://blog.miguelgrinberg.com/post/the-flask-mega-tutorial-part-i-hello-world
#http://stackoverflow.com/questions/30899484/python-flask-calling-functions-using-
buttons
#http://hplgit.github.io/web4sciapps/doc/pub/._web4sa_flask006.html
#http://flask.pocoo.org/docs/0.10/tutorial/templates/