论文部分内容阅读
一个形式语言的Ｂａｃｋｕｓ－Ｎａｕｒ Ｆｏｒｍ（ＢＮＦ）和Ｓｙｎｔａｘ Ｄｉｒｅｃｔｅｄ Ｓｃｈｅｍｅ（ＳＤＳ）可看成是该形式语言的面向对象的规程说明。ＢＮＦ的文法符合指定了对象的类型，产生式指定了从小的，简单的对象构造复合对象的组合规则，产生式右部的侯选项指定了继承关系。ＳＤＳ中的属性指定了对象的属性，ＳＤＳ规则指定了对象的方法。通过这些规程能自动地建立一个形式语言的面向对象的模型。本文讨论了Ｗ