原语与程序设计语言的关系

自然语言描述算法容易产生歧义（同一句话可能有多种解读）和细致程度不一致的问题，计算机科学的解法是预先定义一组含义精确的构建块，称为原语，每个原语都有固定的语法（符号形式）和语义（确切含义）。原语集合，加上一套说明如何把原语组合成更复杂结构的规则，合在一起就构成了程序设计语言。较低层的原语可以被组合抽象成更高层的原语（如机器指令组合成一个高级语句），因此”原语”是相对的——某个语境下的原语，往深处看常常是另一层原语的组合。发散：这解释了为什么学一门新语言的核心不是记住关键字，而是理解每个原语精确的语义边界——两个语言可能用相同的单词（如 for）却在语义细节上有微妙差异，这类差异正是原语设计不统一带来的交流成本。