明瞭性条件 訂正

間違っていたから。

1. A, B 連接 FollowLast(A)∩First(B) = 0
2. A, B 連接-2 ε(A)First(A)∩First(B) = 0
3. A | B ユニオン ε(A) = 0, ε(B) = 0, First(A)∩First(B) = 0
4. A? オプション ε(A) = 0
5. A* 繰り返し ε(A) = 0, First(A)∩FollowLast(A) = 0

1. First[A, B] = First(A)∪ε(A)First(B)
2. First[A | B] = First(A)∪First(B)
3. First[A?] = First(A)
4. First[A*] = First(A)

1. FollowLast[A, B] = FollowLast(B)∪ε(B)FollowLast(A)
2. FollowLast[A | B] = FollowLast(A)∪FollowLast(B)∪ε(A | B )(First(A)∪First(B))
3. FollowLast[A?] = FollowLast(A)∪First(A)
4. FollowLast[A*] = FollowLast(A)∪First(A)

ε(A) = 1 のとき、First(A)⊆FollowLast(A) となる。よって、FollowLast(A)∩First(B) = 0 があれば、ε(A)First(A)∩First(B) = 0 が出るので不要。

一番の間違いは FollowLast[A | B] の公式。単純に和になるわけじゃなかった。