有没有会形式语言的兄弟，重金求

额，看不懂欸，这真的是程序需求吗，英文我能理解，但是为啥里面好像有数学符号啊

这不是英文 这是德文
我们正在研究MERK-RA的扩展正则表达式。
此外，还有一个值得注意的设计，写为（：name:…）（：name:），当出现相同的名称时，它总是接受完全相同的子字。
在形式上，我们归纳地定义了字母表2上的MERK-RA表达式，如下所示：Fur ae 2是MERK-RA表达式。
对于正则表达式和名称，任何分母（名称：a）都是MARK-RA表达式。
对于name，任何分母都是（：name:）MERK-RA表达式。
对于a-1和a-2 MERK-RA表达式（a-1至a-2），（a-1至124a；a-2）和（a-1）MERK-RA表达式受以下限制：
设计（：name:）只能作为任何分母名称的前缀
好，
如果任何正则表达式a的MERK-RA表达式（：name:a）在前面。
在MERK-RA表达式中，正则表达式的设计（：name:a）最多可以按分母名称出现一次。
由MERK-RA表达式识别的语言L’（a）定义如下：对于正则表达式3，由3识别为正则表达式的语言定义为L（B）。
如果a是正则表达式，则L'（a）=L（a）。
否则，L'（a）是以下语言集合的关联：{L'（a[（：name:）->w，（：name:b）->w]）-[name:p]出现在a中，we L（b）
这里的a[（：name:）->w，（：name:b）->w]意味着在分别出现（：name:）和（：name:3）的MERK-RA表达式中，我们替换w。
示例：
（：x:c^）a（：x:）接受语言{cna cAn{124n；nan}
（：gr:d:124dd）b（：gr:）接受语言L（dbd^124ddb（dd）*）

不会，下一个