×
艾曼纽·菲利奥特；Jean-François拉斯金；皮埃尔·阿莱·雷尼尔；弗雷德里克·塞尔维斯；Jean-Marc Talbot

可视下压传感器。 （英语） Zbl 1398.68307号

J.计算。系统。科学。 97, 147-181 (2018).
小结：可视下推传感器VPT通过输出扩展了可视下推自动机（VPA）。他们阅读嵌套单词，即结构化字母表上的有限单词，这些单词被划分为调用、返回和内部符号，并生成输出单词，这些输出单词不一定是嵌套的。对于VPA，堆栈的行为与输入符号的类型同步：在读取调用符号时，正好有一个堆栈符号被推送到堆栈上；在读取返回符号时，正好从堆栈中弹出一个堆栈符号；在读取内部符号时，堆栈是不变的。VPT可以在其转换过程中在输出磁带上附加单词，这些单词的串联定义了最终的输出单词。因此，VPT定义了从嵌套单词到单词的转换，可以看作是下推换能器的一个子类。本文研究了VPT的算法性、闭包性和表示性。

引用于三文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

可视下推自动机；传感器；功能

软件：

SAX公司；函数
PDF格式BibTeX公司 XML格式引用
\textit{E.Filiot}等人，J.Compute。系统。科学。97、147--181（2018年；Zbl 1398.68307）
全文： 内政部 哈尔

参考文献：

