有限 ゆうげんオートマトンなら
yūgen ōtomatonnara

Noun
Da Copula

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

1. If/when finite automaton; When a finite automaton

Nara Conditional
Computing