论文部分内容阅读
针对嵌入可计算函数的C模型语法中没有Summation操作符，定义了PrimeProcess概念，并给出进程范式化过程以及有限公理系统，研究在扩展C模型后的绝对表达能力．结果表明，在引入Localization和多元操作符后，该模型可以方便地定义出Prefix、Replication和Choice操作符．