实体语法系统

✍ dations ◷ 2025-11-16 00:00:21 #形式语言

实体语法系统是针对生物复杂系统研究而提出的一种形式语法系统,用五元组(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,则就可以借助于实体语法系统的框架将本领域的研究数学化,从而推动本领域的研究向更精确、更严密的方向发展。

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

相关

  • 血液循环循环系统(英语:circulatory system),也称为心血管系统(英语:cardiovascular system)或血管系统(英语:vascular system)是负责血液循环,在细胞间传送养分(如氨基酸及电解质)、氧气、二氧化
  • 方形神殿方形神殿(法语:Maison Carrée)是位于法国南部尼姆的一座古代建筑,是保存状态最为良好的古罗马时期神殿建筑之一。方形神殿建设于公元前16年。4世纪后,这里成为基督教的教堂。182
  • 引物引物(英文:primer),又译引子,是一小段单链DNA或RNA,作为DNA复制的起始点,存在于自然中生物的DNA复制(RNA引物)和聚合酶链式反应(PCR)中人工合成的引物(通常为DNA引物)。之所以需要引物是
  • 垂帘听政垂帘听政是中国古代帝制社会下的一种统治形式。通常指皇后或太后、太皇太后临朝称制,执掌国政。由于在封建礼教制度下,女子不能直接面对臣下,因此女主在召见朝臣时,必须在座位前
  • 烯虫乙酯烯虫乙酯(英语:Hydroprene)是一种昆虫生长调节剂(英语:insect growth regulator)类的杀虫剂,常用以对抗蟑螂、甲虫和飞蛾。含有烯虫乙酯的农药包括 Gencor、Gentrol和Raid Max Ster
  • 滇东北苗语滇东北次方言是苗语川黔滇方言的一支,分布在云南省东北的昭通市、昆明市、曲靖市和楚雄彝族自治州,以及贵州省西部的威宁彝族回族苗族自治县、织金县、赫章县、六盘水市和
  • AXNAXN是索尼影业拥有的电视网,于1997年9月21日在日本Sky PerfecTV!平台启播,AXN至今已于全世界不同的地区播放。AXN 24小时播放电视剧、电影、动画、真实历险和体育节目。AXN亚
  • 嫩江嫩江(满语: Non ula),河源处又译为南瓮河或纳文慕仁(达斡尔语或蒙古语),是松花江最大支流。位于中国黑龙江省西部,部分河段为黑龙江省与内蒙古自治区边界。源出大兴安岭北麓伊勒呼里
  • 悲剧周悲剧周(加泰罗尼亚语:Setmana Tràgica,西班牙语:Semana Trágica;又译悲剧之周,悲惨一周)是1909年7月26日至8月2日发生的,以巴塞罗那为中心的加泰罗尼亚城市工人阶级在社会主义者、
  • 針狀鐵素體铁素体(α-Fe) 针状铁素体(acicular α-Fe) 奥氏体(γ-Fe) 马氏体 珠光体(88%铁素体,12%碳化三铁) 贝氏体 粒滴斑铁(珠光体及渗碳体的共晶     混合物,含碳量4.3%) 碳化三铁(Fe3C) β