《语法的效率与复杂性》述评

霍金斯的<语法的效率与复杂性>是一部里程碑似的著作,论述了语言运用对语法的结构特点具有重大影响,对研究语言能力与语言运用的关系建立了新的标准,为形式与功能两种研究传统架起了一座桥梁.     

一种从WEB上抽取信息的方法

由于WWW上的信息很多存储在HTML页面上 ,因此如何从HTML文档中抽取有用信息是一个迫切需要解决的问题。文中提出一种从HTML文档中抽取信息的方法。该方法综合运用关联规则法、模式匹配、语法规则、聚类法等技术来抽取信息 ,从而较好地解决了现有的抽取方法准确性较差、通用性较差、人工干预较多的问题。     

Towards automated software model checking using graph transformation systems and Bogor

Graph transformation systems have become a general formal modeling language to describe many models in software development process. Behavioral modeling of dynamic systems and model-to-model transformations are only a few examples in which graphs have been used to software development. But even the perfect graph transformation system must be equipped with automated analysis capabilities to let users understand whether such a formal specification fulfills their requirements. In this paper, we present a new solution to verify graph transformation systems using the Bogor model checker. The attributed graph grammars （AGG）-like graph transformation systems are translated to Bandera intermediate representation （BIR）, the input language of Bogor, and Bogor verifies the model against some interesting properties defined by combining linear temporal logic （LTL） and special-purpose graph rules. Experimental results are encouraging, showing that in most cases our solution improves existing approaches in terms of both performance and expressiveness.