在计算机系统中,软硬件都是一种形式系统,它们的结构也可以用形式化方法描述。下列关于形式系统的组成及基本特点,描述不正确的是 ()
A、形式系统的初始符号不具有任何意义
B、形式系统的形式规则规定了一种程序,借以判定哪些符号串是本系统中的公式,哪些不是
C、在形式系统中,初始符号和形式规则都要进行严格的定义,不允许出现在有限步内无法判定的公式
D、形式系统的抽象性不是形式系统的专利,抽象是人们认识客观世界的基本方法。形式系统的抽象性表现在它不仅是一个符号系统,除了表示符号间的关系(字符串的变换)外,它还含有丰富的语义