有限 ゆうげん状態 じょうたい機械 きかいであれば
yūgen jōtai kikaideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 有限状態機械

1. If finite state machine; When finite state machine

Ba Conditional
Computing