摘要: 本文中给出程序语言在古典逻辑和时态逻辑中的形式定义,并使这种定义保持语言的结构。这样就揭示了程序语言和逻辑语言的关系:程序语言是一种有限制的逻辑语言。它只允许使用计算机易于编译和执行的算子——变元代入、谓词代入、条件算子和μ算子。