Продовжуючи тему теорії автоматів потрібно обов'язково згадати про Машину Тюринга - абстрактну обчислювальну машину, що є розширенням поняття кінцевого автомата і здатна імітувати будь-який алгоритм:

http://progbase.herokuapp.com/posts/19/mashina-tyuringa

Також на сайті Progbase ви можете спробувати емулятор Машини Тюринга із редактором коду програми переходів і інтерактивною візуалізацією діаграми станів програми та роботи машини:

https://progbase.herokuapp.com/apps/turing

Відео, у якому пояснюється, що таке повнота за Тюрингом (Turing Complete):

https://www.youtube.com/watch?v=RPQD7-AOjMI

Тест Тюринга та Гра в Імітацію - уривок із книги Алана Тюринга "Computing machinery and intelligence. Mind" (1950):

http://www.loebner.net/Prizef/TuringArticle.html