Кажется, это вопрос компьютерных наук о том, что данные и вычисления (или данные и процесс , как бы вы это ни называли) являются в некотором неопределенном смысле двойниками друг друга: данные генерируются вычисление, но также и руководство для будущих вычислений, и поэтому они являются, смутно, двумя сторонами одной медали. Эта двойственность более очевидна в таких языках программирования, как Лисп, которые целенаправленно стирают грань между ними.
Мне интересно, изучалось ли это понятие дуальности в теории сложности в строгой обстановке. Например, существуют ли вычислительные модели, в которых эта двойственность возникает естественным образом из какой-то более глубокой дуальности, присущей модели? Например, - и это бесполезное мышление, граничащее с бессмысленным - если, скажем, мы приравняли data к состояниям DFA и process с функцией перехода DFA, а затем Графический дуал DFA даст другой DFA, связанный с оригиналом каким-то осмысленным образом, затем двойственность данных / вычислений естественным образом возникнет из базовой модели.
Такого рода вещи , Любые указатели для исследования в этой области (или даже просто ключевые слова) приветствуются.