实体语法系统

✍ dations ◷ 2025-11-29 05:32:38 #形式语言

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

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

相关

  • 卡茨伯纳德·卡茨爵士,FRS(Sir Bernard Katz,1911年3月26日-2003年4月20日,德国出生的生物物理学家,后加入英国国籍,他以研究神经生物化学而著名。他与乌尔夫·冯·奥伊勒、朱利叶斯·
  • 己二酰肼己二酰肼(ADH)是一种用于交联水基乳液的有机物,也可以用作某些环氧树脂的固化剂。它具有对称性的C4骨架,其活性基团为酰肼基(C=ONHNH2)。它可由己二酸和肼的反应制备。其它具有不
  • 东京电力东京电力控股株式会社(日语:東京電力ホールディングス株式会社;英语译名:Tokyo Electric Power Company Holdings, Inc.),简称东京电力、东京电力HD、东电或TEPCO,是日本一家电力公
  • 鹫龙鹫龙属(属名:Buitreraptor)又名阿根廷鹫龙,是驰龙科恐龙的一属,生存于白垩纪晚期的南美洲。在2004年,阿根廷塞巴斯蒂安·阿派斯特圭、芝加哥菲尔德博物馆的彼得·马克维奇等人在阿
  • 台湾蝴蝶列表台湾有“蝴蝶王国”之称,约有 370 种蝴蝶曾在台湾被纪录;若再加上偶发种、偶发定居种和疑问种等,可将台湾的蝴蝶种类推至超过 400 种。其中,有约 50 种属于台湾特有种。与北方邻
  • 扁桃苷扁桃苷(Amygdalin,源自希腊语“扁桃”ἀμυγδάλη ),又名苦杏仁苷,是许多植物中发现的一种有毒的氰苷,但最引人注目的是存在于杏、苦杏仁、苹果、桃及梅子等植物的种子中。
  • 侏儒猛犸侏儒猛犸(英语:Pygmy Mammoth ,学名:)又叫海峡群岛猛犸(英语:Channel Islands mammoth),是一种已灭绝的矮象,哥伦比亚猛犸的后代。它是岛屿侏儒化的一个例证。根据2010年的一项研究,侏
  • 兰贾兰贾(Lanja),是印度马哈拉施特拉邦勒德纳吉里县的一个城镇。总人口12278(2001年)。该地2001年总人口12278人,其中男性6281人,女性5997人;0—6岁人口1709人,其中男852人,女857人;识字率7
  • 吡啶-2,3-二甲酸吡啶-2,3-二甲酸是一种有机化合物,化学式为C7H5NO4。它是无色晶体。是生物法合成尼古丁的前体。吡啶-2,3-二甲酸是犬尿氨酸途径(英语:kynurenine pathway)的下游产物,其代谢产物
  • 奇诺比奥奇诺比奥(日语:キノピオ,Kinopio,英语:Toad)是电子游戏系列马里奥中的虚构角色。奇诺比奥是蘑菇王国的一员,碧奇公主忠实的仆役,他和奇诺比珂是好拍档。特征是顶着红色圆点的蘑菇帽,