来自正则表达式的示例

Question

如何使用quickcheck生成与正则表达式匹配的随机字符串？

以正则表达式（即相应的有限自动机）生成字符串的方式。 （而不是：生成一些随机字符串然后由正则表达式过滤）

理想情况下，字符串的结果分布应该与正则表达式生成的字符串集（即常规语言）一致（其中每个字符串的长度由常量限定）。