明瞭性条件
なんか等式的に定義できたな。[追記]だがこれは間違っているな。明瞭性条件 訂正 - 檜山正幸のキマイラ飼育記 メモ編 に訂正がある。[/追記]
- A, B 連接-1 FollowLast(A)∩First(B) = 0
- A, B 連接-2 ε(A)First(A)∩First(B) = 0
- A | B ユニオン ε(A) = 0, ε(B) = 0, First(A)∩First(B) = 0
- A? オプション ε(A) = 0
- A* 繰り返し ε(A) = 0, First(A)∩FollowLast(A) = 0
- First[A, B] = First(A)∪ε(A)First(B)
- First[A | B] = First(A)∪First(B)
- First[A?] = First(A)
- First[A*] = First(A)
- FollowLast[A, B] = FollowLast(B)∪ε(B)FollowLast(A)
- FollowLast[A | B] = FollowLast(A)∪FollowLast(B)
- FollowLast[A?] = FollowLast(A)
- FollowLast[A*] = FollowLast(A)∪First(A)