Эмуляторы-интерпретаторы алгоритмов для абстрактных машин. Позволяют выполнять и интерактивно отлаживать такие программы на ПК. Реализованы: Машина Тьюринга, Нормальные алгоритмы Маркова, Конечные и Магазинные автоматы, Операторные и Предикатные алгоритмы (над числами и стрингами). Интерфейс украинский. Доступны исходные тексты на языке Паскаль. |