Изменения

* Alan Turing. On computable numbers, with an application to the Entscheidungsproblem [http://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf (ссылка)On computable numbers, with an application to the Entscheidungsproblem]* F. C. Hennie and , R. E. Stearns. Two-tape simulation of multitape Turing machines [http://www.ccs.neu.edu/home/viola/classes/papers/HennieStearns66.pdf (ссылка)Two-tape simulation of multitape Turing machines]* Sanjeev Arora and , Boaz Barak. Computational Complexity: A Modern Approach, Chapter 1 [http://www.cs.princeton.edu/theory/index.php/Compbook/Draft (ссылка)Computational Complexity: A Modern Approach]* Turlough Neary, Damien Woods. [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.8958 Four Small Universal Turing Machines]* [http://www.jflap.org/ JFLAP]— ПО для изучения формальных языков, включает в себя эмулятор одноленточных и многоленточных машин Тьюринга с визуальным редактором.