Xirdim /ひるでぃむ/ @低浮上?
@xirdim
↓ ・正規表現のパーツ(母音リストなど)を、他の正規表現内で参照可能な定数として定義できる ・一覧化できる変換規則(ウムラウトなど)を、関数(写像)として定義しておける。逆変換は 集合(文字列でもいいか?)→集合 の写像となる ↓
2022-08-21 20:06:07
Xirdim /ひるでぃむ/ @低浮上?
@xirdim
↓ ・条件分岐がある場合は、分岐後のそれぞれの結果に照らして逆変換しつつ、条件分岐の箇所にたどり着いた時点で吟味し、不適なら棄却。
2022-08-21 20:06:08