HOCL公司

化学程序设计的广义多集Gamma是一种程序模型,其中计算可以看作是数据之间的化学反应,这些数据表示为漂浮在化学溶液中的分子。这个模型可以被形式化为多集的结合、交换、条件重写,其中重写规则和多集分别表示化学反应和溶液。在本文中,我们概括了Gamma所使用的multiset的概念,并通过各种编程实例介绍了它的应用。首先,多集被泛化为包括重写规则,这些规则成为了一类公民。这个扩展是由$gamma$-演算形式化的,它是一个化学模型,用一些规则概括了高阶化学规划的本质。通过使用常量、运算符、类型和表示模式扩展$gamma$-演算,我们构建了一种称为HOCL的高阶化学编程语言。最后,通过允许元素具有无穷多重性和负重数,进一步推广了多集。讨论了该扩展的语义、实现和应用。