形式语言

具有精确规则的能表意的符号系统。与“自然语言”相对。是一种人工语言,它由作为构成这一语言基本单位的初始符号库以及合式公式的构成规则(即形成规则)两个部分组成。对初始符号加以解释,其中某些符号就是公理系统的初始 ......    （本文共 351 字 ）     [阅读本文] >>