regular-language

0热度

1回答

现在我正在学习编写单元测试。我读笑话的文件和有关的玩笑配置GitHub的一些代码的一部分，我发现选项moduleNameMapper可以像定义： "moduleNameMapper": { "\\.(jpg|jpeg|png|gif)$": "<rootDir>/__mocks__/fileMock.js", ".*\\.(css|less|scss)$": "<rootDir

0热度

1回答

自动机理论中的正则表达式？

我有以下的语言和正则表达式【W∈{A，B} *：W的BAB作为前缀，并巴巴作为后缀} 答：正则表达式= BAB（一个∪b）*巴巴∪ 为什么加粗部分需要巴巴∪bababaa？

-1热度

2回答

如何查找表达式的哪个索引与正则表达式匹配

如何修改此代码以便它找到正则表达式匹配的索引。基本上假设我有“金”作为我的测试表达。我的测试字符串是“jkimsdfs”。我怎么能证明“jkimsdfs”在索引与“金”匹配1. #include <stdio.h> #include <string.h> #include <stdlib.h> #include <regex.h> int main() { char wor

0热度

1回答

分类为常规，上下文无关，或其他

有人可以回答这些问题，并请给我愚蠢的，我没有完全掌握的想法。我总是困惑于诸如“终端究竟是什么？”“W代表什么？” 但是至于真正的问题，请将它们分类为常规，上下文无关或其他。 a）{a^nb^na^n}∩a的a是偶数。 B）（A^NB^N）∪回文 c）一种^ N + M B ^米^ 2n个请分类和解释。

1热度

1回答

在Σ= {a，b} ...上给出正则表达式？

问题询问，得到经Σ正则表达式= {A，B}在产生下列语言的正式表示（不是Java）： L1 = {X | x包含子串ABAB} L2 = {X | x具有奇数长度} L3 = {X | X不AB结束} 我不知道如何写一个正则表达式。答案是什么，如果你能解释为什么我会非常感激。

-1热度

1回答

字典匹配问题单行程多更换

你好我想使用的功能，以取代单通道多个单词： def multiple_replace(text, dict): regex = re.compile("(%s)" % "|".join(map(re.escape, dict.keys()))) return regex.sub(lambda mo: dict[mo.string[mo.start():mo.end()]], t

0热度

2回答

如何从REGEX中的字符串中排除2个字母字符

我正在尝试查找此特定产品代码的REGEX。描述：一个有效的产品代码必须通过的两位数字一个一个开始。数不能与0 开始数必须跟着一个连字号 - 连字符后面跟着大写的序列字母符合图案AAA BBB和 AAA：的除了“I”和“O”的任意三个大写字母字符串的范围 “A”的任意三个大写字母字符 BBB字符串为“d” 实例： N-二AAA NN-AAA NN-BBB NN-AAABBB 我的问题是与点

2热度

1回答

证明语言连接在Agda中是关联的

我是Agda语言的新手，我正在使用Agda正式语言。当证明语言连接是关联时，我遇到了一些问题。该证明将是黄色突出显示为阿格达不能在下面的代码中找到了“++副教授”的话来说： LangAssoc : ∀{Σ}{l1 l2 l3 : Language Σ}{w : Word Σ} → (LangConc l1 (LangConc l2 l3)) w → (LangConc (LangConc l1

2热度

1回答

正常语言关闭不连续

我试图找到一种操作，可以采取正常语言，并与另一个“不连接”它。例如： a * L - a * = L |其中L是常规语言我知道差异（减法）不是我想要的操作。但我相信我明白自己的观点。另一种看待它的方法是，如果有一个逻辑上等于（A∪B）的集合L，但我们没有访问A.所以如果我们只能使用L，B和派生这样，我们可以以某种方式推导A.基本上： L - B = A | L =（A∪B）我对这个问题进行了

-3热度

2回答

正则表达式（正则表达式）的帮助：需要一个IP地址后，删除几行一切

我有几行文字，是 192.168.86.3为0x1 0X2 3cbbaxrad * BR-LAN 192.168.86.213为0x1 0X2 3cccfargarad * BR -lan 192.168.86.51为0x1 0X2 3cccfcvrad * BR-LAN 192.168.86.11为0x1 0X2 3cccfxxrad * BR-LAN 我需要所以它的 192.168.86.3