バートレットのダガーについてサッパリ思い出せない。http://arxiv.org/abs/0901.3975 のPDF、p.81からp.110を急遽印刷して読むんだ！

間違っていたから。 A, B 連接 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] = Fi…