马丁·苏尔兹曼;彼得·蒂曼 正则洗牌表达式的导数和偏导数。 (英语) Zbl 1423.68267号 J.计算。系统。科学。 104, 323-341 (2019). 摘要:有各种各样的混洗操作,从异步交错到各种形式的同步。我们介绍了一种通用的洗牌操作,它包含了早期的洗牌形式。我们进一步将Brzozowski导数和Antimirov偏导数的概念推广到一般的洗牌操作,从而推广到许多早期形式的洗牌。此扩展支持从并发系统规范中出现的涉及洗牌的正则表达式直接构造自动机。 引用于4文件 MSC公司: 65年第68季度 形式语言和自动机 关键词:洗牌表达式;衍生产品;偏导数 软件:存档正式证据;Regex_Equivalence(正则_等效) PDF格式BibTeX公司 XML格式引用 \textit{M.Sulzmann}和\textit{P.Thiemann}J.Compute。系统。科学。104、323--341(2019年;Zbl 1423.68267) 全文: 内政部 参考文献: [1] Garg,V.K。;Ragunath,M.T.,并发正则表达式及其与Petri网的关系,Theor。计算。科学。,96, 2, 285-304 (1992) ·Zbl 0745.68080号 [2] 斯托茨,P.D。;Pugh,W.,并行有限自动机建模并发软件系统,J.Syst。软质。,27, 1, 27-43 (1994) [3] Brzozowski,J.A.,正则表达式的导数,J.ACM,11,4,481-494(1964)·Zbl 0225.94044号 [4] Antimirov,V.M.,正则表达式的偏导数和有限自动机构造,Theor。计算。科学。,155, 2, 291-319 (1996) ·Zbl 0872.68120号 [5] Antimirov,V.M.,重写正则不等式(FCT’95 Proc.)。程序。FCT’95,Lect。票据计算。科学。,第965卷(1995年),施普林格出版社),116-125·Zbl 1507.68164号 [6] Grabmayer,C.,《利用造假证明寻找“传统”证明》(CALCO’05 Proc.)。程序。2005年加利福尼亚州。票据计算。科学。,第3629卷(2005),施普林格),175-193·Zbl 1151.68028号 [7] de Simone,R.,《无限语言与混合产品》,Theor。计算。科学。,31, 83-100 (1984) ·Zbl 0571.68064号 [8] ter Beek,M.H。;马丁·维德,C。;米特拉纳,V.,《同步洗牌》,Theor。计算。科学。,341, 1-3, 263-275 (2005) ·Zbl 1077.68086号 [9] Gelade,W.,正则表达式与交错、交集和计数的简洁性,Theor。计算。科学。,411, 31-33, 2987-2998 (2010) ·兹比尔1192.68120 [10] 库马尔,A。;Verma,A.K.,将并行正则表达式转换为非确定性有限自动机的新算法,应用。数学。信息科学。,8, 95-105 (2014) [11] 苏尔兹曼,M。;Thiemann,P.,正则洗牌表达式的导数,(《LATA学报》,第15期)。程序。LATA’15,Lect。票据计算。科学。,第8977卷(2015),施普林格),275-286·Zbl 1423.68266号 [12] Nipkow,T。;Traytel,D.,正则表达式等价的统一决策程序,(形式证明档案(2014))·Zbl 1416.68175号 [13] 罗苏,G。;Viswanathan,M.,《测试》通过重写逐步扩展了正则语言成员身份(RTA’03的Proc.)。程序。RTA’03,Lect。票据计算。科学。,第2706卷(2003),施普林格),499-514·Zbl 1038.68562号 [14] 布罗达,S。;马基雅维罗,A。;莫雷拉,N。;Reis,R.,带洗牌的正则表达式的偏导数自动机,(DCFS的Proc.of DCFS,Lect.Notes Compute.Sci.,vol.9118(2015),Springer),21-32·Zbl 1390.68377号 [15] Lodaya,K。;Mukund,M。;Phawade,R.,乘积系统的Kleene定理,(DCFS的Proc.’11。程序。DCFS’11,Lect。票据计算。科学。,第6808卷(2011),施普林格),235-247·Zbl 1341.68132号 [16] Caron,P。;查姆帕诺,J.-M。;Mignot,L.,扩展正则表达式的偏导数,(LATA.LATA,Lect.Notes Comput.Sci.,vol.6638(2011),Springer),179-191·兹比尔1330.68148 [17] 欧文斯,S。;Reppy,J。;Turon,A.,《正则表达式衍生工具重新检查》,J.Funct。程序。,19, 2, 173-190 (2009) ·Zbl 1163.68317号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。