К теории ассоциативных вычислений

Когда говорят о компьютерах и "компьютерных науках", неявно подразумевается, что речь идёт о вычислителях и вычислениях. Но в нашей практике, в русскоязычной школе программирования, самой теории вычислений или теории компьютеров нет. Говорят о теории автоматов, теории алгоритмов, дискретнной математике, системотехнике, рекурсивных функциях, теории сложности (!) вычислений, лямбда-исчислении, кибернетике, информатике, генеративнной грамматике ... и ещё много каких обозначений и представлений в связи с вычислениями можно привести для демонстрации. "Знаменем" выбрана "теоретическая иформатика", хотя в "англоязычном мире" развивается практика Theory of computation и та же Computational complexity theory (Computability theory), где не смотря на терминологические традиции "Структур данных и алгоритмов", упор, все равно, делается на последнюю концепцию. Конечно, все эти подходы и модели можно интегрировать, и, наконец, явно обозначить, но тогда необходимо выделит базовые, фундаментальные модели и их сравнения, рассмотреть ту же проблему ассоциативных вычислений, подстановок и переписывания "структур" как в нормальных алгоритмах Маркова. Опять же акцентировать внимание на "штрихи и стрелки" комбинаторной логики ... и так далее. Ну что? Это программная идея. Календарь можно делать, в этом ключем. Проанализировать книгу Тома Стюарта. Учесть ретроспективный аспект (Кнута и Вирта ...). С точки зрения моделей автореферентных или ассоциативных структур.