并行程序中的语法制导及其应用

语法制导的程序设计环境是一个包括有编辑、执行和查错等工具系统的交互式程序设计环境.在借鉴了串行程序设计环境中语法制导思想的基础上,提出了在并行C 程序中实现语法制导的思路和方法,解决了实际中遇见的一些新问题.在实际开发过程中这些方法和技术被证明是有效和可行的.     

一种基于句法语义特征的汉语句法分析器

句法分析不是简单地符号推理,而应该是一种实体推理。增加语义信息是实现句法分析实体推理的有效手段。本文所介绍的句法分析器有两个特色:一是利用基于词的兼类处理规则大大提高了句法分析的效率;二是利用词静态和动态的句法语义特征来限制句法规则过强的生成能力,取得了较好的效果。     

Syntax Definition with Graphs

Syntax definition of visual languages is required for a precise definition of a visual language; it is a requirement for the automatic creation of tools that process diagrams of the language. This paper describes a lecture together with an exercise which have been given by the author at the SegraVis Summer-School at Schloss Dagstuhl, Germany, in May 2004. The paper presents in a tutorial like way the DiaGen approach of defining visual language syntax with hypergraphs and hypergraph grammars.     

Statecharts的抽象语法分析研究

用抽象数据类型来描述Statecharts,希望隐藏语义表述上的细节,把一个图形化的语言转换为文本的方式来描述,并为Statecharts语法分析奠定基础。     

基于神经网络语法分析

文章提出了基于神经网络理论适用于LR文法的语法分析,与传统LR分析器相比,神经网络LR分析器具有较高的性能。     

e^2EPCs语法规则的形式化

事件驱动过程链EPCs(Event-diriven Process Chains)及其扩展型eEPCs(extended Event-driven Process Chains)是向流程的建模语言，在eEPCs基础上作了进一步扩展，提出了二次扩展的事件驱动过程链e^2EPCs（extended eEPCs），并针对e^2EPCs半形式化的弱点，对其语法规则进行了形式化描述。     

汉语句法树库检索系统的设计与实现

句法树库是一项重要资源,它能为汉语语言研究和信息处理提供一个有利的数据平台。汉语句法树库检索的实现用到了流操作和GD I+图形操作。汉语句法库检索系统是基于句法树库的应用系统,提供了对句法树库的检索和统计,并且能够根据树库中的合法语句画出该语句的树状结构图,进而使用户对语句的句法结构有一个形象、直观的了解。     

构件类的语法描述及构件关系的语义描述

In this paper,sameness and difference of component class and component,class and object are compared.Syntax of component class is described using BNF paradigm.After some definitions are given,semantics of component inherit and reference relationship are described.     

建筑图中参数化描述的语法分析方法

表格式建筑结构图是参数化描述的一种形态。在对这一类结构图的工程量自动统计时必须分析表格的结构与含义。该文从常见的建筑图表格入手,提出了一种有效的语法分析方法。     

An intelligent pascal editor for a graphical oriented workstation

A Pascal syntax directed screen editor, designed to run under PNX on an ICL Perq workstation is presented. The editor (Eliot) offers a structured approach to text editing and provides complete Pascal syntax checking. The exceptional graphic capabilities of the Perq are used to good effect in providing an efficient user interface by way of a hierarchy of pop-up menus. Using this interface, skeletal programs may be entered down to the assignment statement, or procedure call level without recourse to the keyboard, selections being made from menus using a graphics tablet and puck. Eliot encourages block structured programs with nested blocks by the use of a tree structured menu, representing the program structure. This allows for efficient movement around the program, again using the tablet and puck. Syntax checking is performed continually with errors reported and highlighted immediately for correction at will. For further error checking a variable scan option can be invoked which lists details of variable names which are not declared, or declared more than once, or declared and not used at all.     

基于空间句法的空间拓扑区域中心评判研究

该文以遗传算法基本原理做理论基础,结合空间句法分析中的构形的概念,并以连接值、控制值为空间重要性特征设计出符合要求的适应度函数。以此值最大值作为区域中心的评判标准。     

A browser for directed graphs

A general-purpose browser for directed graphs is described. The browser provides operations to examine and edit graphs and to generate a layout for a graph automatically that minimizes edge crossings. Two layout algorithms were implemented. A hierarchical graph layout algorithm was found to be best for directed graphs. The graph browser also has facilities that allow it to be integrated with other applications (e.g. a program browser). These facilities and our experiences building a program call-graph browser are described.     

基于隐马尔克夫模型的现代汉语句法分析

该文以小学生语文课本7万真实语料为基础,建立了一个基于隐马尔可夫模型的现代汉语完全句法分析模型。实验结果表明,该模型具有一定的创新性和高效性,其句法分析完全正确率在封闭测试中可达92.43%,在开放测试中达到65.374%。     

The design of an interactive program development system for Pascal

A program language can be defined as the language in which computer programs are written, and a programming language as the language used by the programmer to create programs. This paper presents the design of an interactive program development system which uses Pascal as both program and programming language. Principal properties of the system are a complete immediate syntax check, a program-structure oriented editor, incremental compiling techniques, and interactive interpretation and debugging of programs. The syntax check is split into three phases, and the user can change the degree of check wanted. After a change of the program only part of it is recompiled, and only necessary phases of the compiling process are performed.     

句法标注的一般模型与参数分析

句法标注是语料标注的重点、难点所在,必须以一定的句法理论为基础。短语结构语法和依存语法是句法标注的基础理论,彼此却有很大的不同。本文以形式化为目标,提出句法标注的一般模型,分析比较两种句法标注的参数异同,深刻揭示了基于短语结构语法和基于依存语法的句法标注与一般模型之间的关系,并提出阅读依存中心原则,力图解决基于依存语法的句法标注难以标注缺省结构的问题。     

一种LR语法分析中的错误恢复方法

语法分析中的错误恢复是现代编译器中智能感知功能的重要组成部分,错误恢复的效果直接影响到智能感知功能的性能。在分析LR语法分析中LR分析表特性的基础上,提出了一种对LR分析表中的Goto表项进行改造来进行语法错误的诊断和恢复的方法。该方法充分利用了LR分析表中的空闲表项,在不增加空间需求的情况下,提高了语法错误的诊断和恢复的效率和准确率。     

基于单词的C源程序生成系统

本文提出了基于单词的Ｃ语言程序自动生成思想．通过该方法，用户可自动生成一个Ｃ语言程序中的大部分内容，然后再通过必要的编辑，可得到一个完整的程序．基于上述思想，我们开发设计了ＢＷＥＤ系统，本文介绍了该系统的功能、总体结构和主要实现技术．