停止 ていし問題 もんだいであれば
teishimondaideareba

Noun
Da Copula

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

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

Ba Conditional
Computing