我有一大批常规表达式,当匹配成功时会调用特定的HTTP处理程序。其中一些旧的表达式已经无法到达(例如a.c* ⊃ abc*),我想对它们进行修剪。 是否有一个库可以给出两个正则表达式,告诉我第二个是不是第一个的子集? 一开始我不确定这是否可判定(它听起来像是另一种形式的停机问题)。但事实证...
我在一本关于可计算性的书上读到: (Kleene定理)当且仅当一个语言可以通过联合、连接和重复有限次数的操作从有限语言中获得时,它是正则的。 我对"有限语言"感到困惑。 考虑这个语言:L = a* 它不是有限的。它是集合{0,a,aa,aaa,...},显然是一个无限集合(其中...
阅读了关于正则表达式/非确定性有限状态自动机和确定性有限状态自动机的知识后,我发现使用正则表达式查找字符串中的子串实际上可能比暴力的O(mn)查找更快。我的理解是,DFA实际上会保持状态并避免对“干草堆”中的每个字符进行多次处理。因此,如果使用正则表达式进行搜索,则在长字符串中进行搜索可能会更...
以下是各个语言的最小泵长度: 空语言,p=0,因为该语言没有可泵出的字符串。 (01)*,p=2,因为01是可以被泵出的最短字符串。 10(11*0)*0,p=5,因为10100是可以被泵出的最短字符串。 1011,p=0,因为该字符串无法进行泵操作。 011 U 0*1*,p=1,因为字...
给定描述正则语言的正则表达式R(没有花哨的反向引用),是否有一种算法方法来构建描述除R描述的所有单词的语言的正则表达式R*?这应该是可能的,因为Wikipedia说: 引用: 常规语言在各种操作下都是封闭的,也就是说,如果语言K和L是常规的,那么以下操作的结果也是常规的:[...]补集¬L ...
我正在阅读正则表达式解析器的代码,开始想知道正则表达式的语法是否本身就是规则的,并且能否用另一个(相当复杂的)正则表达式来表示? rere = "" # the regular expression of regular language match1 = re.match(rere, "[...
我们知道,对于一个正则文法,我们有算法可以得到它的正则表达式。 但是如果给定的文法是上下文无关文法(但它只生成正则语言),比如: S->aAb A->bB B->cB|d 是否存在通用的算法可以得到正则表达式呢? 谢谢!
我很难表达Chomsky二型(上下文无关语言)和Chomsky三型(正则语言)之间的区别。 有没有人能用通俗易懂的语言给我解释一下?我很难理解整个语言类型的层次结构。
请帮我使用正则表达式验证伊朗邮政编码。 我为此编写了以下正则表达式:\b([^02\n\D]){4}[^5](\d){5},但它不能满足第5和第7条规则。 请帮我修复它。 以下是关于这个正则表达式的一些规则: 全部是数字 10位数字 前5位数字不能使用0 邮政编码不能使用数字2 前4位数...
我有一个目录~/x7/music/sfx。 在~/x7/music的根目录下有一些文件和文件夹。 我需要同步仅sfx文件夹,忽略music中的其他内容。 我尝试过多种变体,但它们都是错误的。 ignore = Name music/* ignorenot = Regex music/sfx/...