停止 ていし問題 もんだいなら
teishimondainara

Noun
Da Copula

The "-nara" conditional form ("if/when…") of 停止問題

1. If the halting problem…; When the halting problem…

Nara Conditional
Computing