论文纲要：鉴于文法的可视化建立模型谈话刻画典型及其领会器的接洽

跟着软硬件搀杂性的减少，可视化建立模型在软硬件工程范围表现着日益要害的效率，从情势谈话观点对建立模型谈话举行接洽，可普及建立模型谈话的典型性、巩固建立模型扶助体例的可重用性。一是由于有着庄重语法设置的文规则范，可使建立模型谈话符合计划机的机动证明和领会；二是笼统井井有条的刻画体制，可使建立模型谈话的实行分隔成良式设置的模块，如图形编纂、模子设置和模子领会。然而暂时可视化建立模型谈话普遍是鉴于元模子或刻画性准则等刻画本领，扶助东西则沿用语法治导编纂形式，固然便于用户定制范围模子，然而半情势化和非情势化的刻画既倒霉于模子领会和考证，也引导软硬件开拓进程搀杂。另一上面，可视化谈话表面生存计划本能的瓶颈题目，不足对可视化建立模型谈话的有力扶助。为了革新这种情景，正文对高维文法及其语法领会举行了接洽，提出一种不妨刻画多种可视化建立模型谈话的文法体制，和领会功效高于同类功效的语法领会算法，并以多种建立模型谈话为例，对文法体制的刻画本领和领会本领的功效举行了考证。结果，鉴于该刻画体制安排了具备机动语法领会功效的扶助体例。正文的重要实质和奉献为：(1)将可视化谈话和字符串谈话举行比较，领会了可视化谈话、更加是可视化建立模型谈话的特性：图符经过贯穿式和好多式联系在二维空间按确定准则建立成构造化或非构造化图形。在比较了暂时几种典范可视化谈话刻画体制的优缺陷之后，提出了一个鉴于联系构造的可视化建立模型谈话刻画体制，以包括标记集和联系集的假名表为普通，经过贯穿联系、空间联系和论理联系在较高笼统档次上刻画模子的构成准则。而且接洽了联系文法及其语法领会中须要处置的几个要害题目：多维构造的刻画和领会、左右文关系性的扶助、图形的开始领会场所和扫描程序等的处置计划。(2) 鉴于对标记联系文法SRG(Symbol-Relation Grammar)的扩充，提出了矫正的标记联系文法ESRG(Extended Symbol-Relation Grammar)。SRG是一种通用的可视化谈话刻画体制，然而领会功效极低，不许径直运用。ESRG是一种扩充的左右文无干联系文法，经过对SRG附加干流性、连通性、重写决定性等几何牵制，普及了文法体制的语法领会功效，而且变换了爆发式准则的方法，普及文法体制的可读性，减少了左右文元素的援用，使文法体制不妨刻画搀杂构造的可视化建立模型谈话。正文经过对多种建立模型谈话范例的刻画说领会其完备较强的刻画本领。(3) 对准ESRG文法安排了二维扩充Earley领会算法。其重要特性是扶助无序领会，对输出语句和爆发式没有附加任何方法控制，而且因为可陈列一切大概的领会路途，所以能处置有歧异的文法。领会算法的扩充重要鉴于三个动身点：一是一维领会空间到二维领会空间的扩充；二是爆发式右部从自左至右的程序推导到以标记联系牵制为制导的、无序推导的扩充；三是向前察看一个标记及其联系、剪裁失效推导分支，普及了领会进程向前促成的决定性，进而灵验革新算法的领会功效。正文以各别输出范围的状况图和过程图为例，比较了ESRG文法语法领会算法和SRG文法语法领会算法的本钱，说领会ESRG文法语法领会器的高效性。(4) 安排了鉴于联系文法体制的可视化建立模型谈话扶助体例，实行了ESRG文法的通用语法领会器。用户只需经过窗口输出各别可视化建立模型谈话的ESRG文法，语法领会器就可对输出图形举行机动领会。这种通用语法领会器的安排，使得不用为每个可视化建立模型谈话编写语法领会步调，进而贬低了谈话实行的搀杂度和保护的难度。