形式文法，计算机科学中的概念，在计算机科学中，形式语言是某个字母表上一些有限长字串的集合，而形式文法是描述这个集合的一种方法。形式文法之所以这样命名，是因为它与人类自然语言中的文法相似的缘故。形式文法描述形式语言的基本想法是，从一个特殊的初始符号出发，不断的应用一些产生式规则，从而生成出一个字串的集合。产生式规则指定了某些符号组合如何被另外一些符号组合替换。
对虚拟表示模型进行了扩展，使VDM页面能够灵活地支持模块化设计，并给出了相应扩充语义标记的形式文法。
Through Extending Virtual Description Model, VDM web pages can support modular design, and bring forward relevant extended semantic tag format grammar.
英语文法中，动名词具有与现在分词完全一样的形式。
In English grammar the gerund have exactly the same form as the present participle.
使用这种转换文法，可以描述程序语言之间的形式转换。
This transformation grammar can be used to describe the formal transformation between programming languages.
应用推荐