首页/论文/1002.2203

arXiv 1002.22032010-02-10cs.FL

正则表达式成员关系的一种证明方法

A proof Procedure for Testing Membership in Regular Expressions

Keehang Kwon, Hong Pyo Ha, Jiseung Kim

备注：: IEEE format, International Journal of Computer Science and Information Security, IJCSIS January 2010, ISSN 1947 5500, http://sites.google.com/site/ijcsis/
发表信息：: International Journal of Computer Science and Information Security, IJCSIS, Vol. 7, No. 1, pp. 225-227, January 2010, USA

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们提出了一个算法，测试成员的正则表达式，并表明该算法是正确的。该算法是以防篡改系统的风格编写的。与传统算法相比，该算法的优点是不需要从正则表达式到有限自动机的复杂转换过程。因此，我们的算法是简单的，很容易扩展到各种扩展的正则表达式，如定时正则表达式或正则语言的交集。

英文摘要：

We propose an algorithm that test membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The advantage of this algorithm over traditional ones is that the complex conversion process from regular expressions to finite automata is not needed. As a consequence, our algorithm is simple and extends easily to various extensions to regular expressions such as timed regular expressions or regular languages with the intersection.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

有限半群伪簇的有效隶属度检验

Efficient Membership Testing for Pseudovarieties of Finite Semigroups

我们考虑了判定有限半群对固定伪簇的隶属关系的复杂性。虽然已知存在具有NP完全或甚至不可判定的成员问题的伪簇，但对于许多已知的伪簇，已知问题在多项式时间内是可判定的。我们证明，对于许多这些伪簇，成员问题实际上是在AC^0。为此，我们表明，这些伪变种可以由一阶句子的特点与乘法作为唯一的谓词。我们证明了封闭性质的类的伪变种与这样的一阶描述下各种著名的操作，特别是，如果V可以描述的一阶句子，然后DV，LV，和Mal'cev产品的K，D，N，LI，LG与V是一阶可定义的。此外，如果H是有限群的一阶可定义伪簇，则子群在H中的所有有限半群的伪簇都是一阶可定义的。我们的形式主义也是强大的，足以捕捉所有的伪变种特征的有限集的欧米茄身份。从电路复杂性的下界出发，得到了证明伪簇V不能由这样的集合定义的新方法：如果V中的成员对PARITY是困难的，则它不能在这个逻辑中定义，因而不能用许多Ω-恒等式来描述.我们表明，EA的成员是L-完全的，从而提高了以前的复杂性结果，并获得了一个新的证明，伪品种不能描述的1000多Ω-身份在同一时间。

2018-06-15cs.FL

时间自动机的成员检验

Testing Membership for Timed Automata

给定一个定时自动机，它承认厚组件和定时字$x$，我们提出了一个测试器，决定如果$x$是在语言的自动机或如果$x$是$ε$ -远离语言，使用大量的样本从加权时间分布$μ$与输入$x$。我们引入了一个时间词之间的距离，{ \em定时编辑距离}，它概括了经典的编辑距离。定时单词$x$是$ε$ -如果它与定时语言的相对距离大于$ε$，则远离该语言。

2023-03-28cs.CCcs.FLcs.LO

正则语言中的条件成员关系

Conditional Membership in Regular Languages

Univ. Lille, INRIA, CNRS, Centrale Lille, UMR 9189 CRIStAL（里尔大学、法国国家信息与自动化研究所、法国国家科学研究中心、中央理工学院里尔分校、CRIStAL实验室）

本文将正则语言成员关系转化为条件成员关系这一承诺问题，研究其确定性最坏情况查询复杂度，证明复杂度分为三类情况且该三分法准则可判定，判定过程为PSPACE完全问题。

2026-10-14cs.FL

Pol（C）的一般特征

A generic characterization of Pol(C)

我们研究了定义在正则语言类上的多项式闭包运算（C -> Pol（C））。我们提出了一个有趣的和有用的连接有关的分离问题的类C和它的多项式闭包Pol（C）的成员问题。这种联系被公式化为Pol（C）的代数特征，当C是正则语言的任意\pvari且其语句由C-分离参数化时，Pol（C）的代数特征成立。它的主要应用是从Pol（C）-隶属度到C-分离度的有效约简。因此，一旦设计了C-分离算法，这就为更复杂的类Pol（C）“免费”产生了成员资格算法。

2018-02-16cs.FL

正则树语言的动态成员问题

Dynamic Membership for Regular Tree Languages

