Надо подумать над алгоритмом превращения низкоуровневых понятий/действий/моделей в термины/конструкции/модели высокоуровневого языка.
Обычно мы неформальные высокоуровневые описания стремимся сделать конструктивными.
Подумать над превращением графа компьютерных программ в машинных кодах в высокоуровневые описания.
ps. универсализация семантики и языка
https://deep-econom.livejournal.com/814135.html
