正規表現を微分
2022/11/8 20:25:00
あれ
2024/6/10 23:25:00
xor・rotate_right・rotate_leftで、ベクトル化された微分可能な述語論理が構成できる気がするんだ……。
述語論理の述語と個体を{0,1}のベクトルであるところのビット列で表現したい。
正規表現の微分が定義できるんだから、述語論理の微分ぐらいイケるやろ。
正規表現の合致性をその微分によって確かめる
2022/11/8 21:13:00
おもろ
接触元
2022-11-08
正規表現に文字列がマッチするか判定するアルゴリズムの一つに"正規表現を文字列によって微分した結果が空文字列を含むかを確認する"というものがある。この正規表現を微分する方法はいくつか提案されているが圏論におけるモナドを使って統一的に理解することができる