生成正则表达式

微软有一个基于SMT的Gratis(MSRL许可)“rex”工具: http://research.microsoft.com/en-us/downloads/7f1d87be-f6d9-495d-a699-f12599cea030/

从“rex:符号正则表达式资源管理器”论文的“简介”部分:

我们将(扩展的)正则表达式或正则表达式[5]转换为称为sfas的有限自动机的符号表示。在SFA中,移动由表示字符集而不是单个字符的公式标记。将一个sfa转换为一组(递归)公理,这些公理描述a接受的字符串的接受条件,并建立在将字符串表示为列表的基础上。

由于SMT解算器可以在一定的大小范围内输出所有可能的解,因此这可能接近于您正在寻找的解。

在更具统计性和不太正式的方面,来自CPAN的regexp::genex模块也可以工作: http://search.cpan.org/dist/Regexp-Genex/

您可以将其与以下内容一起使用:

#!/usr/bin/env perl
use Regexp::Genex ':all';
my $hits = 100;
my $re = qr/[a-z](123|456)/;
local $Regexp::Genex::DEFAULT_LEN = length $re;
my %seen;
while ((time - $^T) < 2) {
    @seen{strings($re)} = ();
    $Regexp::Genex::DEFAULT_LEN++;
}
print "$_\n" for (sort %seen)[0..$hits-1];

根据需要调整时间和样本大小。希望这有帮助!

看看 Xeger (Google Code) .

Visual Studio团队系统似乎具有 inverse regex generator 也一样,但是它看起来不像是开源的。