Нормальные алгорифмы, рекурсивные функции, сети Петри и другие формальные системы
Нормальные алгорифмы Маркова
Рекурсивные функции Гёделя
Моделирование параллельных процессов
Вычисления на основе бильярдной динамики