实体语法系统

✍ dations ◷ 2025-04-04 11:04:01 #形式语言

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

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

相关

  • 锌指结构锌指(英语:Zinc finger),又称锌手指,是一种小的蛋白质结构模体,其特征在于配合一个或多个锌离子(Zn2+)以稳定折叠。最初用来描述非洲爪蟾卵母细胞转录因子IIIA假说结构的手指状外观,
  • 提乌德贝尔特一世提乌德贝尔特一世(法语:Thibert or Théodebert,500年-547或548年),从533年直到548年死亡是墨洛温王朝的奥斯特拉西亚国王。他是提乌德里克一世的儿子和图德巴得的父亲。提乌德贝
  • 远传电信坐标:25°01′33.6″N 121°32′57.5″E / 25.026000°N 121.549306°E / 25.026000; 121.549306远传电信(简称远传,英语:Far Eas Tone,缩写:FET)是台湾第三大电信运营商,由远东集团
  • 班图诸语言班图语支是非洲尼日尔-刚果语系大西洋-刚果语族中的一个语支,其中包含约600种语言,有约两亿母语者。在整个非洲中部和南部很普及,尽管在中非和南非国家中英语、法语和葡萄牙语
  • 州立大学州立大学系统是指由美国各州提供金费或资源补助的大学或学院。除军事院校外,美国没有联邦政府主办的大学。这些州立大学系统就构成了大部分的公众资助的公立大学。每个州至少
  • 胁空鸟龙胁空鸟龙属(学名:Rahonavis)又名拉鸿鸟,是种和鸟类非常相近的兽脚亚目恐龙,生存于晚白垩纪马斯特里赫特阶的马达加斯加西北部,约7000万年前到6500万年前。胁空鸟龙的正模标本是一
  • 首尔市立大学首尔市立大学(韩语:서울시립대학교/서울市立大學校),是一所位于大韩民国首都首尔东部东大门区的大学,邻近清凉里。学校校训是“真理、创造、奉仕”。现学年在籍学生数目约11,000人
  • 天喜星天喜星是紫微斗数中的桃花星,此星属阳水(壬水),主婚姻及喜庆,一喜破三煞,能化凶为吉,遇灾消灾,遇喜添喜,守于身命,主人容貌俊美,婚姻早发。若有天喜入命,为人老实耿直,易冲动而守信用,感
  • 雅虎视频雅虎View是雅虎运营的视频点播服务。它与Hulu合作播放了美国ABC,NBC和Fox网络播出的电视连续剧。 它最初叫Yahoo!视频,是视频托管服务。之后,不再允许上传视频,该网站开始作为雅
  • 数位典藏数位典藏(digital archive)系指将有保存价值之实体或非实体资料,透过数字化方式(摄影、扫描、影音拍摄、全文输入等),并加上后设资料(Metadata)的描述,以数位档案的形式储存。数位典