C++ симуляторы машин Тьюринга и Поста:
https://sourceforge.net/projects/turing-machine/
Сайт содержит:
* C++ симулятор многоленточной детерминированной/недетерминированной машины Тьюринга (с примерами);
* C++ симулятор многоленточной детерминированной/недетерминированной машины Поста (с примерами);
* C++ симулятор универсальной машины Тьюринга (с примерами);
* Описание и C++ симулятор машины Тьюринга со сбоями, отказами и восстановлением (с примерами).