First, Last, FollowLast、概ね明瞭

オートマトンMがハッキリと与えられれば、First(M), Last(M), FollowLast(M) を求めるのは簡単だ。状態点sごとに Out(s), In(s) を求めてそれを寄せ集めるに過ぎない。あとは集合の排他性の判断。

• 連接明瞭条件 FollowLast(M)∩First(N) = φ
• 合併明瞭条件 First(M)∩First(N) = φ

うん、簡単簡単。あっ、star-normalのチェックがあるのか。もちっと考えよう。

それと,概ね明瞭という概念を考えた。概ね明瞭では、連接と合併に明瞭条件を付けない。?, * に条件を付ける。