До сих пор я читал, что есть несколько исследовательских работ [1,2], которые пытаются достичь минимального регулярного выражения при наличии набора положительных и отрицательных строк. Я бродил, если кто-нибудь знает о реализации такого алгоритма, который дает пример строки обоих наборов, он находит минимальное регулярное выражение, что 100% соответствует положительным и 0% отрицательных, предпочтительно в Python.
[1] https://dl.acm.org/doi/abs/10.1145/800135.804406
[2] https://en.wikipedia.org/wiki/Induction_of_regular_languages