文件Open Access徽标

扩展正则表达式:简洁性和可判定性

作者 多米尼克·D·弗雷登伯格



PDF格式
缩略图PDF

文件

LIPIcs公司。STACS.2011.507.pdf公司
  • 文件大小:0.63 MB
  • 12页

文件标识符

作者详细信息

多米尼克·D·弗雷登伯格

引用为获取BibTex

多米尼克·D·弗雷登伯格。扩展正则表达式:简洁性和可决定性。第28届计算机科学理论方面国际研讨会(STACS 2011)。《莱布尼茨国际信息学论文集》,第9卷,第507-518页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2011)
https://doi.org/10.4230/LIPIcs.STACS.2011.507

摘要

大多数正则表达式引擎的现代实现都允许使用变量(也称为回调引用)。生成的扩展正则表达式(在文献中也称为实用正则表达式、rewbr或regex)能够表示非正则语言。本文证明了扩展正则表达式不能有效地最小化(无论是在长度还是在变量数量方面),并且扩展正则表达式和“经典”正则表达式之间的大小权衡不受任何递归函数的限制。除此之外,我们还证明了扩展正则表达式的几个决策问题(普遍性、等价性、包含性、正则性和余确定性)的不可判定性。此外,我们还表明,即使扩展正则表达式只包含一个变量,所有这些结果仍然成立。
关键词
  • 扩展正则表达式
  • 正则表达式
  • 可判定性
  • 非递归权衡

韵律学

问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件