形式系统的定义
发布网友
发布时间：2022-04-22 06:42
共1个回答
热心网友
时间：2023-07-19 00:56
形式系统(Formal System),包含字母,字的集合及由关系组成的有限集合.
例如:集合论,布林代数,欧几里得平面几何及贝克式正规形式(Backus Normal Form;BNF)都是形式系统.
