不带正则表达式的正则表达式


9

我想知道正则表达式的限制会生成哪些语言集。假设所有限制对于的每个元素都有一个恒定的符号Σ和串联。然后,可以通过存在/不存在补体/否定,改变/联合和Kleene星形成八类。(是的,“正常”正则表达式没有C 运算符,但这很方便。)

允许交替出现的表达式以及带或不带补码的Kleene星(在朋友中间是什么双指数爆破?)生成常规语言。允许交替和补语但不包含Kleene星的表达式生成无星语言。允许交替但不能互补的表达式或Kleene星生成有限语言。

但是,可以生成任何有趣的语言类别而无需更改吗?没有这三个运算符中的任何一个,可以生成的全部都是一个单词。补码运算符在这里没有太大帮助。

仅靠Kleene明星,这个班就有些有趣了……尚不清楚它们是否能比普通语言更快地被识别。(关于这些,有什么重要的知识吗?)

拥有Kleene明星和补饰元素……您有什么有趣的吗?这个班有名字吗?

这个问题的灵感来自于math.se上的正则表达式问题


交替是什么意思?另外,它是“ Kleene”。
Suresh Venkat

1
@Suresh Venkat:联合,逻辑或,|,/ ,,。
查尔斯

请注意,在原始上下文中,该类没有补码,但具有反向引用。
彼得·泰勒

@彼得·泰勒:对。我打算问一个关于反向引用的后续问题,但是我认为这个问题太过适合了。
查尔斯

Answers:


12

可以由不具有并集(且没有补码)的正则表达式描述的正则语言类称为无联合正则(也称为star-dot常规)语言。这类语言最近显然受到了一些关注:

Benedek Nagy:“无联盟常规语言和1-cycle-free-path-automata”,《数学出版物》 68(1-2),2006年。

谢尔盖·阿方宁(Sergey Afonin)和丹尼斯·戈洛马佐夫(Denis Golomazov):“常规语言的最小无联合分解”,语言和自动机理论与应用,Springer,2009年。

GalinaJirásková和TomásMasopust:“无工会常规语言的复杂性”,语言理论发展,Springer,2010年。


1
真好 对补充带来的额外力量是否了解?
查尔斯

1
短挑剔修正:由Afonin和Golomazov文章出现在2009年拉塔,不DLT 2009
多米尼克D. Freydenberger
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.