科研之友
微信
新浪微博
Facebook
分享链接
摘要
本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究，提出了软件图语言这一概念．本文首先提出了关于软件图语言的一组基本概念，其次研究了软件图语言的同态和同构，以构成软件图形式描述的基础；最后讨论了软件图语言的形式表示法，并提出了基于图符网的图文法，使图文法更适合于表示软件图语言．本文工作可以作为设计面向软件图语言的软件工具的基础．
- 出版日期1997
- 单位中国科学院软件研究所; 湖南大学
本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究，提出了软件图语言这一概念．本文首先提出了关于软件图语言的一组基本概念，其次研究了软件图语言的同态和同构，以构成软件图形式描述的基础；最后讨论了软件图语言的形式表示法，并提出了基于图符网的图文法，使图文法更适合于表示软件图语言．本文工作可以作为设计面向软件图语言的软件工具的基础．
