摘要：图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图语法的方法来表示控制流图、数据流图、控制数据流图、二分图和超图,并说明如何通过图重写来自动生成依赖图并挖掘并行性,从而协助并行编译器和并行语言的设计和实现.

摘要：对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展,图文法可以形式化描述二维空间中的对象,如图像、图形和表格等,为它们的定义、生成、变换及分析提供理论和技术上的支持。设计模式是可复用面向对象软件的基础,通常以二维图的形式来表示。为了与用户多样化的需求相适应,设计模式经常需要在不改变系统基本结构的情况下进行演化。本文讨论了图文法EGG及其形式化方法在设计模式的演化中的应用,聚焦在图变换和图解析两方面。前者用EGG格式的产生式作为图重写式来指导图的每一次变换,以确保相应设计模式演化每一步的正确性;后者用EGG文法机制来对图进行归约,以检查随意演化后的设计模式是否合法。

摘要：随着科技的不断发展,计算机技术水平的不断提高,在计算机技术快速发展的现代,人们的生活已经越来越离不开计算机。但是计算机用户使用环境的安全问题一直没有得到彻底的解决,在用户使用计算机网络时经常会受到网络病毒的侵害,这直接威胁到网络信息安全。文中主要介绍了计算机网络安全的含义,并分析了计算机网络存在威胁的原因,然后介绍了一种基于图重写技术的风险分析系统的设计与开发方法。