编程复杂系统

经典编程语言无法建模复杂系统的基本要素，例如真随机数生成。本文发展了一种称为 lambda-q 演算的形式化编程语言，其处理了复杂系统的基本属性。该形式语言允许表达量子化算法，其为随机化算法的推广，即概率可为负、事件可相消。量子化算法能力的一个例证是能够高效求解可满足性问题，许多人认为这超出了经典计算机的能力。本文证明 lambda-q 演算不仅能求解可满足性，还能模拟诸如量子计算机之类的复杂系统。由于可满足性被认为超出量子计算机的能力，lambda-q 演算可能严格更强。