読者コミュニティ｜論理演算可能な正規表現エンジンを作ろう

本の感想や質問をお気軽にコメントしてください。

執筆背景を少し記載。
deadcoad cookbookを執筆中に、文字列操作に対する汎用的な手法の啓発がしたくて、「論理演算可能な正規表現を求めて」という本を作成しながら、方式を探しはじめたのが、年明けすぐ。
もともとは、グループの繰返しを制限（対象外）として、全く別の方式で構想して着手（執筆もコーディングも本書の２倍以上は行っていた）。
しかし、テストを重ねると、どうしても否定演算が実現できず、半年近く経過。

6月に入ってから、本書の方式を思いつき、その正しさを問いたい思いもあり、思い付いてから約2日で実装、約２日で執筆して公開。
そのため、テストは一部不十分。
ちょうど、Zennにmermaid記法が導入されたのも、確認効率が上がり幸いした。

構想、実装、執筆を完全に1人で行ってるため、意見をいただけると大変嬉しいです。

正規表現の積と否定は先読みと否定先読みを使えば可能ではないでしょうか。
例えば使用例で挙げられている (a+|ab)&!a はPerl正規表現で（全体マッチを考慮して ^ と $ を補って）^(?!^a$)(a+|ab)$ と書けます。

$ echo aa | grep -P '^(?!^a$)(a+|ab)$'
aa
$ echo a | grep -P '^(?!^a$)(a+|ab)$'

先読みは有限状態オートマトンへ変換できるので正規表現といえます。
参考： 先読み付き正規表現の有限状態オートマトンへの変換

なので

何故、今まで論理演算可能な正規表現に関する議論が活発に行われなかったのでしょうか？

に関しては既に議論されているし実装が世間に流通までしているが、分かりやすい形で知られていないのかくらいが妥当ではないかと思います。