×
艾曼纽·菲利奥特;奥利维·高文;皮埃尔·阿莱·雷尼尔;弗雷德里克·塞瓦伊斯

嵌套单词转义的可简化性。 （英语） Zbl 1421.68094号

日志。方法计算。科学。 15，第2号，第1号论文，30页（2019年）.
摘要：我们考虑在流媒体中（即在一次从左到右的传递中）评估具有有限内存的嵌套单词转导的问题。如果转导T可以用仅取决于T的大小和输入字的高度的存储器来评估，则称其为高度有界存储器（HBM）。我们表明，如果是HBM，则由可视下推换能器（VPT）定义的嵌套单词转导在coNPTime中是可判定的。在这种情况下，所需的内存量可能以指数形式取决于单词的高度。我们展示了一个充分的、可判定的条件，即使用与单词高度平方相关的内存来评估VPT。该条件定义了一类严格包含所有可确定VPT的转导。

MSC公司：

65年第68季度 形式语言和自动机
68第05页 数据结构

关键词：

可视下推传感器;流动;嵌套单词;在线算法

软件：

函数
PDF格式BibTeX公司 XML格式引用
\textit{E.Filiot}等人，《日志》。方法计算。科学。15，第2号，第1号论文，30页（2019年；Zbl 1421.68094）
全文： arXiv公司

参考文献：

