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