s-(x, y)→t は遷移（のインスタンス）と言う。s∈S, t∈T でSとTが一致しなくてもよい。 遷移（のインスタンス）の集まりを遷移セット、遷移ルール、遷移関係などと言う。 s-(_, _)→t を無音遷移という。_は無音記号。 すべての遷移が無音である遷移セットを無…