Статья
Теория вычислений для всех: автоматы, машина Тьюринга и что нельзя вычислить
Лестница абстрактных машин от конечного автомата до машины Тьюринга, иерархия языков Хомского, разница между «разрешимо» и «распознаваемо», сведения и теорема Райса — и …