停止 ていし問題 もんだいだったら
teishimondaidattara

Noun
Da Copula

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

1. If it were the halting problem; If the halting problem were the case

Tara Conditional
Computing