[1] Alur，R.，《单词和树的结合》，（第26届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会，PODS 2007，Lect.Notes Compute.Sci.，第5140卷，（2007）），233-242·Zbl 1167.68379号
[2] 阿鲁尔（Alur，R.）。；阿雷纳斯，M。；巴塞洛，P。；Etessami，K。；Immerman，N。；Libkin，L.，嵌套词的一阶和时序逻辑，Log。方法计算。科学。，4, 4, (2008) ·Zbl 1159.03018号
[3] 阿鲁尔（Alur，R.）。；Chaudhuri，S.，程序程序的时间推理，（Barthe，G.；Hermenegildo，M.V.，VMCAI，计算机科学讲义，第5944卷，（2010），Springer），45-60·兹比尔1273.68078
[4] 阿鲁尔（Alur，R.）。；Madhusudan，P.，可视下推语言，（第36届ACM计算理论研讨会，STOC 2004，（2004）），202-211·Zbl 1192.68396号
[5] 阿鲁尔（Alur，R.）。；Madhusudan，P.，《为单词添加嵌套结构》，J.ACM，56，3，1-43，（2009）·Zbl 1325.68138号
[6] 贝亚尔，M.-P。；纸箱，O。；Prieur，C。；Sakarovitch，J.，《平方传感器：决定功能性和顺序性的有效程序》，Theor。计算。科学。，292, 1, 45-63, (2003) ·Zbl 1064.68050号
[7] J.Berstel，2009年12月。；J.Berstel，2009年12月。
[8] S.Boag，D.Chamberlin，M.F.Fernandez，D.Florescu，J.Robie，J.Siméon，XQuery 1.0:一种XML查询语言，W3C推荐，2007年。；S.Boag，D.Chamberlin，M.F.Fernandez，D.Florescu，J.Robie，J.Siméon，XQuery 1.0:一种XML查询语言，W3C推荐，2007年。
[9] Bray，T。；Paoli，J。；Maler，E。；Yergeau，F。；Sperberg-McQueen，C.M.，可扩展标记语言（XML）1.0（第五版），（2008年11月），W3C推荐
[10] 奇斯蒂科夫，D.V。；Majumdar，R.，嵌套词到词转导的统一化定理，（自动化的实现和应用-第18届国际会议，CIAA 2013，加拿大哈利法克斯，NS，2013年7月16-19日。《计算机科学论文集》，第7982卷，（2013），施普林格出版社，97-108·Zbl 1298.68128号
[11] Choffrut，C.，《因果关系和因果关系》，Theor。计算。科学。，5, 3, 325-337, (1977) ·Zbl 0376.94022号
[12] J.Clark，XSL转换（XSLT）1.0版，W3C建议，1999年。；J.Clark，XSL转换（XSLT）1.0版，W3C建议，1999年。
[13] 科蒙，H。；多切特，M。；吉列伦，R。；Jacquemard，F。；Lugiez，D。；Löding，C。；蒂森，S。；Tommasi，M.，树自动机技术和应用，（2007）
[14] 艾伦伯格，S.，《自动化、语言和机器》，（1974年），学术出版社·Zbl 0317.94045号
[15] 艾尔戈特，C.C。；Mezei，J.E.，关于广义有限自动机定义的关系，IBM J.Res.Dev.，9，47-68，（1965）·Zbl 0135.00704号
[16] Engelfriet，J.，部分功能树上传感器，Inf.Process。莱特。，7, 4, 170-172, (1978) ·Zbl 0379.94066号
[17] Engelfriet，J。；Maneth，S.，线性大小增加的宏树转换是MSO可定义的，SIAM J.Comput。，32, 950-1006, (2003) ·Zbl 1029.68090号
[18] Engelfriet，J。；Vogler，H.，宏观树换能器，计算机J。系统。科学。，31, 1, 71-146, (1985) ·Zbl 0588.68039号
[19] Filiot，E。；高文，O。；雷尼尔，P.-A。；Servais，F.，嵌套词转义的可流性，（FSTTCS，（2011）），312-324·Zbl 1246.68143号
[20] Filiot，E。；Raskin，J.-F。；雷尼尔，P.-A。；Servais，F。；Talbot，J.-M.，《可视下推换能器的特性》，（第35届计算机科学数学基础国际研讨会，MFCS 2010，（2010）），355-367·Zbl 1287.68095号
[21] Filiot，E。；Servais，F.，《带look-ahead的可视下推换能器》（SOFSEM 2012:计算机科学的理论与实践——第38届计算机科学理论与实践当前趋势会议，什平德勒v MIůn，捷克共和国，2012年1月21日至27日）。《计算机科学论文集》，第7147卷，（2012年），施普林格出版社，251-263·Zbl 1298.68133号
[22] Gauwin，O.，流树自动机和xpath，（2009），里尔大学1，博士论文
[23] 高文，O。；Niehren，J。；Tison，S.，确定性嵌套词自动机的最早查询应答，（第17届计算理论基础国际研讨会，FCT 2009，Lect.Notes Compute.Sci.，vol.5699，（2009）），121-132·Zbl 1252.68085号
[24] Griffiths，T.V.，无lambda不确定广义机等价问题的不可解性，J.ACM，15，3409-413，（1968）·Zbl 0162.02302号
[25] W.X.Q.W.Group，XPath 2.0标准，2007年。；W.X.Q.W.Group，XPath 2.0标准，2007年。
[26] Gurari，E.M。；Ibarra，O.H.，关于有限值和有限模糊变换器的注释，理论计算。系统。，16, 1, 61-66, (1983) ·Zbl 0502.68022号
[27] M.海牙。；Lin，A.W.，数字数据类型的模型检查递归程序，（第23届计算机辅助验证国际会议，CAV 2011，（2011）），743-759
[28] Harju，T。；O.H.伊巴拉。；Karhumaki，J。；Salomaa，A.，《关于半线性和交换的一些决策问题》，J.Compute。系统。科学。，65, 278-294, (2002) ·Zbl 1059.68061号
[29] 哈里斯·W·R。；Jha，S。；Reps，T.W.，《通过可视下推安全游戏实现安全编程》（Madhusudan，P.；Seshia，S.A.，《计算机辅助验证-第24届国际会议》，2012年7月7日至13日，美国加利福尼亚州伯克利市，CAV 2012。《计算机科学论文集》，第7358卷，（2012年），施普林格出版社，581-598·Zbl 1241.68027号
[30] 海兹曼，M。；霍尼克，J。；Podelski，A.，嵌套插值，（Hermenegildo，M.V.；Palsberg，J.，POPL，（2010），ACM），471-482·兹比尔1312.68059
[31] A.L.Horse、P.L.Hégaret、L.Wood、G.Nicol、J.Robie、M.Champion、S.Byrne、Document object model（DOM）、W3C建议书，2004年。；A.L.Horse、P.L.Hégaret、L.Wood、G.Nicol、J.Robie、M.Champion、S.Byrne，文档对象模型（DOM），W3C推荐，2004年。
[32] Ibarra，O.H.，《可逆有界多计数器机器及其决策问题》，J.ACM，25，1，116-133，（1978）·兹比尔0365.68059
[33] 科赫，C。；Scherzinger，S.，《XML流上可伸缩查询处理的属性语法》，VLDB J.，16，3，317-342，（2007）
[34] 库马尔，V。；Madhusudan，P。；Viswanathan，M.，流式XML的可视下推自动机，（第16届万维网国际会议，WWW 2007，（2007）），1053-1062
[35] Madhusudan，P。；Viswanathan，M.，嵌套单词的查询自动机，（第34届计算机科学数学基础国际研讨会，MFCS 2009，Lect.Notes Compute.Sci.，第5734卷，（2009），Springer Berlin/Heidelberg），561-573·Zbl 1250.68169号
[36] Maneth，S.，《线性尺寸增加函数导致宏树换能器层次结构崩溃》，（第23届软件技术和理论计算机科学基础会议，FST TCS 2003，（2003）），326-337·Zbl 1205.68208号
[37] 马滕斯，W。；Neven，F.，自上而下统一无等级树传感器类型检查，（第九届数据库理论国际会议，ICDT 2003，（2003）），64-78·Zbl 1022.68037号
[38] 马滕斯，W。；Neven，F.，简单XML转换类型检查的可处理性前沿，（第23届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会，PODS 2004，（2004）），23-34
[39] 马滕斯，W。；Neven，F.，关于自顶向下的XML转换类型检查的复杂性，Theor。计算。科学。，336, 1, 153-180, (2005) ·Zbl 1080.68021号
[40] 马滕斯，W。；Neven，F.，类型检查简单XML转换的易处理性前沿，J.Comput。系统。科学。，73, 3, 362-390, (2007) ·Zbl 1115.68058号
[41] Megginson，D.，《XML的简单API（SAX 2.0）》，（2004）
[42] Minsky，M.L.，有限和无限机器，（1967），普伦蒂斯·霍尔·Zbl 0195.02402号
[43] M.Murata，《对冲自动机：XML模式的形式化模型》，1999年。；M.Murata，《对冲自动机：XML模式的正式模型》，1999年。
[44] Neven，F。；Schwentick，T.，有限树上的查询自动机，Theor。计算。科学。，275, 1-2, 633-674, (2002) ·Zbl 1026.68081号
[45] 佩斯特，T。；Seidl，H.，《宏观森林传感器》，《信息处理》。莱特。，89, 3, 141-149, (2004) ·Zbl 1178.68177号
[46] Plandowski，W.，《在无上下文语言上测试语素的等价性》，（第二届欧洲算法年会，ESA 1994，（1994）），460-470
[47] Raskin，J.-F。；Servais，F.，可视下推变换器，（第35届自动机、语言和程序设计国际学术讨论会，ICALP 2008，Lect.Notes Comput.Sci.，第5126卷，（2008）），386-397·Zbl 1155.68420号
[48] 雷尼尔，P.-A。；Talbot，J.-M，《具有良好嵌套输出的可视下推换能器》，（第18届语言理论发展国际会议论文集，DLT’14，Lect.Notes Compute.Sci.，第8633卷，（2014），Springer），129-141·Zbl 1425.68228号
[49] 萨卡罗维奇，J。；de Souza，R.，k值变换器的词汇分解，理论计算。系统。，47, 3, 758-785, (2010) ·Zbl 1204.68124号
[50] Schützenberger，M.P.，《苏尔-莱斯关系的合理性》，Theor。计算。科学。，3, 2, 243-259, (1976) ·Zbl 0358.68129号
[51] 塞古芬，L。；Vianu，V.，验证流式XML文档，（第21届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会，PODS 2002，（2002）），53-64
[52] Servais，F.，可视下推传感器，（2011），布鲁塞尔自由大学，博士论文·Zbl 1155.68420号
[53] 斯塔奥维，S。；劳伦斯，G。；A.勒梅。；Niehren，J.，确定性嵌套字对字转换器的等效性，（第17届计算理论基础国际研讨会，FCT 2009，Lect.Notes计算科学，第5699卷，（2009）），310-322·Zbl 1252.68184号
[54] 托莫，A。；Venkatesh，S。；Ye，Y.Y.，用于流式XML近似验证的可视下推传感器，（第五届信息和知识系统基础国际会议，FoIKS 2008，（2008）），219-238·Zbl 1138.68435号
[55] Verma，K.N。；塞德尔，H。；Schwentick，T.，《关于等式Horn子句的复杂性》，（第20届自动扣除国际会议，CADE 2005，Lect.Notes Compute.Sci.，第3632卷，（2005）），337-352·Zbl 1135.94331号
[56] 沃尔姆斯利，P。；Fallside，D.C.，XML模式第0部分：初级读物第二版，（2004年10月），W3C推荐
[57] 韦伯，A.，《分解有限值换能器并确定其等效性》，SIAM J.Compute。，22, 1, 175-202, (1993) ·Zbl 0767.68079号
[58] 韦伯，A。；Klemm，R.，单值传感器描述的经济性，Inf.Comput。，118, 2, 327-340, (1995) ·Zbl 0826.68065号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。