Алгоритмические и формальные системы вычислений
Нормальные алгорифмы, рекурсивные функции, сети Петри и другие формальные системы
Алгорифмы Маркова
Нормальные алгорифмы Маркова
Функции Гёделя
Рекурсивные функции Гёделя
Сети Петри
Моделирование параллельных процессов
Бильярдный компьютер
Вычисления на основе бильярдной динамики
Циклическая тег-система
Симулятор циклической тег-системы (CTS)
L-системы
Визуализатор L-систем Линденмайера