我有一个问题,一种语言是否可以接受无限数
我必须将 Lempty 减少到 Linf
where Lempty ={e|L(Pe) is null}
Linf={e|L(Pe) is infinite}
所以我可以像这样定义一个程序 P
"
input n
Run Pe on 1...n for n steps
if Pe accept any number then enter an infinite loop and start accepting infinite number
if pe does not accept any number then accept 1"
现在,如果我可以像上面那样定义程序 P,那么询问 P 接受的语言是否属于 Linf 的问题将告诉我 Pe 接受的语言是否为空。
任何意见或建议总是受欢迎的