[1] [AKL10]本杰明·阿米诺夫（Benjamin Aminof）、奥尔娜·库普夫曼（Orna Kupferman）和罗比·兰伯特（Robby Lampert）。用加权自动机推理在线算法。ACM事务处理。算法，6（2）：28:1-28:362010·Zbl 1300.68071号
[2] [AM09]Rajeev Alur和P.Madhusudan。向单词添加嵌套结构。J.ACM，56（3）：16:1-16.432009年·Zbl 1325.68138号
[3] [BC02]玛丽·皮埃尔·拜尔（Marie-Pierre B’eal）和奥利维尔·卡尔顿（Olivier Carton）。有限和无限单词上换能器的确定。西奥。计算。科学。，289(1):225-251, 2002. ·Zbl 1061.68088号
[4] [BCF+07]斯科特·博格（Scott Boag）、唐·张伯林（Don Chamberlin）、玛丽·费尔南德斯（Mary F.Fern'andez）、丹妮拉·弗洛雷斯库（Daniela Florescu）、乔纳森·罗比（Jonathan Robie）和杰尔·欧米·西蒙。XQuery 1.0：一种XML查询语言，W3C推荐，2007年。
[5] [BCPS03]玛丽·皮埃尔·拜尔（Marie-Pierre B’eal）、奥利维尔·卡尔顿（Olivier Carton）、克里斯托夫·普里厄尔（Christophe Prieur）和雅克·萨卡罗维奇（Jacques Sakarovitch）。平方传感器：决定功能性和顺序性的有效程序。西奥。计算。科学。，292(1):45-63, 2003. ·Zbl 1064.68050号
[6] [BGMP17]费利克斯·巴什切尼斯、奥利维尔·高文、安卡·马斯切尔和加布里埃尔·帕皮斯。在基本时间解开双向换能器。第32届ACM/IEEE计算机科学逻辑研讨会论文集，（LICS）。ACM，2017年·Zbl 1404.68065号
[7] [BJ07]迈克尔·本尼迪克特和阿兰·杰弗里。高效且富有表现力的树过滤器。第27届软件技术与理论计算机科学基础国际会议论文集，LNCS第4855卷，第461-472页。Springer Verlag，2007年·Zbl 1135.68337号
[8] [BLS06]文斯·贝安尼（Vince B´ar´any）、克里斯托夫·洛丁（Christof L¨oding）和奥利维尔·塞雷（Olivier Serre）。可视下推语言的正则性问题。第23届计算机科学理论方面年度研讨会（STACS）论文集，第420-431页。施普林格-柏林-海德堡，2006年·兹伯利1136.68414
[9] [BLS11]安德烈亚斯·鲍尔（Andreas Bauer）、马丁·卢克（Martin Leucker）和克里斯蒂安·夏尔哈特（Christian Schallhart）。LTL和TLTL的运行时验证。ACM事务处理。柔和。工程方法。，20:14:1-14:64, 2011.
[10] [BMV06]Denilson Barbosa、Laurent Mignet和Pierangelo Veltri。研究XML web：从XML示例收集统计信息。万维网，9（2）：187-2122006。
[11] [BYFJ05]齐夫·巴·约瑟夫（Ziv Bar-Yossef）、马库斯·丰图拉（Marcus Fontoura）和瓦尼娅·约西福夫斯基（Vanja Josifovski）。XML流查询评估中的缓冲区。第24届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会会议记录，第216-227页。ACM出版社，2005年·Zbl 1115.68054号
[12] [Cho77]克里斯蒂安·乔夫鲁特。Une Caract’erisation des Foctions S’equentielles et des Fonctions SousS’equintielles en tant que Relations Rationlles。西奥。计算。科学。，5(3):325-337, 1977. ·Zbl 0376.94022号
[13] [Cla99]James Clark。XSL转换（XSLT）1.0版，W3C推荐，1999年。
[14] [CRT15]马修·卡拉普（Mathieu Caralp）、皮埃尔·阿莱恩·雷尼尔（Pierre-Alain Reynier）和珍妮·马尔克·塔尔博特（Jean-Marc Talbot）。修剪明显的下推自动机。西奥。计算。科学。，578（C）：2015年13月29日·Zbl 1312.68116号
[15] [DFRT16]卢克·达托伊斯（Luc Dartois）、艾曼纽尔·菲利奥特（Emmanuel Filiot）、皮埃尔·阿莱恩·雷尼尔（Pierre-Alain Reynier）和珍妮·马尔克·塔尔博特（Jean-Marc Talbot）。双向可视下推自动机和传感器。第31届ACM/IEEE计算机科学逻辑研讨会论文集，（LICS），第217-226页。ACM，2016年·Zbl 1394.68209号
[16] [EH01]Joost Engelfriet和Hendrik Jan Hoogeboom。MSO可定义字符串转换和双向·Zbl 1171.03326号
[17] [FGRS11]Emmanuel Filiot、Olivier Gauwin、Pierre-Alan Reynier和Fr´ed´eric Servais。嵌套单词转义的可简化性。《IARCS软件技术和理论计算机科学基础年会论文集》，LIPIcs第13卷，第312-324页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息科技，2011年·Zbl 1246.68143号
[18] [FGRS13]艾曼纽尔·菲利奥特（Emmanuel Filiot）、奥利维尔·高文（Olivier Gauwin）、皮埃尔·阿莱恩·雷尼尔（Pierre-Alain Reynier）和埃里克·塞维斯（Fr’ed’eric Servais）。从双向到单向有限状态传感器。第28届ACM/IEEE计算机科学逻辑研讨会（LICS）论文集，第468-477页。IEEE计算机学会，2013年·Zbl 1366.68143号
[19] [FMdRS16]纳塔纳？弗兰？科伊斯（Nathana¨el Franöcois）、埃里克·马格尼兹（eric Magniez）神父、米歇尔·德·罗杰蒙特（Michel de Rougemont）和奥利维尔·塞雷（Olivier Serre）。可视下推语言的流特性测试。Piotr Sankowski和Christos Zaroliagis，编辑，第24届欧洲算法年会（ESA 2016），莱布尼茨国际信息学会议（LIPIcs）第57卷，第43:1-43:17页，德国达格斯图尔，2016年。Dagstuhl-Leibniz-Zentrum fuer Informatik宫·Zbl 1397.68115号
[20] [FRR+10]Emmanuel Filiot、Jean-Franócois Raskin、Pierre-Alain Reynier、Fr´ed´eric Servais和Jean-Marc Talbot。关于可视下推传感器的功能。CoRR，abs/1002.14432010年。
[21] [FRR+18]Emmanuel Filiot、Jean-Françcois Raskin、Pierre Alain Reynier、Fr´ed´eric Servais和Jean-Marc Talbot。可视下压传感器。J.计算。系统。科学。，97:147-181, 2018. ·Zbl 1398.68307号
[22] [GHL18]摩西·加纳迪、丹尼·哈克和马库斯·洛伊。正则语言的随机滑动窗口算法。2018年7月9日至13日在捷克共和国布拉格举行的2018年ICALP第45届国际自动化、语言和编程学术讨论会，第127:1-127:13页·兹比尔1504.68100
[23] [GJL18]摩西·加纳迪（Moses Ganardi）、阿图尔·杰兹（Artur Jez）和马库斯·洛伊（Markus Lohrey）。在无上下文语言上滑动窗口。在2018年8月27日至31日于英国利物浦举行的2018年MFCS第43届计算机科学数学基础国际研讨会上，第15:1-15:15页·Zbl 1510.68121号
[24] [GKS07]马丁·格罗（Martin Grohe）、克里斯托夫·科赫（Christoph Koch）和尼科尔·施韦卡特（Nicole Schweikardt）。流式数据和外部内存数据的查询处理的严格下限。西奥。计算。科学。，380:199-217，2007年7月·Zbl 1118.68051号
[25] [GNT09]奥利维尔·高文（Olivier Gauwin）、约阿希姆·尼伦（Joachim Niehren）和索菲·蒂森（Sophie Tison）。确定性嵌套词自动机的最早查询应答。第17届国际计算理论基础研讨会（FCT）论文集，LNCS第5699卷，第121-132页。施普林格-柏林-海德堡，2009年·Zbl 1252.68085号
[26] [KM13]克里斯蒂安·康拉德和埃里克·马格尼兹神父。使用外部内存验证流模型中的XML文档。ACM事务处理。数据库系统。，38(4):27:1-27:36, 2013. ·Zbl 1321.68254号
[27] [KMV07]维拉杰·库马尔（Viraj Kumar）、P.Madhusudan和Mahesh Viswanathan。流式XML的可视下推自动机。第16届万维网国际会议论文集，第1053-1062页。ACM出版社，2007年。
[28] [KV01]奥尔娜·库普夫曼和莫舍·瓦尔迪。安全特性的模型检查。系统设计中的形式方法，19（3）：291-3142001·Zbl 0995.68061号
[29] [MV09]P.Madhusudan和Mahesh Viswanathan。查询嵌套单词的自动机。第34届计算机科学数学基础国际研讨会（MFCS）论文集，LNCS第5734卷，第561-573页。施普林格-柏林-海德堡，2009年·Zbl 1250.68169号
[30] [RCD+]乔纳森·罗比（Jonathan Robie）、唐·张伯林（Don Chamberlin）、迈克尔·戴克（Michael Dyck）、丹妮拉·弗洛雷斯库（Daniela Florescu）、吉姆·梅尔顿（Jim Melton）和杰尔·欧米·西蒙。XQuery Update Facility 1.0，W3C建议，2011年3月17日。
[31] [Saa15]阿列克西·萨雷拉。词方程、多项式和线性代数系统：一种新方法。欧洲法学委员会。，47:1-14, 2015. ·Zbl 1403.68177号
[32] [Sak09]雅克·萨卡罗维奇。自动机原理。剑桥大学出版社，英国剑桥，2009年·Zbl 1188.68177号
[33] [SS07]卢克·塞古芬（Luc Segoufin）和克里斯蒂娜·西朗基罗（Cristina Sirangelo）。针对DTD对流式XML文档进行常量内存验证。第11届数据库理论国际会议（ICDT）论文集，299-313页。施普林格-柏林-海德堡，2007年。
[34] [Ste67]理查德·斯特恩斯（Richard E.Stearns）。下推机器的规则性测试。信息与控制，11（3）：323-3401967·Zbl 0155.01901号
[35] [WK95]安德烈亚斯·韦伯（Andreas Weber）和莱因哈德·克莱姆（Reinhard Klemm）。单值传感器描述的经济性。信息计算。，118(2):327-340, 1995. ·Zbl 0826.68065号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。