文件大小：0.55 MB 14页
具有反向引用的确定性正则表达式
作者
-
部分内容： 体积： 第34届计算机科学理论专题讨论会（STACS 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学理论专题讨论会 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2017-03-06
文件
文件标识符
引用为 获取BibTex
摘要
关键词
确定性正则表达式 Regex公司 Glushkov自动机
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
阿比盖尔。 回复：perl中的随机数。 1997年10月在新闻组comp.lang.perl.misc上发布。 消息ID slrn64sudh.qp.abigail@betelgeuse.wayne.fnx.com。 
-
阿尔弗雷德·阿霍。 在字符串中查找模式的算法。 《理论计算机科学手册》（Handbook of Theory Computer Science）编辑简·范·列文（Jan van Leeuwen），A卷，第5章，第255-300页。 Elsevier，阿姆斯特丹，1990年。
-
Dana Angluin。 查找一组字符串的通用模式。 J.计算。 系统。 科学。， 21:46-62, 1980.
-
巴勃罗·巴塞洛、卡洛斯·赫塔多、列奥尼德·利布金和彼得·伍德。 图形结构数据上的路径查询的表达式语言。 程序中。 2010年和2010年PODS。
-
Geert Jan Bex、Wouter Gelade、Frank Neven和Stijn Vansummeren。 学习用于从XML数据推断模式的确定性正则表达式。 ACM事务处理。 Web，4（4）：2010年14月。
-
马丁·布劳恩。 moar——《决定性正则表达式与回指》（Deterministic Regular Expressions with Backreferences），2016年。 2016年12月查阅。 网址： https://github.com/s4ke/moar . -
蒂姆·布雷（Tim Bray）、让·保利（Jean Paoli）、C.M.斯珀伯格-麦奎因（C.M.Sperberg-McQueen）、伊芙·马勒（Eve Maler）和弗朗索瓦·耶尔戈（François Yergeau）。 可扩展标记语言XML 1.0（第五版）。 W3C建议。 技术报告 https://www.w3.org/TR/2008/REC-xml-20081126/ ，W3C，2008年11月。 -
安妮·布吕格曼-克莱恩。 将正则表达式转换为有限自动机。 西奥。 计算。 科学。， 120(2):197-213, 1993.
-
安妮·布鲁格曼·克莱恩和德里克·伍德。 一种模糊的常规语言。 信息计算。， 142(2):182-206, 1998.
-
Cezar Cámpeanu、Kai Salomaa和Sheng Yu。 对实用正则表达式的正式研究。 发现的国际期刊。 计算。 科学。， 14:1007-1018, 2003.
-
本杰明·卡尔和巴利亚特·纳伦德兰。 关于扩展正则表达式。 程序中。 LATA 2009年、2009年。
-
Wojciech Czerwinski、Claire David、Katja Losemann和Wim Martens。 通过确定性正则表达式确定可定义性。 程序中。 FOSSACS 2013，第289-304页，2013年。
-
沃尔克·迪克特。 马卡宁算法。 《代数组合数学中的单词》[29]，第12章。
-
Volker Diekert、Artur Jeż和Wojciech Plandowski。 用对合求自由群和幺半群中方程的所有解。 程序中。 中国南车2014年、2014年。
-
罗纳德·费金（Ronald Fagin）、本尼·基梅尔菲尔德（Benny Kimelfeld）、弗雷德里克·赖斯（Frederick Reiss）和斯蒂恩·范萨梅伦（Stijn Vansummeren）。 文档扳手：信息提取的正式方法。 J.ACM，62（2）：2015年12月。
-
亨宁·费尔诺（Henning Fernau）和马库斯·施密德（Markus L.Schmid）。 变量模式匹配：多元复杂性分析。 通知。 计算。， 242:287-305, 2015.
-
Henning Fernanu、Markus L.Schmid和Yngve Villanger。 关于字符串态射问题的参数化复杂性。 理论计算。 系统。， 59(1):24-51, 2016.
-
多米尼克·D·弗雷登伯格。 扩展正则表达式：简洁性和可判定性。 理论计算。 系统。， 53(2):159-193, 2013.
-
多米尼克·D·弗雷登伯格。 文档扳手的逻辑。 程序中。 2017年和2017年ICDT。 认可的。 网址： http://ddfy.de/publications/F-ALfDS.html . -
多米尼克·D·弗雷登伯格和马里奥·霍尔达克。 文档扳手：从表达能力到决策问题。 程序中。 2016年、2016年ICDT。
-
Dominik D.Freydenberger和Markus L.Schmid。 具有反向引用的确定性正则表达式。 本文的一个版本，其中还包括附录。 网址： http://ddfy.de/publications/FS-DREwBR.html . -
Shudi（Sandy）Gao、C.M.Sperberg-McQueen和Henry S.Thompson。 W3C XML模式定义语言（XSD）1.1第1部分：结构。 技术报告 https://www.w3.org/TR/2012/REC-xmlschema11-1-2020405/ ，W3C，2012年4月。 -
沃特·盖拉德（Wouter Gelade）、马克·吉森（Marc Gyssens）和维姆·马滕斯（Wim Martens）。 带计数的正则表达式：弱决定论与强决定论。 SIAM J.计算。， 41(1):160-190, 2012.
-
贝诺·格罗兹、塞巴斯蒂安·马内斯和斯拉威克·斯塔奥维。 线性时间中的确定性正则表达式。 程序中。 PODS 2012年、2012年。
-
约翰·霍普克罗夫特（John E.Hopcroft）和杰弗里·乌尔曼（Jeffrey D.Ullman）。 自动机理论、语言和计算导论。 艾迪森·韦斯利，1979年。
-
S.C.克莱恩。 事件在神经网络和有限自动机中的表示。 《自动化研究》编辑C.E.Shannon、J.McCarthy和W.R.Ashby，第3-42页。 普林斯顿大学出版社，新泽西州普林斯顿，1956年。
-
马库斯·拉提和马提亚斯·尼沃斯。 带有计数器的弱确定性正则表达式的可定义性是可判定的。 程序中。 2015年和2015年MFCS。
-
Katja Losemann、Wim Martens和Matthias Niewerth。 确定性正则表达式的闭包属性和描述复杂性。 西奥。 计算。 科学。， 627:54-70, 2016.
-
M.Lothaire先生。 《单词代数组合学》，《数学百科全书及其应用》第90卷。 剑桥大学出版社，2002年。
-
鲁平、约阿希姆·布雷默和陈海明。 决定正规语言的决定论。 理论计算。 系统。， 57(1):97-139, 2015.
-
Wim Martens、Frank Neven和Thomas Schwentick。 XML模式和链正则表达式的决策问题的复杂性。 SIAM J.计算。， 39(4):1486-1530, 2009.
-
村田真本、李东元、村里马尼和川口公助。 使用形式语言理论对XML模式语言进行分类。 ACM-TOIT，5（4）：660-7042005年。
-
马蒂亚斯·尼沃斯。 XML存储库管理系统的数据定义语言。 博士论文，杜特蒙德大学，2015年。 网址： http://www.theoinf.uni-bayreuth.de/en/downloads/PHD_Niewerth.pdf . -
Jean-Luc Ponty、Djellol Ziadi和Jean-Marc Champarnaud。 将正则表达式转换为自动机的新二次算法。 程序中。 1996年WIA。
-
马库斯·施密德。 通过配备因子引用的常规语言表征REGEX语言。 通知。 计算。， 2016年第249:1-17页。