У меня есть вопрос, может ли язык принимать бесконечные числа
Я должен уменьшить 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, нулевым или нет.
Любые советы или предложения всегда приветствуются