实体语法系统

✍ dations ◷ 2025-04-26 12:01:20 #形式语言

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

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

相关

  • 北美地区北美地区(英语:Northern America;西班牙语:Norteamérica;法语:L'Amerique septentrionale)为地缘政治地理学的概念,指的是美洲的北部地区,以文化区分法又称盎格鲁美洲,属于北美洲大陆
  • 正书法正写法,即是文字符号形体的规范和使用规则,包括正字法和正词法。汉字正字法可依据《通用规范汉字表》、《简化字总表》、修订后的《第一批异体字整理表》、《现代汉语通用字表
  • 苯甲腈苯甲腈是具有分子式C6H5CN的芳香化合物,简写为PhCN。苯甲腈是一种无色,有甜杏仁味的液体。它可以通过苯甲酰胺脱水或者通过氰化钠和溴苯反应制备。苯甲腈是一种有用的溶剂,可以
  • 上海有机化学研究所中国科学院上海有机化学研究所(英语:Shanghai Institute of Organic Chemistry, Chinese Academy of Sciences),简称上海有机所,是中华人民共和国一家主要关注有机化学的专业研究
  • 陈芝琹陈芝琹(?-?),亦作陈芝琴,天津洋行买办,曾任天津青年会的董事,是南开大学早期捐赠者。陈芝琹曾因南开大学校长张伯苓提起南开大学尚无女生宿舍,便向南开大学捐资三万元用于建设女生宿舍
  • 隋炀帝隋炀帝杨广(569年-618年4月11日),又名英,小字阿
  • 德国新联邦州德国新联邦州(德语:die neuen Bundesländer)是指在1990年10月3日两德统一时从原东德加入联邦德国的5个州。这些新加入联邦德国的州在1952年被东德政府废除,在1990年重新建立,分
  • 食用血食用血(英语:Blood as food)存在于许多文化之中,它们通常会与肉类食物做搭配结合。食用血也常常被制成血肠,可做为酱汁的增稠剂,以及防腐的盐腌手法,亦可制成汤品。食用血的来源通
  • 王雅君王雅君(1981年4月28日-),台湾著名的词曲创作人,1999年复兴商工美工科(视觉传达组)毕业。曾参加过“中广流行之星”歌唱大赛。做过许多音乐作品,其中以张韶涵《隐形的翅膀》最为著
  • 绍鲍多什·米克洛什绍鲍多什·米克洛什(匈牙利语:Szabados Miklós,1912年3月7日-1962年2月12日),匈牙利/澳大利亚乒乓球运动员。他曾获得15枚世界乒乓球锦标赛金牌。1926: 雅各比 / 佩奇  · 1928