排序方式： 共有1条查询结果，搜索用时 0 毫秒
1
1.
通过分析程序设计语言L的特征,提出了一种能由语言L自动构造文法的算法,证明了在有限次递推后算法能结束的充分必要性．该算法根据具有无穷句子的语言L,首先写出由L中基本符号组成的初值集ΣG,再确定体现规则式右部符号串形式,并由L中基本符号和（或）文法符号组成的递推性质的描述f（）,在ΣG和,（）的基础上,经有限次逐步递推得到一系列规则式,消除冗余规则式后的结果即为符合该语言的文法的规则式．实例表明：若能确定f（）,可得到文法的所有规则式． 相似文献
1