内存元素是用于各种基本和派生数据类型的RAM的片段,并带有相应的内存地址。so,例如,对于C或Pascal等语言,M的基本元素是用于整数,真实和角色类型对象的可寻址内存区域,从中合成了更复杂的派生结构,它们也具有相应存储区域的单个起始地址。k是编程语言中常数的代数系统。该系统将其严格连接到M系统,并对应于算法语言的PM数据模型的应用组件。任何算法语言的句法构造包含一些用于组织程序的算法方案的控制构造,以及用于记录语言基本键入对象的构造。分别使用了在程序机中研究这些结构,分别使用代数系统F和A。对于通用编程语言,系统F包括句法结构,例如if-else,do-do-while,case等。