Informatique Théorique

• Contrôle / dessin de diagrammes de Venn:

http://www.u-aizu.ac.jp/~niki/courses/sccp/venn/index.html

• Visual Automata Simulator:

http://www.cs.usfca.edu/~jbovet/vas.html

• JFLAP: experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems.

http://www.jflap.org/

• infot_serie01.pdf
• infot_serie02.pdf
• infot_serie03.pdf
• 4
• infot_serie05.pdf
• infot_serie06.pdf
• 7
• infot_serie08.pdf
• infot_serie09.pdf
• infot_serie10.pdf
• infot_serie11.pdf