サンプルから正規表現を生成
例から確認可能な出発点を生成します。一般候補は全正例に一致し全負例を除外する必要があります。できなければ正確なリテラルに戻り、矛盾を報告します。
使い方
使い方
- 正例と任意の負例を1行ずつ入力します。
- アンカーと大小設定を選び、生成します。
- 規則と不一致・誤一致を確認し、未使用の例を試します。
有限規則の推論
候補はメール、IPv4、ISO 日付、16進数、HTTP/HTTPS URL の形状、共通接頭辞・接尾辞、ASCII クラス長、エスケープしたリテラルです。実際の暦日や IP 範囲、外部資源は検証しません。
制限と照合
合計100例、各200文字、全入力20,000文字まで。ライブ例は1,000文字、正規表現出力は20,000文字までです。空行は無視します。ユーザー正規表現、eval、アップロードは使いません。
よくある質問
あわせて知りたいこと
任意の言語を推論できますか？
いいえ。有限の決定的規則から選び、未知の形式はリテラル選択肢になります。
負例を除外すれば正しさを証明できますか？
いいえ。未知の値では異なる場合があり、大小無視や部分一致も矛盾を生むことがあります。
ReDoS 監査ですか？
いいえ。エスケープしたリテラルや有界で非入れ子のクラス・量指定子を使いますが、安全性認証ではありません。