【发布时间】:2013-03-11 00:33:24
【问题描述】:
我有一个问题,一种语言是否可以接受无限数
我必须将 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 接受的语言是否为空。
欢迎任何意见或建议
【问题讨论】:
-
可能更适合cs.stackexchange.com。
-
谢谢,也会在那里发帖
标签: regular-language turing-machines dfa computation-theory