实体语法系统

✍ dations ◷ 2025-11-26 06:05:29 #形式语言

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

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

相关

  • 生态栖位生态位(Ecological niche),又称小生境、生态区位、生态栖位或是生态龛位,生态位是一个物种所处的环境以及其本身生活习性的总称。每个物种都有自己独特的生态位,借以跟其他物种作
  • 皮洛士皮洛士(希腊语:Πύρρος;拉丁语:Pyrrhus;前319年或前318年-前272年),摩罗西亚国王,出身埃阿喀得斯家族,也是希腊伊庇鲁斯联盟统帅(前306年–前302年, 前297–272年),后来成为叙拉古国
  • 标准温度和压力标准状况(英语:standard temperature and pressure, STP,标准温度与标准压力),简称“标况”。由于地表各处的温度、压强皆不同,即使是同一地点的温度压强也随测量时间不同而相异,因
  • 月球探测任务列表本表尽量彻底地记录世界各国的航太工程中,有史以来以探测月球为目的而发射出的探测器的简略概况。台湾国家中山科学研究院与国家太空中心
  • 多硫化物多硫化物是指含有硫硫键的化合物,主要可以分为二种:多硫化物盐及有机多硫化物。多硫化物阴离子通式为Sn2−,是多硫化氢H2Sn的共轭碱。像别名硫钡粉的多硫化钡即为多硫化物盐。
  • 联邦情报局德国联邦情报局(德语:Bundesnachrichtendienst)是德意志联邦共和国的情报机关之一,负责政治与经济情报的收集、并进行分析与评价。2017年2月24日,《明镜周刊》报导,联邦情报局自19
  • 2012年夏季奥林匹克运动会划船女子单人双桨比赛2012年夏季奥林匹克运动会划船比赛的女子单人双桨项目于2012年7月28日至8月4日在多尼湖举行。所有时间为英国夏令时间 (UTC+1)
  • 埃皮塔西奥·达席尔瓦·佩索阿埃皮塔西奥·林道尔夫·达席尔瓦·佩索阿(Epitácio Lindolfo da Silva Pessoa,1865年5月23日-1942年2月13日),巴西政治家,1919年他曾代表巴西签定凡尔赛条约,并仍在凡尔赛时当选巴
  • 时代华语北京时代华语图书股份有限公司(简称时代华语)是一家中国大陆的图书发行公司,成立于2008年2月。2010年4月25日,该公司与日本讲谈社签署长期战略合作协议,将大批引进讲谈社旗下作品
  • 曹邦辅曹邦辅(1507年-1576年),字子忠,号东村,山东兖州府曹州定陶县人,明朝政治人物。嘉靖十一年(1532年)壬辰科进士,历任元城县知县、南和县知县,升任监察御史,巡视河东盐政。后担任云南道监察