有限 ゆうげんオートマトンであれば
yūgen ōtomatondeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 有限オートマトン

1. If/when finite automaton; If it is a finite automaton

Ba Conditional
Computing