N、Mがオートマトン、S=|N|, T=|M|は状態集合。s0, t0はスタートノード。次がアルゴリズムのステップごとの入力になる。 候補辺集合 C⊆S×T、Cは空ではない。 確定辺集合 D⊆S×T、Dは空でもよい。 調べるべき候補辺 r∈C CとDを更新してステップの結果とする。 …