有限 ゆうげんオートマトンだったら
yūgen ōtomatondattara

Noun
Da Copula

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

1. If/when finite automaton

Tara Conditional
Computing