typed algebraic graph grammars 类型化的代数图语法
In addition to an intuitive appearance, graph grammars provide a well-established foundation for defining visual languages with the power of precise modeling and verification on computers.
除了具有直观易见的特点之外，图文法在计算机上的精确建模和验证能力，为设计可视化语言提供了一个坚实的理论基础。
Graph or table representations for formal language grammars and network protocols.
形式语言语法和网络协议的图或表表示法。
应用推荐