标签：形成规则：上述符号组成的有限符号串中，构成表达式的为一个公式，否则不是