针对重标记更新下正则树语言的动态成员问题，提出任意固定正则树语言的$O(\text{log}n/\text{log log}n)$算法，引入几乎交换树语言类并证明其常数时间更新特性，还证明该类在中性字母存在时的条件最优性。

2025-07-02cs.DScs.FL

Watson-Crick上下文无关文法成员问题的实用性

Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars

本文重点介绍受DNA计算启发的沃森-克里克语言，它们的模型，以及决定语言成员的算法。它分析了最近推出的算法WK-CYK，并介绍了一种状态空间搜索算法，该算法基于常规的广度优先搜索，但使用了一些优化和算法，以提高实际使用的效率，并能够分析较长的输入。关键部分是修剪状态空间（检测死端）的算法和选择最有希望的分支继续搜索的算法。这两个算法已经测试了20个不同的沃森-克里克文法（40个，包括他们的乔姆斯基范式版本）。虽然WK-CYK能够在合理的时间内为大约30-50个符号长度的输入确定语言成员，并且其性能对于所有类型的语法和输入都非常一致，但状态空间搜索通常（89- 98%的情况）更有效，并且能够对数百甚至数千个符号长度的输入进行计算。因此，状态空间搜索有可能成为一个很好的工具，实际沃森-克里克成员测试，是一个很好的基础，提高算法的效率在未来。

2022-09-08cs.FL

更多相关论文收起更多论文

点深度三级：J类的回归

Dot-depth three, return of the J-class

本研究针对正则语言连接层次的成员资格判定难题，给出BPol算子的通用代数刻画，证明n≥2时第n层成员资格可归约为n-1层的覆盖问题，结合已有结果证明点深度三层及多类主流层次二层的成员资格可判定。

2024-01-29cs.FL

正则语言的动态成员关系

Dynamic Membership for Regular Languages

我们研究了正则语言的动态成员问题：固定一个语言L，读取一个单词w，在时间O（|w|）内建立一个数据结构，指示w是否在L中，并在w上的字母替换下有效地维护这个结构。我们考虑这个问题的单位成本的RAM模型与对数字长，其中的问题总是有一个解决方案在O（log |w| / log log |w|）每操作。我们表明，这个问题是在O（日志日志|w|）的语言在代数定义的，可判定类QSG，它是在O（1）的另一个这样的类QLZG。我们表明，语言不QSG承认减少从前缀问题的循环群，使他们需要Ω（log |w| / log log |w|）操作在最坏的情况下，和QSG语言不QLZG承认减少从前缀问题的乘法幺半群U 1 = {0，1}，我们猜想不能保持在O（1）。这就产生了一个有条件的可分性。我们还研究了O（1）和O（log log |w|）之间的中间情况。我们的结果通过么半群和半群的动力字问题给出，并给出了它们的分类。因此，我们解决了Skovbjerg Frandsen，Miltersen和Skyum [30]关于动态词问题的论文中的开放问题，并另外涵盖了正则语言。

2021-06-04cs.DScs.FL

约束表达式及其导数

Constrained Expressions and their Derivatives

本文提出了一个扩展到经典的正则表达式，增加了两个操作符，允许包含布尔公式的零阶逻辑。这些表达式称为约束表达式。由于解释和实现的概念，相关的语言被定义。我们表明，相关的语言时，解释和实现是固定的是严格正规的，否则可以不正规。此外，为了解决一般情况下的成员资格测试，我们使用了一个扩展的Antimirov偏导数。最后，我们表明，一旦解释是固定的，成员资格测试的一个词在语言中表示的约束表达式可以是不可判定的，而它总是可判定的解释是不固定的。

2015-10-08cs.FL

语言识别问题的流算法

Streaming algorithms for language recognition problems

我们研究了流模型中以下问题的复杂性。\DLIN的成员测试我们证明了\DLIN中的每种语言都可以被具有逆多项式单侧误差的随机单通道$O(\log n)$空间算法和确定性p通道$O(n/p)$空间算法识别。我们证明了这些算法是最优的。成员资格测试\LL $(k)$对于语言生成的\LL $(k)$文法与一个界的$r$的数量在任何阶段的非终端在最左边的推导，我们表明，成员资格可以测试一个随机的一遍$O(r\log n)$空间算法与逆多项式（在$n$）单侧错误。\DCFL的成员资格测试我们证明了，像上面描述的\DLIN \和$\LL(k)$（它们是\DCFL的子类）一样有效的随机算法不可能存在于所有的\DCFL中：在\VPL \（\DCFL的子类）中有一种语言，对于这种语言，任何具有$ε< 1/2$误差边界的随机p-遍算法必须使用$Ω(n/p)$空间。度序列问题我们研究的问题确定，给定一个序列$d_1, d_2,..., d_n$和一个图$G$，是否度序列的$G$正是$d_1, d_2,..., d_n$。我们给出了一个具有逆多项式单边错误概率的随机化单遍$O(\log n)$空间算法。我们表明，我们的算法是最优的。我们的随机化算法是基于Magniez等人最近的工作。\cite{MMN09}，我们的下界是通过考虑相关的通信复杂性问题。

