实体语法系统

✍ dations ◷ 2024-09-20 19:41:26 #形式语言

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

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

相关

  • GABAsubA/subRGABAA受体(又称作γ-氨基丁酸A型受体)是一种离子型受体,而且是一类配体门控型离子通道。此通道的内源性配体是一种被称为GABA的神经递质。GABA是中枢神经系统里的一种主要的递
  • 陶德·希尔顿陶德·林恩·希尔顿(Todd Lynn Helton,1973年8月20日-)出生于田纳西州,诺克斯维尔,曾是美国职业棒球大联盟的一垒手。自1997年加盟至今。他以准确的判断力见称,拥有高上垒率。1999
  • 太平洋电脑网太平洋电脑网(PConline)是中国大陆的一家IT资讯门户网站。太平洋电脑网成立于1999年,是国内首家以专业电脑市场联盟为基础的大型IT资讯网站,与太平洋汽车网和太平洋游戏网等网站
  • 染整工业染整工业是纺织工业中的一个重要的组成部分,在国民经济建设中占有重要地位。纤维材料经过纺纱,织造生产出坯纱,坯布(原布),然后都要经过染整加工才能使用。染整加工主要是通过化学
  • 选举法选举法是为了选举所制定的法律,各国的选举制度并不同。选举法包括:
  • 一氧化碳脱氢酶一氧化碳脱氢酶(英语:carbon monoxide dehydrogenase,缩写为CODH)是一种存在于许多需氧和厌氧微生物中的一类脱氢酶,其催化的是一氧化碳(CO)氧化为二氧化碳(CO2)的反应或其逆反应,在这
  • 加查拉战线加查拉战役是第二次世界大战北非战场中一次极其重要之战役,战事从1942年5月26日至6月21日,主要发生在利比亚托布鲁克附近。随着1941年底十字军行动(英语:Operation Crusader)的成
  • 威尔乌威尔乌公司(Valve Corporation,原名:Valve Software)是一间位于华盛顿州专门开发电子游戏的公司。它的第一个产品《半条命》在1998年11月发布。2004年Valve发布了使用自行研发的
  • 氯化铥氯化铥,又称三氯化铥,是一种无机化合物,化学式为TmCl3,它可以形成黄色晶体。氯化铥有YCl3(AlCl3)的层状结构,铥为八面体的。氯化铥的水合物可以通过氧化铥和浓盐酸反应得到。
  • A'N'DA'N'D(全名:Angel 'N' Devil),意为“天使与恶魔任你选择”,是可米国际影视旗下的台湾女子团体,粉丝名为“小天使”或“小恶魔”,现团体由宇宙、锺羽、雨婷、Lucia 、Sunnee、艾莉儿