实体语法系统

✍ dations ◷ 2025-02-24 07:21:16 #形式语言

实体语法系统是针对生物复杂系统研究而提出的一种形式语法系统,用五元组(VN, VT, F, P, S)表示,其中各项分别为非末端字符集、末端字符集、操作子集、规则集和初始字符。实体语法系统源于诺姆·乔姆斯基的生成语法系统,但其中增加了操作子集F。操作子集合F中的每一个元素表示字符的一种组织方式,字符采用这些组织方式所组成的新的单元称为实体。此实体既可以是具体的物体,也可以是抽象的概念。

在实体语法系统中,当不考虑或者不区分非末端字符与末端字符的时候,实体语法系统可以用四元组(V, F, P, S)表示,其中V是VN、VT的并集。

实体语法系统包含现代结构数学中的公理化方法与一般结构。公理体系由三个部分构成:基本概念(基本对象及基本关系)、公理组、定理及证明。基本概念和公理组构成的公理系统是公理体系的基础部分。公理体系的这种构成则恰好能够由实体语法系统的基本部分反映出来。在实体语法系统 中,V对应公理体系中的基本对象,F对应公理体系中的基本关系,两者合起来为公理体系的基本概念。P则对应公理组,是公理体系中能够用于演绎的基本规则。S对应于利用公理体系进行推导和证明时的初始状态,它可以是作为出发点的基本公理,也可以是作为出发点的基本概念,或者是由基本概念衍生出的具体对象。利用规则P从S开始的推导或证明过程则对应于公理体系中的证明和演绎过程,而所得到的结果,则对应于经过证明的定理。由此可见,实体语法系统体现了数学公理化方法的基本特征。除此之外,实体语法系统还包含了具有一般意义的数学结构。在结构数学中,给集合M赋予了结构S,则形成具有一般意义的数学结构(M, S)。结构数学就是研究这些抽象数学结构的科学。在实体语法系统中,V则是一个基本集合,而F则是赋予V的结构,它用来表示集合V中各元素之间的关系。二元组(V, F)则是具有一般意义的数学结构。实体语法系统则是建立在数学结构(V, F)上的带有公理和定理的数学体系。一套具体化了的实体语法,从本质上讲就是一种数学体系。实体语法系统和结构数学的这一关系,为建立新的数学体系提供了基本的框架。

利用实体语法系统建立新的数学体系,需要如下基本步骤:首先确定V,即此数学体系中的基本对象;第二给出由这些基本对象所组成的基本结构以及这些基本结构之间的相互作用关系,即确定F;第三确定规则P,即数学体系的公理系统。这三部分确定后,一个基本的数学体系已经建立,接下来的工作则是研究这一数学体系的演绎能力,并由此不断发展数学定理。对于某一个领域内的具体研究来说,如果能够在原来研究的基础上,确定正确合理的V, F, P,则就可以借助于实体语法系统的框架将本领域的研究数学化,从而推动本领域的研究向更精确、更严密的方向发展。

从更广泛的角度来讲,实体语法系统为科学理论的建立提供了一种新的思维方式,此思维方式认为,一个领域的科学理论应该能够:

相关

  • 高压釜高压釜(英语:Autoclave,亦称为高壓滅菌釜、高压灭菌器、加压釜或加压灭菌器)是用水蒸汽的高温高压对物品进行灭菌处理的装备。通常的处理条件是在高压饱和蒸汽121摄氏度下处理15
  • 差示扫描量热计差示扫描量热法(英语:Differential scanning calorimetry,简称DSC)是一种热分析技术,借助补偿器测量使样品与参比物达到同样温度所需的加热速率与温度的关系。1962年E.S.沃森和M.
  • 塔特诺尔县塔特纳尔县(Tattnall County, Georgia)是美国乔治亚州东部的一个县。面积1,264平方公里。根据美国2000年人口普查,共有人口22,305人。县治里兹维尔 (Reidsville)。成立于1801年
  • 继父继亲是亲属的一种,是指生父与生母离异或父母其中一方逝世后,子女跟随其中一方。再婚配偶和孩子之间的关系,以及孩子和再婚配偶自身儿女之间的关系。其再婚配偶对于孩子就是继父
  • 原爱国妇人会馆原爱国妇人会馆为台湾高雄市市定古迹,位于鼓山区哈玛星。原爱国妇人会馆起源于1905年日本人在台北创立“爱国妇人会台湾支部”,当时会员无论是日本人或是台湾人妇女,入会的人数
  • 感光神经节细胞内在光敏视网膜神经节细胞(英语:Intrinsically photosensitive retinal ganglion cells,缩写“ipRGCs”),也称作光敏视网膜神经节细胞(缩写“pRGC”)或黑视蛋白视网膜神经节细胞(英
  • 维多利亚艺术中心维多利亚艺术中心(英语:The Arts Centre )是一系列位于澳洲墨尔本的艺术展览及演艺场馆,由信托所经营管理。艺术中心始建于1973年,于1982年完工,1984年正式对外开放。其场所范围包
  • 汤马斯·培恩托马斯·潘恩(Thomas Paine;1737年2月9日-1809年6月8日),英裔美国思想家、作家、政治活动家、理论家、革命家、激进民主主义者。生于英国诺福克郡,曾继承父业做过裁缝,后来做过教师
  • 埃尔南·科尔特斯埃尔南·科尔特斯(西班牙语:Hernán Cortés;1485年-1547年12月2日)是殖民时代活跃在中南美洲的西班牙殖民者(Conquistador,意为“征服者”),以摧毁阿兹特克古文明、并在墨西哥建立西
  • 广东海洋大学寸金学院}} 中国广东省湛江市麻章区学智路2号(麻章校区)广东海洋大学寸金学院,简称海大寸金,是一所位于广东省湛江市的,由广东海洋大学与湛江寸金教育集团共同举办的独立学院。学院成立