言語が無限の数を受け入れることができるかどうか質問があります
ランティをリンフに減らす必要があります
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が受け入れる言語がnullかどうかがわかります。
アドバイスや提案はいつでも大歓迎です