2011-04-05cs.DScs.FL

分离问题的一个转移定理

A Transfer Theorem for the Separation Problem

我们研究了C类正则词语言的两个问题。C-成员问题需要一个算法来判断输入语言是否属于C。C-分离问题要求一种算法，给定两种正则语言作为输入，判断C中是否存在包含第一种语言的第三种语言，同时与第二种语言不相交。这些问题被认为是手段，以获得一个深刻的理解类C。这类类通常由逻辑形式定义。逻辑通常通过添加新的谓词建立在彼此之上。一个自然的结构是用后继关系来丰富逻辑。本文给出了两个转移结果的简单的自包含证明：证明了对于适当的逻辑定义类，成员关系，用后继关系丰富的类的分离问题简化为原始类的相同问题。我们的约简对有限词和无限词的语言都有效。证明大多是自包含的，只需要正则语言的基本背景。因此，本文给出了新的，简单的证明结果，被认为是困难的，如决定性的隶属度问题的水平1，3/2，2和5/2的点深度层次。

2015-01-03cs.FL

$2\times 2$整数矩阵成员问题的判定性

Decidability of the Membership Problem for $2\times 2$ integer matrices

本文的主要结果是$2\times 2$非奇异整数矩阵隶属度问题的可判定性。也就是说，我们将构造第一个算法，对任何非奇异的$2\times 2$整数矩阵$M_1,\dots,M_n$和$M$决定$M$是否属于由$\{M_1,\dots,M_n\}$生成的半群。我们的算法依赖于一个翻译的矩阵上的数值问题的组合问题的话。它还利用了$\mathrm{GL}(2,\mathbb{Z})$的一些著名子群的代数性质和各种新的技术和构造，这些技术和构造通过将它们简化为正则语言的成员问题来帮助限制无限数量的可能性。

2016-04-08cs.DMcs.FL

多核、SIMD和云计算环境下的推测并行DFA成员测试

A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments

我们提出的技术，并行化的确定性有限自动机（DFA）的成员资格测试。我们的方法通过使用推测并行匹配多个字节来搜索任意正则表达式。我们将输入字符串划分为块，并行匹配块，并组合匹配结果。我们的并行匹配算法利用结构DFA属性，以尽量减少投机开销。与以前的方法不同，我们的推测是无故障的，即，(1)保持了顺序语义，以及（2）完全避免了减速。在具有用于索引内存加载的SIMD查询操作的架构上，我们的匹配操作是完全向量化的。建议的负载平衡方案使用一个离线分析步骤，以确定每个participating处理器的匹配能力。基于匹配能力，DFA匹配在诸如云计算环境的非同构并行架构上负载平衡。我们评估了我们的投机DFA成员测试的一组代表性的基准，从Perl兼容的正则表达式（PCRE）库和PROSITE蛋白质数据库。评估在英特尔众核测试实验室（英特尔MTL）的4 CPU（40核）共享内存节点、用于8路完全矢量化SIMD执行的英特尔AVX2 RISC模拟器以及Amazon EC2计算云上的20节点（288核）群集上进行。

2013-07-22cs.DCcs.FL

正则语言的等价性检验

Testing the Equivalence of Regular Languages

最小确定性有限自动机通常用于判定正则语言的相等性。Antimirov和Mosses提出了一个重写系统来决定正则表达式的等价性，Almeida等人提出了一个改进的变体。Hopcroft和Karp提出了一个几乎线性的算法来测试两个确定性有限自动机的等价性，避免了最小化。在本文中，我们改进了最佳情况下的运行时间，提出了一个扩展的非确定性有限自动机的算法，并建立了该算法之间的关系，提出了在Almeida等人，我们还提出了一些实验比较结果。这些算法都与Rutten提出的自动机的共代数方法密切相关。

2009-07-29cs.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-31cs.FL

