R´ ef´ erences
[1] Adleman L., « Calculer avec l’ADN », Dossier Pour la science, vol. 252, octobre 1998,
p. 56–63.
[2] Campbell, Neil A., et Jane B. Reece, traduction Richard Mathieu. Biologie, SaintLaurent(Qubec), ´
Editions du Renouveau P´ edagogique Inc., 2004, 1400 p.
[3] Church A., « An Unsolvable Problem of Elementary Number Theory », American Journal
of Mathematics, vol. 58, 1936, p. 345–363.
[4] Dehornoy, Patrick. Complexit´ e et D´ ecidabilit´ e, Paris, Springer-Verlag France, 1993, 200 p.
[5] Kari L. et G. Thierrin, « Contextual insertions/deletions and computability », Information
and Computation, vol. 131, n
o 1, 1996, p. 47–61.
[6] P˘ aun, Gheorghe, Grzegorz Rozenberg et Arto Salomaa. DNA Computing : New Computing
Paradigms, Berlin, New York, Springer, 1998, 402 p.
[7] Sipser, Michael. Introduction to the Theory of Computation, 2
e ´ edition, Boston, Course
Technology, 2006, 431 p.
[8] Sudkamp, Thomas A. Languages and Machine, An Introduction to the Theory of Computer
Science, 3
e ´ edition, Boston MA, Montreal, Addison-Wesley, 2006, 654 p.
[9] Turing A.M., « On computable Numbers with an Application to the Entscheidungsproblem », Proc. London Mathematical Society, vol. 42, 1937, p. 230–265.
[1] Adleman L., « Calculer avec l’ADN », Dossier Pour la science, vol. 252, octobre 1998,
p. 56–63.
[2] Campbell, Neil A., et Jane B. Reece, traduction Richard Mathieu. Biologie, SaintLaurent(Qubec), ´
Editions du Renouveau P´ edagogique Inc., 2004, 1400 p.
[3] Church A., « An Unsolvable Problem of Elementary Number Theory », American Journal
of Mathematics, vol. 58, 1936, p. 345–363.
[4] Dehornoy, Patrick. Complexit´ e et D´ ecidabilit´ e, Paris, Springer-Verlag France, 1993, 200 p.
[5] Kari L. et G. Thierrin, « Contextual insertions/deletions and computability », Information
and Computation, vol. 131, n
o 1, 1996, p. 47–61.
[6] P˘ aun, Gheorghe, Grzegorz Rozenberg et Arto Salomaa. DNA Computing : New Computing
Paradigms, Berlin, New York, Springer, 1998, 402 p.
[7] Sipser, Michael. Introduction to the Theory of Computation, 2
e ´ edition, Boston, Course
Technology, 2006, 431 p.
[8] Sudkamp, Thomas A. Languages and Machine, An Introduction to the Theory of Computer
Science, 3
e ´ edition, Boston MA, Montreal, Addison-Wesley, 2006, 654 p.
[9] Turing A.M., « On computable Numbers with an Application to the Entscheidungsproblem », Proc. London Mathematical Society, vol. 42, 1937, p. 230–265.