チューリングマシンであれば
chūringumashindeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of チューリングマシン

1. If/when Turing machine

Ba Conditional
Computing