正序成员在正则语言中的问题

Out-of-Order Membership in Regular Languages

Univ. Lille, INRIA, CNRS, Centrale Lille, UMR 9189 CRIStAL（里尔大学、法国国家信息与自动化研究所、法国国家科学研究中心、中央里尔学院）

研究正则语言中在对抗性顺序下判断单词成员的高效算法，揭示了单调和半群的空问复杂度特性。

2026-05-08cs.DScs.FL

局部可测试树语言的一个可判定特征

A decidable characterization of locally testable tree languages

一个正则树语言L是局部可测试的，如果一棵树在L中的成员资格只依赖于树中某个固定邻域集的存在或不存在。本文证明了正则树语言是否局部可测是可判定的。的可判定性排名的树和无序的树。

2011-11-19cs.FL

近似正则表达式的导数

Derivatives of Approximate Regular Expressions

我们的目标是构造一个有限自动机来识别给定正则语言中与某个词有界距离的词集。我们定义了新的正则算子，相似性算子，基于距离概念的推广，我们引入了扩展到相似性算子的正则表达式家族，我们称之为ARE（近似正则表达式）。我们设置公式来计算的Brzozowski衍生物和Antimirov衍生物的一个ARE，这使我们能够给一个解决方案的ARE成员问题，并提供两个识别器的建设表示的语言的ARE。据我们所知，本文首次引入了近似正则表达式族。经典的正则表达式近似匹配算法是正则表达式上的近似匹配算法。我们的方法是处理近似正则表达式的精确匹配。

2012-06-26cs.FL

Baumslag-Solitar群的有理子集

Rational subsets of Baumslag-Solitar groups

我们考虑Baumslag-Solitar群的有理子集成员问题。这些群体形成了算法群论领域中的一个突出类别，它们最近被认为是理解$\text{GL}(2,\mathbb{Q})$的合理子集的障碍。证明了具有$q\ge 2$的Baumslag-Solitar群$\text{BS}(1,q)$的有理子集成员是可判定的和PSPACE-完全的.为此，我们介绍了一个字表示的元素$\text{BS}(1,q)$：他们的点扩展（PE），一个注释$q$ -ary扩展。将$\text{BS}(1,q)$的子集看作单词语言，这就引出了$\text{BS}(1, q)$的PE-正则子集的自然概念：这些是$\text{BS}(1,q)$的子集，其PE集是正则语言。证明了$\text{BS}(1,q)$的每个有理子集都是PE-正则的。由于$\text{BS}(1,q)$的PE-正则子集类具有良好的封闭性，我们得到了这些结果的进一步应用.我们的结果意味着：（i）空性的合理子集的布尔组合是可判定的，（ii）成员的每个固定的合理子集的$\text{BS}(1,q)$是可判定的对数空间，和（iii）它是可判定的是否一个给定的合理子集是可识别的。特别地，它是可判定的，是否给定的$\text{BS}(1,q)$的一个随机生成的子群具有有限的指数。

2020-06-21cs.FLmath.GR

带反向引用的确定性正则表达式

Deterministic Regular Expressions With Back-References

大多数用于正则表达式匹配的现代库都允许反向引用（即，重复操作符），这大大提高了表达能力，但也导致棘手。为了在可表达性和易处理性之间找到更好的平衡，我们将它们与XML DTD和XML Schema中使用的正则表达式的确定性概念结合起来。这包括一个合适的自动机模型的定义，和一个推广的Glushkov建设。我们证明，与它们的非确定性超类相比，这些具有反向引用的确定性正则表达式具有理想的算法属性（即，在静态分析中，正则表达式是一个有效的可解的隶属度问题和一些可判定的问题），同时，它的表达能力超过了没有反向引用的确定性正则表达式。

2018-02-05cs.DBcs.FL

模型检验正则语言约束

Model Checking Regular Language Constraints

即使是最快的SMT求解器在处理来自真实程序的正则表达式时也会遇到性能问题。由于这些性能问题通常来自问题表示（例如，非确定性有限自动机得到确定和正则表达式得到展开），我们重新审视布尔有限自动机，它允许直接和自然的表示任何正则语言的布尔组合。将IC3模型检验算法应用于布尔有限自动机，不仅可以有效地回答空性和普适性问题，而且通过扩展，可以判定多变量串成员问题的可满足性。我们证明了所产生的系统的有效性，一些流行的基准和正则表达式。

2017-08-30cs.FLcs.LOcs.SC