Symbolic Solving of Extended Regular Expression Inequalities
本文提出了一种新的解决方案，扩展正则表达式的包容性问题，扩展基本正则表达式的交集和互补运算符，并考虑正则表达式的无限字母表的基础上潜在的无限字符集。决定包容性的标准方法不考虑扩展运算符或字符集。该算法避免了转换为表达式等价的自动机，为求解正则表达式不等式提供了一个纯符号项重写系统。基于Brzozowski的正则表达式导数和Antimirov的重写包容性检验方法，给出了一种新的包容性问题的符号判定方法。我们推广Brzozowski的语法衍生算子的两个衍生算子的工作（潜在的无限）表示字符集。
2014-10-13 cs.FL
Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract
我们提出正则表达式来抽象模型，并研究资源感知计算的性质。受名义技术（如进程演算中流行的技术）的启发，我们用名称（对计算资源建模）和合适的运算符（用于资源的分配、解分配、范围和新鲜度条件）扩展了经典正则表达式。我们讨论类这样的名义正则表达式，显示如何这样的表达式有自然的解释，在无限的字母表的语言，并给出Kleene定理来证明他们的形式语言的名义自动机。
2013-10-26 cs.FL
On the Uniform Distribution of Regular Expressions
尽管正则表达式并不完全对应于正则语言，但研究其性质和算法仍然是值得的。对于一般情况分析，人们通常依赖于使用正则表达式的特定语法的均匀随机生成，其可以表示具有或多或少冗余的正则语言。在表达式集合上统一的生成器在正则语言集合上不一定是统一的。然而，通过考虑整组正则表达式获得的渐近估计与使用更精细的集合获得的渐近估计不同并不简单，更精细的集合避免了一些大类等价表达式。在本文中，我们研究了一组表达式，避免了一个给定的吸收模式。结果表明，虽然这一套是显着小于标准的，渐近平均估计的大小的Glushkov自动机，这些表达式并没有不同的标准情况下。
2021-03-24 cs.FL
Sequential Circuits from Regular Expressions Revisited
我们重新审视长期被忽视的问题，时序电路建设的正则表达式。由时序电路识别的语言类等价于正则语言类。这个事实在[5]中与正则表达式的归纳构造技术一起展示。在这篇笔记中，我们提出了一个替代算法，称为的跟随集方法，通过反转著名的跟随集方法来构造自动机。我们使用我们的算法来获得一个基于时序电路的正则表达式匹配器。最后，我们报告我们的性能结果与现有的基于自动机的匹配。
2018-01-26 cs.FL
A proof Procedure for Testing Membership in Regular Expressions
我们提出了一个算法，测试成员的正则表达式，并表明该算法是正确的。该算法是以防篡改系统的风格编写的。与传统算法相比，该算法的优点是不需要从正则表达式到有限自动机的复杂转换过程。因此，我们的算法是简单的，很容易扩展到各种扩展的正则表达式，如定时正则表达式或正则语言的交集。
2010-02-10 cs.FL
Regular Expressions, au point
我们介绍了一种新的技术，用于从正则表达式构建有限状态确定性自动机，基于标记表达式内的一组合适的位置的想法，直观地表示输入字符串的初始前缀处理后达到的可能点。指向正则表达式结合了Brzozowski衍生物的优雅和符号吸引力，以及McNaughton和Yamada标签技术的有效性，基本上结合了两种方法中的最佳方法。
2010-10-13 cs.FL
A Polynomial Time Match Test for Large Classes of Extended Regular Expressions
本文研究了扩展正则表达式的匹配检验问题。我们接近这个NP完全问题，通过引入一种新的变种的双向多头自动机，它揭示了匹配测试的复杂性是由一个隐藏的组合属性的扩展正则表达式，它表明，相应的参数的限制导致丰富的类与多项式时间匹配测试。出于表示的原因，我们使用模式语言的概念来指定扩展的正则表达式。虽然这个决定，正式地说，稍微缩小了我们的结果的范围，我们的概念和结果的扩展到更一般的概念扩展正则表达式是直接的。
2017-07-13 cs.FL
Partial Derivatives for Context-Free Languages: From $μ$-Regular Expressions to Pushdown Automata
我们将Antimirov的偏导数从正则表达式扩展到$μ$ -描述上下文无关语言的正则表达式。我们证明了偏导数的正确性以及迭代偏导数集合的有限性。后者被用来作为下推符号在我们的建设一个不确定的下推自动机，这推广了Antimirov的NFA建设。
2017-01-02 cs.FL
Algorithms and Training for Weighted Multiset Automata and Regular Expressions
多集自动机是一类符号可以按任意顺序读取并得到相同结果的自动机。我们研究加权多集自动机，并展示如何构建它们从加权正则表达式。我们提出了训练方法来学习加权正则表达式和一般多集自动机的数据的权重。最后，我们研究的情况下，内部权重可以更有效地计算。
2018-06-08 cs.FL
Optimal Regular Expressions for Permutations
置换语言$P_n$由大小为$n$的固定字母表的置换的所有字组成。使用分治法，我们构造了一个指定$P_n$的正则表达式$R_n$。然后，我们给出明确的界限$R_n$的长度，我们发现是$4^n n^{-(\lg n)/4+Θ(1)}$，并使用这些界限表明，$R_n$具有最小的大小超过所有正则表达式指定$P_n$。
2018-12-15 cs.FL
Partial Derivative Automaton for Regular Expressions with Shuffle
我们将偏导数自动机推广到具有shuffle的正则表达式，并研究了它在最坏和平均情况下的大小。偏导数自动机的状态数在最坏的情况下最多为2^m，其中m是表达式中的字母数，而渐近平均不超过（4/3）^m。
2015-03-01 cs.FL
Metamorphosis of Fuzzy Regular Expressions to Fuzzy Automata using the Follow Automata
为了处理系统的不确定性，有限自动机被推广为模糊自动机。Stamenkovic和Ciric提出了一种使用位置自动机从模糊正则表达式构造模糊自动机的方法。从正则表达式构造有限自动机的方法有很多种，如Thompson构造法、Antimirov偏导数法、Glushkov自动机和跟随自动机等。本文提出了一种利用跟随自动机的概念将模糊正则表达式转换为模糊自动机的方法。使用所提出的方法得到的模糊自动机的状态数是小于现有的方法在文献中。
2014-12-01 cs.FL
Derivative-Based Diagnosis of Regular Expression Ambiguity
正则表达式通常是模糊的。我们提出了一种新的方法的基础上Brzozowski的衍生物，以帮助用户在诊断有歧义的正则表达式。我们引入了一个基于导数的有限状态转换器来生成解析树和最小反例。转换器可以很容易地定制，以遵循POSIX或Greedy消歧策略，并且基于有限的示例集，可以检查POSIX和Greedy之间是否存在任何差异。
2016-07-13 cs.FL
Construction of fuzzy automata from fuzzy regular expressions
Li和Pedrycz [Y. M. Li，W. Pedrycz，Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoid，Fuzzy Sets and Systems 156（2005）68- 92]已经证明了基本结果，这些结果提供了在格序monoid中表示具有隶属值的模糊语言的不同等价方式，并且推广了形式语言的经典理论的众所周知的结果。特别是，他们已经证明，一个模糊语言的整体格序幺半群可以表示为模糊正则表达式，当且仅当它可以识别的模糊有限自动机。然而，他们没有给出任何有效的方法来构造一个等价的模糊有限自动机从一个给定的模糊正则表达式。在本文中，我们提供了这样一个有效的方法。通过将模糊正则表达式α中的标量变换为新的扩展字母表中的字母，将模糊正则表达式α转化为普通正则表达式α R。然后，从识别语言的任意非确定性有限自动机A开始，||α_R||用正则表达式α R表示，构造了模糊有限自动机A_α和A_α^r，它们的状态数与自动机A相同或更少，它们识别模糊语言||α||由模糊正则表达式α表示。起始的非确定性有限自动机A可以从α_R中使用任何一种众所周知的将正则表达式转换为非确定性有限自动机的构造来获得，例如Glushkov-McNaughton-Y…
2011-05-31 cs.FL
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching
我们开发了一个正式的角度如何正则表达式匹配在Java中，一个受欢迎的代表类别的正则表达式定向匹配引擎的工作原理。特别是，我们定义了一个自动机模型，它捕获了以正式的方式研究这种匹配引擎所需的所有方面。在此基础上，我们提出了两种类型的静态分析，这需要一个正则表达式，并告诉是否存在一个家庭的字符串，使Java风格的匹配运行在指数时间。
2014-05-22 cs.FL
Small NFAs from Regular Expressions: Some Experimental Results
正则表达式（res）由于其简洁和清晰的语法，是表示正则语言的常见选择。然而，有效的模式匹配或单词识别依赖于等价的非确定有限自动机（NFA）的大小。我们提出了几种算法的实现，用于构建小ε自由NFASS的FADO系统内的RES，并比较正则表达式的措施和NFA大小的基础上，从均匀随机生成的RES的实验结果。对于这种分析，非冗余的RES和减少的RES星范式被认为是。
2010-09-19 cs.FL
Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics
我们引入了正则表达式特征的概念，作为一种统一的方式来简洁地表达时间序列约束的界限。这使我们不仅可以定义时间序列的约束组合的方式，而且还可以处理其组合方面的组合方式，而不单独开发每个时间序列约束的ad-hoc边界。
2017-03-20 cs.FL
Regular Transducer Expressions for Regular Transformations
功能性MSO传感器、确定性双向传感器以及流弦传感器都是常规功能的等效模型。在本文中，我们表明，每一个正规的功能，无论是有限字或无限字，捕获的确定性双向换能器，可以描述与常规换能器表达式（RTE）。对于无限字，传感器使用Muller接受和$ω$ -常规前瞻。\RTEs是从常数函数使用组合子if-then-else（确定性选择），Hadamard产品，和明确版本的柯西产品，2链Kleene迭代和2链Ω迭代。我们的证明适用于有限字和无限字的变换，扩展了Besar等人关于有限字的结果。在LICS'14。为了构建一个RTE与确定性的双向Muller传感器与前瞻，我们介绍了过渡幺半群的概念，这种双向传感器的前瞻是由一些向后确定性Büchi自动机捕获。然后，我们使用一个明确的版本Imre西蒙著名的森林因子分解定理，以获得一个“好”（$ω$ -）的域的双向换能器的正则表达式。“好”表达式是明确的，Kleene-plus和$ω$ -迭代只用于与转换幺半群的\emph{idempotent}元素对应的子表达式。组合子表达式最后构造的“好”（$ω$ -）的正则表达式描述的域的传感器上的结构归纳。
2018-02-05 cs.FL
Regular Expression Search on Compressed Text
我们提出了一个算法搜索压缩文本中的正则表达式匹配。该算法报告未压缩文本中匹配行的数量与其压缩版本的大小成线性关系。我们定义了有效的数据结构，产生接近最佳的复杂性界限，并提供了一个顺序实现-zero-that需要高达25%的时间比最先进的。
2019-01-16 cs.FL
A General Framework for the Derivation of Regular Expressions
本文的目的是设计一个理论框架，使我们能够通过通用结构的空间进行正则表达式导数的计算。由于这种形式主义，正则表达式推导的主要性质，例如导数集的有限性，只需要在顶层声明和证明一次。此外，它示出了如何构建一个交替自动机与派生的正则表达式在这个一般框架。最后，Brzozowski的推导和Antimirov的推导结果是一个特殊的情况下，这个一般计划，它示出了如何构建一个DFA，一个NFA和AFA这两个衍生物。
2012-12-20 cs.FL
Discovering an Algorithm Actually Learning Restricted Single Occurrence Regular Expression with Interleaving
最近的一篇论文提出了一个算法iSOIRE，它结合了单次出现自动机（SOA）和最大独立集（MIS）来学习一个子类的带交错的单次出现正则表达式（SOIRES），并声称学习的表达式是SOIRE，它对交错的使用没有限制。但在实际中，学习后的表达式在使用交错时仍有许多限制，即使是Kleene-star或interation也是如此，即学习后的表达式不是SOIRE，我们通过实例证明了这一点。本文首先给出了iSOIRE算法的基本概念，然后对错误进行了分析，最后给出了iSOIRE学习的正确结果。我们的理论分析表明，由iSOIRE导出的结果属于SOIRE的一个子类。
2021-03-18 cs.FL
SD-Regular Transducer Expressions for Aperiodic Transformations
FO传感器，非周期性确定性双向传感器，以及非周期性流弦传感器都是一阶可定义函数的等效模型。在本文中，我们解决了长期存在的开放问题的表达式捕获一阶可定义的功能，从而推广了开创性的SF=AP（明星自由表达式=非周期性语言）的Schützenberger的结果。我们的结果也推广了一个鲜为人知的特征Schützenberger的非周期语言的SD-正则表达式（SD=AP）。我们表明，每一个一阶可定义的功能，在有限的字捕获的非周期性的确定性的双向换能器可以描述与SD-正则换能器表达式（SDRTE）。SDRTE是一个正则表达式，其中Kleene星以受限的方式使用：它们只能出现在非周期语言中，这些语言是有界同步延迟的前缀代码。SDRTE由简单函数构造，使用组合子无歧义和（确定性选择），Hadamard乘积，以及柯西乘积和k链Kleene星的无歧义版本，其中星如前所述受到限制。为了构建一个SDRTE与非周期性确定性双向换能器，（i）我们具体化Schützenberger的SD=AP结果，通过证明非周期性语言被捕获的SD正则表达式是明确的和稳定的;（ii）通过结构归纳的明确的，稳定的SD正则表达式描述域的换能器，我们构建SDRTE。最后，我们还研究了与SDRTE等效的各种形式，这些形式使用了函数组合，允许将k链星型交换为1星型。
2021-01-18 cs.FL
Regular expression length via arithmetic formula complexity
本文利用算术电路复杂性的方法证明了有限语言正则表达式长度的下界。首先，我们展示了一个简化：语言$L\subseteq \{0,1\}^n$的正则表达式的长度由计算多项式的单调算术公式的最小大小从下向上限定，该多项式以$L$作为其指数向量集，将单词视为向量。这个结果产生的二项式语言的所有字正好$k$ 1和$n-k$ 0和所有的Dyck字的长度$2n$的语言的下限。我们还确定了有限语言的正则表达式的语言操作（交集和洗牌）的爆破。其次，我们采用了一个下界方法的多线性算术公式，所谓的对数乘积多项式的正则表达式。用这种方法，我们几乎紧下界的语言的所有二进制数与$n$位，可被一个给定的奇数$p$整除，为语言的所有字的长度$n$在一个$k$字母表与偶数出现的每个字母和语言的所有排列的$\{1,\dots, n\}$。
2020-12-31 cs.FL
$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
本文提出直接从基于迁移的 Büchi 自动机合成 ω-正则表达式的新方法，证明其可靠完备，并实验表明所得表达式更紧凑，对 recurrence 型 LTL 公式平均缩减超 50%，且能处理更多 LTL 公式。
2024-06-12 cs.FL
The Commutative Closure of Shuffle Expressions over Group Languages is Regular
我们表明，与迭代洗牌相结合的交换闭包是一个正则保持操作组语言。特别地，对于交换群语言，迭代混洗是正则保持操作。我们还给出了最小识别自动机的大小的界。然后，我们利用这些结果推导出任何群语言上的shuffle表达式的交换闭包，即，以任何顺序涉及shuffle、iterated shuffle、concatenation、Kleene star和union的表达式，从组语言开始，总是产生正则语言。
2021-08-18 cs.FL
Regular Expressions and Transducers over Alphabet-invariant and User-defined Labels
我们感兴趣的是正则表达式和转换器，它们以字母不变的方式表示单词关系-例如，所有单词对u，v的集合，其中v是u的前缀，与字母表无关。当前的形式语言对象的软件系统不具有定义这种对象的机制。我们定义转换器中的过渡标签涉及我们所谓的集规范，其中一些是字母不变的。事实上，我们给出了自动机类型对象的更广泛的定义，称为标记图，其中每个转换标签可以是任何字符串，只要该字符串表示某个幺半群的子集。然后，标记图的行为是该幺半群的子集。我们对正则表达式做同样的事情。我们获得了一些经典的算法构造普通正则表达式和换能器在广泛的水平上的标记图的扩展，并以这样的方式，扩展的结构的计算效率不牺牲。对于具有集合规范的正则表达式，我们得到了相应的偏导数自动机。对于设置规格的换能器，我们得到进一步的算法，可以应用于独立的正则语言的问题，特别是证人版本的独立属性满意度问题。
2018-05-04 cs.FL
Efficient Construction of Reversible Transducers from Regular Transducer Expressions
正则变换类有几个等价的特征，如函数MSO变换，确定性双向变换，流式字符串变换，以及正则变换表达式（RTE）。对于算法应用，将规格（这里是RTE）转换为机器（这里是传感器）是非常常见和有用的。在本文中，我们给出了一个有效的结构的双向可逆换能器（2RFT）等价于一个给定的RTE。2RFT是一类性能良好的换能器，具有确定性和共确定性（因此允许在线性时间\wrt中评估输入字），并且其中组合仅具有多项式复杂度。我们发现，对于完整的RTE，所构造的2RFT的大小双指数的大小的表达，而如果RTE不使用Hadamard产品或链星，所构造的2RFT的大小指数的大小的RTE。
2022-02-09 cs.FL
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
INESC-ID（INESC-ID（葡萄牙国家系统与计算机工程研究所））；Universidade de Lisboa（里斯本大学）；OutSystems（OutSystems公司）；Carnegie Mellon University（卡内基梅隆大学）
基于正则表达式的表单验证器通常用于数字表单，以防止用户以错误的格式插入数据。但是，编写这些验证器可能会对某些用户构成挑战。我们提出了森林，一个正则表达式合成器的数字形式验证。FOREST生成一个正则表达式，该表达式匹配输入值所需的模式，并生成一组捕获组的条件，以确保输入中整数值的有效性。我们的合成过程是基于枚举搜索和使用可满足性模理论（SMT）求解器，探索和修剪的搜索空间。我们提出了一种新的正则表达式合成表示，多树，它诱导的例子中的模式，并使用它们来分裂的问题，通过分治的方法。我们还提出了一个新的SMT编码合成捕获条件，为一个给定的正则表达式。为了提高合成正则表达式的可信度，我们实现了基于区分输入的用户交互。我们使用正则表达式在真实世界的表单验证实例上评估了FOREST。实验结果表明，FOREST在72%的实例中成功地返回了所需的正则表达式，并优于REGEL，一个最先进的正则表达式合成器。
2020-12-28 cs.AI cs.FL
Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions
Milner（1984）引入了正则表达式的进程语义作为进程图。与语言语义不同，每个正则（即DFA接受的）语言都是对某个正则表达式的解释，有一些有限的过程图与任何正则表达式的过程解释都不是双相似的。对于可由正则表达式模双相似性表示的图的推理，希望在解释的图像中具有过程图的结构表示。对于“1-free”正则表达式，它们的过程解释满足结构属性LEE（循环存在和消除）。但这并不是所有正则表达式的普遍情况，正如我们通过示例所展示的那样。然而，作为一种补救措施，我们描述的可能性，以恢复属性LEE的过程解释的一个密切的变化。为了这个目的，我们完善的过程语义的正则表达式，以产生过程图1-过渡，类似于无声的有限状态自动机的移动。
2021-02-05 cs.FL cs.LO
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)
Milner（1984）定义了正则表达式的进程语义。他为正则表达式的过程解释的双相似性制定了一个合理的证明系统，并询问这个系统是否完整。我们报告概念上的证明，表明米尔纳的系统是完整的，通过激励，说明，并描述其所有的主要步骤。我们实质性地改进了Grabmayer和Fokkink（2020）对Milner系统限制为“1-free”正则表达式的完整性证明。作为一个关键的复杂性，我们认识到，满足分层循环存在/消除属性LLEE的空步转换的过程图在互模拟崩溃下是不封闭的（不像LLEE的过程图只有正确的步转换）。我们绕过这一障碍，定义一个LLEE保持“结晶过程”，这样的过程图。通过这种方法，我们得到了具有LLEE的“近塌缩”过程图，其强连通分量是塌缩的或具有“孪晶”形状。这种接近崩溃的过程图保证了正则表达式的过程解释的互模拟崩溃的可证明解决方案。
2022-11-09 cs.FL cs.LO
PaREM: A Novel Approach for Parallel Regular Expression Matching
正则表达式匹配对于许多应用程序都是必不可少的，例如查找文本中的模式，探索大型DNA序列中的子串或词法分析。然而，顺序正则表达式匹配对于大问题大小可能是时间限制性的。在本文中，我们描述了一个新的算法并行正则表达式匹配通过确定性有限自动机。此外，我们提出了我们的工具PaREM，接受正则表达式和有限自动机作为输入，并自动生成相应的代码，我们的算法是适合共享内存系统上的并行执行。我们评估我们的并行算法的经验，通过比较它与常用的算法顺序正则表达式匹配。在具有24个物理核的双插槽共享内存系统上的实验表明，对于48个线程，速度提升高达21倍。
2015-06-29 cs.DC cs.FL
Deterministic Regular Expressions With Back-References
大多数用于正则表达式匹配的现代库都允许反向引用（即，重复操作符），这大大提高了表达能力，但也导致棘手。为了在可表达性和易处理性之间找到更好的平衡，我们将它们与XML DTD和XML Schema中使用的正则表达式的确定性概念结合起来。这包括一个合适的自动机模型的定义，和一个推广的Glushkov建设。我们证明，与它们的非确定性超类相比，这些具有反向引用的确定性正则表达式具有理想的算法属性（即，在静态分析中，正则表达式是一个有效的可解的隶属度问题和一些可判定的问题），同时，它的表达能力超过了没有反向引用的确定性正则表达式。
2018-02-05 cs.DB cs.FL
Regular Model Checking Revisited (Technical Report)
在这方面的贡献，我们重温定期模型检验，一个强大的框架，已成功地应用于验证的无限状态系统，特别是参数化系统（并发系统与任意数量的进程）。我们提供了一个重新制定的定期模型检验与长度保持传感器在存在的二阶理论在自动结构。我们认为，这是一个自然的配方，使我们能够利用强大的综合技术，已被广泛研究的软件验证社区。更确切地说，在这个公式中，一阶部分表示所需正确性属性的验证条件（我们有完整的求解器），而存在量化的二阶变量表示要合成的关系。我们表明，许多有趣的正确性可以用这种方式制定，例如安全，活性，双相似性，和游戏。更重要的是，我们表明，这种新的配方允许新的有趣的基准（和旧的定期模型检验基准，以前被认为是困难的），特别是在参数化系统验证领域，要解决。
2021-11-21 cs.FL cs.LO
Regular Expressions in a CS Formal Languages Course
本文提出在自动机理论与形式语言课程中用基于编程的方法讲授正则表达式，借助内置正则表达式类型的 FSM 语言，将正则表达式视为可编程的单词生成算法，以激发学生兴趣并促进相关算法学习。
2023-08-14 cs.FL cs.PL
Enumerating regular expressions and their languages
在本章中，我们将讨论按大小枚举不同正则表达式的问题以及它们所代表的正则语言。我们讨论了文献中出现的正则表达式大小的各种概念及其优缺点。我们考虑使用上下文无关文法的正则表达式的正式定义。然后，我们将展示如何使用Chomsky-Schützenberger定理枚举由明确的上下文无关文法生成的字符串。这个定理允许人们构造一个代数方程，其幂级数展开提供了枚举。来自复分析的经典工具，例如奇异性分析，可以用来确定枚举的渐近行为。我们使用这些代数和分析方法来获得大小为n的正则表达式的数量的渐近估计。单个正则语言通常可以由几个正则表达式描述，我们估计了由大小为n的正则表达式表示的不同语言的数量。我们也给出了这些量的渐近估计。对于前几个值，我们提供精确的枚举结果。
2012-04-23 cs.FL math.CO
From Finite Automata to Regular Expressions and Back--A Summary on Descriptional Complexity
有限自动机和正则表达式的等价性可以追溯到1956年Kleene关于神经网络和有限自动机中的事件的开创性论文。在本文中，我们参观了一个片段的文献和总结结果的上限和下限的有限自动机转换为正则表达式，反之亦然。我们还简要地回顾了已知的边界上去除自发跃迁（ε-跃迁）的非无干扰的非确定性设备。此外，我们报告最近的结果的平均情况下的复杂性边界的转换正则表达式有限自动机和全新的发展的状态消除算法，转换有限自动机正则表达式。
2014-05-22 cs.DM cs.FL
Enumeration Problems for Regular Path Queries
正则路径查询的评价是图数据库中的一个核心问题。我们研究了相应的枚举问题，即给定一个图和一个RPQ，枚举图中所有与RPQ匹配的路。我们考虑这个问题的几个版本，对应于不同的语义RPQ，最近被认为是：任意路径，最短路径，简单的路径，和线索。尽管任意路径和最短路径可以用多项式延迟来枚举，但对于简单路径和踪迹，情况要复杂得多。例如，如果一个给定的图包含一个简单的路径或一定长度的线索的问题已经有高度非平凡的解决方案和长期存在的开放问题的情况下。在这种情况下，我们研究RPQ评估从参数化的复杂性的角度来看。我们定义了一类简单的传递表达式，这是突出的，在实践中，我们可以证明两个二分法的结果：一个简单的路径和一个路径的痕迹。我们观察到，即使简单的路径语义和线索语义是棘手的RPQ在一般情况下，他们是可行的绝大多数种类的RPQ，用户在实践中使用。这项研究的核心是对图中找到不相交路径的参数化复杂性的独立兴趣的结果：如果由两条路径之一的长度参数化，则两条不相交路径问题是W[1]-困难的。
2017-10-06 cs.DB cs.FL
A Completeness Theorem for Probabilistic Regular Expressions
该研究提出概率正则表达式（PRE）作为正则表达式的概率化变体，可表示带生成概率的概率语言，并基于Salomaa的Kleene代数公理化构建推理系统，证明其在PRE概率语言等价性推理上的完备性。
2024-05-17 cs.FL cs.LO
Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data
为给定的XML文档集合推断适当的DTD或XML模式定义（XSD）实质上简化为从正例单词集合中学习确定性正则表达式。不幸的是，没有一个算法能够只从正例中学习确定性正则表达式的完整类，正如我们将要展示的那样。然而，在实际的DTD和XSD中出现的正则表达式使得每个字母符号只出现很少的次数。因此，在实践中，学习确定性正则表达式的子类就足够了，其中每个字母符号最多出现k次，对于某个小k。我们将这样的表达式称为k-出现正则表达式（简称k-ORE）。出于这种观察，我们提供了一个概率算法，学习k-ORE的增加值的k，并选择确定性的一个最好的描述样本的基础上的最小描述长度参数。该方法的有效性在真实世界和合成数据上都得到了经验验证。此外，该方法被证明是保守的，在以前的工作中考虑的表达式的简单类。
2010-04-14 cs.DB cs.FL
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
有限自动机所接受的语言正是由正则表达式表示的语言。相比之下，有限自动机可能会表现出无法用正则表达式描述的行为。在本文中，我们考虑扩展的正则表达式的理论与各种形式的并行组合，并研究对表现力的影响。首先，我们证明了纯交错的正则表达式理论严格增加其表达性的双相似性。然后，我们证明，ACP风格的并行组合取代纯交织的操作给出了进一步增加的表现力。最后，我们证明了ACP风格的并行组合和封装的正则表达式的理论是足够的表达，以表示所有的有限自动机的双相似。我们的结果扩展了Bergstra，Bethke和Ponse的过程代数（的二元变体）Kleene的星操作的表现力的结果。
2010-11-30 cs.FL cs.LO
Forkable Regular Expressions
我们认为forkable正则表达式，丰富了正则表达式的fork操作符，建立一个正式的基础，静态和动态分析的并发程序的通信行为。我们定义了一个新的组合语义forkable表达式，建立其基本属性，并定义衍生工具，为他们的自动机的生成，匹配，和语言的包容性测试的基础。可分叉表达式可能会产生非正则语言，在一般情况下，但我们确定的表达式，保证有限的自动机建设通过衍生物的充分条件。
2015-12-08 cs.FL cs.LO cs.PL
Beyond $ω$BS-regular Languages: $ω$T-regular Expressions and Counter-Check Automata
在过去的几年里，人们提出了各种各样的ω-正则语言的扩展，包括ω B-正则语言（有界扩展的ω-正则语言），ω S-正则语言（严格无界扩展的ω-正则语言）和ωBS-正则语言（ωB-正则语言和ω S-正则语言的组合）。而前两类满足广义闭包性质，即ω B-正则的补（分别为，ω S-正则）语言是一种ω S-正则（或ω B-正则）一，最后一类在补下不闭。非ωBS-正则语言的存在是某些ω BS-正则语言的补充，并且表达了反应系统的相当自然的性质，这促使人们寻找其他行为良好的扩展ω-正则语言。本文引入了一类ωT-正则语言，它包含了非ω BS-正则的有意义语言。我们首先用ω T-正则表达式来定义它。然后，我们引入了一类新的自动机（反检查自动机），并证明了（i）它们的空性问题在PTIME中是可判定的，（ii）它们具有足够的表达能力来捕获ωT-正则语言（ωT-正则语言关于反检查自动机是否是表达完备的仍然是一个悬而未决的问题）.最后，我们给出了ω T正则表达式到S1 S +U的编码。
2017-09-07 cs.FL cs.LO
Montre: A Tool for Monitoring Timed Regular Expressions
我们提出了Montre，一个监控工具来搜索由实时行为的定时正则表达式指定的模式。我们使用定时正则表达式作为一个紧凑的，自然的，和高度表达的模式规约语言的监控应用程序，涉及定量的时间约束。我们的工具本质上结合了在线和离线定时模式匹配算法，因此它能够在记录和流行为上找到给定模式的所有出现。此外，Montre旨在通过标准接口与其他工具一起工作，以执行更复杂和多功能的任务，用于分析和推理网络物理系统。作为同类中的第一个，我们相信Montre将在这些领域实现新的调查和技术。
2017-05-06 cs.FL cs.SE
On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle
针对运行时验证中含混洗算子的正则表达式生成NFA状态过多问题，研究其偏导数的空间复杂度，发现偏导数高度最多增1、大小与原表达式成二次关系，为基于重写的RV方法提供理论支撑。
2025-08-24 cs.FL cs.LO
On Synthesis of Timed Regular Expressions
Key Lab. of System Software (CAS) Institute of Software, Chinese Academy of Sciences, \& University of Chinese Academy of Sciences Beijing, China；National Key Lab. of Space Integrated Information System Institute of Software, Chinese Academy of Sciences, \& University of Chinese Academy of Sciences Beijing, China；School of Computer Science \& MoE Key Lab. of High Confidence Software Technologies Peking University Beijing, China；School of Computer Science；Technology Tongji University Shanghai, China；Kyushu University Fukuoka, Japan.
本文研究定时正则表达式的合成问题，提出一种两步法生成与正负例一致的最小长度定时正则表达式，并证明可判定性，通过基准测试验证有效性。
2025-09-11 cs.AI cs.FL
Regular Expressions with Backreferences: Polynomial-Time Matching Techniques
针对带反向引用的正则表达式匹配的NP完全问题，提出活跃变量度参数和记忆确定性概念，实现多项式时间匹配。
2024-02-08 cs.FL cs.IR
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version)
在算法复杂性攻击中，恶意方利用算法的最坏情况行为来造成拒绝服务。一个突出的算法复杂性攻击是正则表达式拒绝服务（ReDoS），其中攻击者通过提供精心制作的输入字符串来触发匹配算法的最坏情况行为，从而利用易受攻击的正则表达式。本文提出了一种自动发现程序中的ReDoS漏洞的技术。具体来说，我们的方法自动识别程序中易受攻击的正则表达式，并确定是否可以将“邪恶”的输入字符串与易受攻击的正则表达式进行匹配。我们已经在一个名为REXPLOITER的工具中实现了我们提出的方法，并在Java Web应用程序中发现了41个可利用的安全漏洞。
2017-01-15 cs.CR cs.FL cs.PL
Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds
本文提出基于符号导数的扩展正则表达式匹配方法，支持补集、交集及正负先行/后行环视，并通过布尔代数重写优化与实现验证其有效性。
2023-09-25 cs.FL cs.PL
Real-time Regular Expression Matching
Faculty of Mechanics and Mathematics, Lomonosov Moscow State University（莫斯科国立罗蒙诺索夫大学力学与数学系）；National University of Science and Technology MISIS（国立研究型技术大学MISIS（莫斯科国立钢铁合金学院））；Neurosputnik LLC（Neurosputnik有限责任公司）；Rebis LLC（Rebis有限责任公司）
针对自动机复杂度随正则表达式长度指数增长、制约网络入侵检测系统运行的问题，本文为几类复杂正则语言的指数爆炸问题提出理论加硬件的解决方案，并以正确性与复杂度定理提供支撑。
2023-08-20 cs.CC cs.CV cs.DM
Hardness of Regular Expression Matching with Extensions
Waseda University（早稻田大学）；Chiba University（千叶大学）
本文研究了带有回溯、平方、交集和补集等扩展的正则表达式匹配问题，证明了在不同假设下这些扩展无法在特定时间内解决，揭示了ERE匹配算法的最优性。
2026-09-06 cs.CC cs.DS cs.FL
A Computational Interpretation of Context-Free Expressions
我们将上下文无关表达式的解析描述为类型栖息问题，其中值是解析树，类型是上下文无关表达式。我们首先展示了如何包含上下文无关和正则表达式可以减少到一个可达性问题，通过使用一个规范的状态表示。证明作为程序的原则产生的可达性问题的计算解释的强制转换到一个正则表达式的解析树的上下文无关的表达式。它还产生了从常规解析树到上下文无关解析树的部分强制转换。从所有单词的平凡语言到上下文无关表达式的部分强制转换对应于表达式的预测解析器。
2017-08-24 cs.FL cs.LO cs.PL
