因为如果一个语言是无限集,那么它必然包含无限个字符串。在一个递归的文法中,每个产生式的右侧可以包含终结符、非终结符和空串,因此可以通过递归地应用产生式来生成无限个字符串。因此,如果一个语言是无限集,那么它对应的文法必然是递归的。


原文地址: https://www.cveoy.top/t/topic/fdeR 著作权归作者所有。请勿转载和采集!

免费AI点我,无需注册和登录