Representation of (Left) Ideal Regular Languages by Synchronizing Automata
我们遵循语言理论的方法来同步自动机和Čern的猜想发起了一系列最近的论文。我们找到了一个精确的下界的重置复杂性的主要理想语言。此外，我们还展示了主左理想和同步自动机之间的严格联系。我们刻画了正则语言的最小确定性有限自动机是同步的，并拥有一个复位字属于公认的语言。
2014-12-21 cs.FL
Non-regular unary language and parallel communicating Watson-Crick automata systems
2006年，Czeizler等人提出了并行通信的Watson-Crick自动机系统。他们证明了并行通信的沃森-克里克自动机系统可以接受非正则一元语言L={a^（n^2），其中n>1}使用非内射互补关系和三个组件。本文改进了Czeizler等人的工作，证明了并行通信的Watson-Crick自动机系统可以只使用两个组件接受同一语言L。
2015-10-07 cs.FL
Regular Separability of One Counter Automata
本文研究了单计数器自动机语言的正则可分性问题，证明了不带零测试情形下该问题可判定且为PSpace完全，并指出一般情形不可判定。
2019-06-10 cs.FL
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
概率Büchi自动机是PFA到无限词的自然推广，但最近才被深入研究，许多有趣的问题仍然是开放的。众所周知，PBA通常接受一类超越正则语言的语言。在这项工作中，我们扩展了已知的类限制PBA仍然是经常的，强烈依赖于概念的模糊性在经典的欧米茄自动机。此外，我们还研究了尚未考虑的但自然类弱PBA的表达性，我们还表明，弱PBA的正则性问题是不可判定的。
2020-04-28 cs.FL
Partial Derivatives for Context-Free Languages: From $μ$-Regular Expressions to Pushdown Automata
我们将Antimirov的偏导数从正则表达式扩展到$μ$ -描述上下文无关语言的正则表达式。我们证明了偏导数的正确性以及迭代偏导数集合的有限性。后者被用来作为下推符号在我们的建设一个不确定的下推自动机，这推广了Antimirov的NFA建设。
2017-01-02 cs.FL
Restricted deterministic Watson-Crick automata
本文介绍了一种新的确定性Watson-Crick自动机模型，即限制确定性Watson-Crick自动机，它是一种确定性Watson-Crick自动机，其下链的互补串被限制为语言L。我们研究的计算能力的限制模型相对于L是在不同的语言类，如定期，一元定期，有限的，上下文无关和上下文敏感。我们还证明了正则语言中具有L的限制确定性沃森-克里克自动机的计算能力与确定性沃森-克里克自动机的计算能力相同，并且一元正则语言中具有L的限制确定性沃森-克里克自动机所接受的所有语言的集合是上下文自由语言的真子集。
2016-02-18 cs.FL
GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
本文介绍工具GrappaRE，它利用有限自动机和正则表达式高效识别图语言，并验证了线性时间识别性能。
2025-03-26 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
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)
基于句法幺半群概念的Eilenberg对应将正则语言的变种与有限幺半群的伪变种联系起来。这种对应关系的各种修改将更一般的正则语言类与更复杂的代数对象类联系起来。这样的广义变种也有自然的对应物，由配备了某种额外代数结构的有限自动机类形成。在这项调查中，我们概述了丰富的自动机等品种的几个变种。
2014-05-22 cs.FL
Weighted Tree Automata with Constraints
HOM问题，它询问在给定的树同态下正则树语言的图像是否再次正则，已知是可判定的[Godoy & Giménez：The HOM problem is decidable. JACM 60（4），2013]。然而，这个问题仍然是开放的常规加权树语言。证明了在无权设置中使用的主要概念，具有等式和不等式约束的树自动机，可以直接推广到加权设置，并且可以表示任何正则加权树语言在任何非删除和非擦除树同态下的图像。本文还研究了由带约束的加权树自动机生成的加权树语言的若干闭包性质和判定问题。
2023-02-07 cs.FL
Minimal Nondeterministic Finite Automata and Atoms of Regular Languages
我们研究的NFA最小化问题的原子NFA的，也就是说，NFA的每个状态的正确的语言是一个原子的工会，其中的原子的正则语言的非空的交叉的补充和非补充的语言的左分支。我们的特点是所有减少原子NFA的一个给定的语言，也就是说，那些NFA的，没有等价的状态。使用原子NFA的，我们正式Sengoku的方法NFA最小化，并证明他的方法无法找到所有最小的NFA的。我们还制定Kameda-Weiner NFA最小化方面的杂质和原子。
2013-01-23 cs.FL
A Proof of the Pumping Lemma for Context-Free Languages Through Pushdown Automata
上下文无关语言的泵引理是关于下推自动机的一个结果，它与著名的正则语言的泵引理惊人地相似。然而，虽然正则语言的引理是简单地证明使用鸽子洞原则的确定性自动机，下推自动机的引理是通过一个等价的上下文无关语言和通过更强大的奥格登引理证明。本文给出了上下文无关语言的泵引理的一个证明，它依赖于下推自动机而不是上下文无关文法。
2013-07-07 cs.FL
Dual Adjunction Between $Ω$-Automata and Wilke Algebra Quotients
本文引入lasso半群推广Wilke代数，证明有限lasso半群刻画正则lasso语言，并建立lasso自动机与自由lasso半群商之间的对偶伴随，进而将其限制到$Ω$-自动机与自由Wilke代数商之间。
2024-11-22 cs.FL
Index problems for game automata
对于一个给定的无限树正则语言，我们可以问一个非确定性的、交替的或弱交替奇偶自动机识别这种语言所需的最小优先级。这些问题分别被称为非确定性问题、交替问题和弱Rabin-Mostowski指数问题。它们是否能被有效地回答是一个长期存在的开放问题，到目前为止，只有确定性自动机（交替变体使之平凡化）可识别的语言才能解决。我们研究了一类更广泛的正则语言，可识别的所谓的游戏自动机，这可以被看作是封闭的确定性的互补和组合。已知博弈自动机可以识别交替Rabin-Mostowski索引层次中任意高的语言;也就是说，交替索引问题不再是平凡的。我们的主要贡献是，所有三个索引问题是可判定的游戏自动机识别的语言。此外，我们表明，它是可判定的，是否一个给定的正则语言可以识别的游戏自动机。
2016-05-31 cs.FL
Weighted Automata and Regular Expressions for Financial Systems
Institut für Informatik, Universität Leipzig（莱比锡大学）
本文引入加权有限金融自动机（WFFA）作为建模和分析金融系统定量属性的框架，通过股票价格、利率等不确定经济变量驱动。提出加权金融正则表达式用于描述定量金融属性，并建立WFFA与正则表达式之间的Kleene-Schützenberger型对应关系，研究WFFA的基本决策和优化问题。
2026-04-19 cs.FL
Regular languages, derivatives and finite automata
这篇报道主要是为了教育目的而写的。它是对正则语言、正则表达式和使用Brzozowski导数的正则表达式匹配的自包含介绍。因此，它主要基于Brzozowski[4]和Owens等人的工作。[12]语言基础材料的灵感来自书籍[2]和网络材料[16]。第1章介绍了形式语言的基本概念，以及字符串导数的概念。在第二章中，我们定义了正则语言类，并进一步发展了该类的导数理论。我们使用导数来证明Myhill-Nerod定理，泵引理，以及所有布尔连接词下的正则语言的封闭性。第三章介绍正则表达式和正则表达式匹配。第四章将正则语言及其导数理论与有限自动机理论联系起来。第5章介绍了锚点的概念，以及如何将其纳入基于导数的匹配器。第6章讨论了使用导数的子匹配，该方法受到Laurikari及其标记转换工作的启发[11]。这是我们认为我们对该领域的主要贡献。在最后一章，第七章，我们总结了前面讨论的技术，并给出了一个正则表达式匹配算法。我们还讨论了其他人的相关工作。
2019-07-21 cs.FL
Correcting Deterministic Finite Automata for Didactic Feedback
University of Kassel（卡塞尔大学）
针对教学反馈场景，提出用正则树语言有限刻画确定性有限自动机的全部修正，并借助过滤器筛选满足教学约束的修正，实现个性化反馈生成。
2026-10-06 cs.FL
On the Problem of Computing the Probability of Regular Sets of Trees
我们考虑的问题，计算概率的正则语言的无限树的自然硬币翻转措施。我们提出了一个算法，计算的概率的语言可识别的\emph{game automata}。特别地，该算法适用于所有确定性自动机。然后利用该算法通过实例证明了测度的三个性质：（1）存在具有无理概率的正则集，（2）存在具有概率$0$的一致正则集，（3）从自动机理论出发，当$k$为奇数时，\emph{game languages} $W_{i,k}$的概率为$0$，否则为$1$.
2015-10-06 cs.FL
Ordering Regular Languages and Automata: Complexity
给定底层字母表的顺序，我们可以将其提升到有限确定性自动机的状态：为了比较状态，我们使用字符串到达它们的顺序。当字符串的顺序是共字典序的\emph{and}时，这个顺序是全序的，DFA被称为惠勒。这种最近引入的自动机类--\emph{Wheeler automata} --构成了语言的一个重要数据结构，因为它允许设计和实现一个非常有效的转换函数存储机制工具集，支持各种各样的子串查询。在这种情况下，考虑惠勒自动机所接受的正则语言类是很自然的，即惠勒语言。在这一领域的一个鼓舞人心的结果是：它已被证明，而不是一般情况下，经典的确定由幂集建设是\emph{polynomial}惠勒自动机。因此，大多数经典问题，当考虑这类自动机，原来是“容易”-也就是说，可解决的多项式时间。在本文中，我们考虑计算问题相关的Wheelerness，但从非确定性自动机。我们还考虑的情况下，\emph{reduced}非确定性的-一类NFA的识别惠勒仍然是多项式，为DFA的。我们收集的结果表明，在大多数情况下，走向非决定论是一条危险的道路，很快就会导致棘手。此外，我们开始研究与惠勒DFA和语言相关的“状态复杂性”，证明了语言交集的经典构造在惠勒DFA上比在一般情况下计算更简单。我们还提供了一个最小的惠勒DFA识别给定的惠勒语言的建设。
2022-03-23 cs.FL
Finite Automata With Restricted Two-Way Motion
我们考虑有限的双向自动机，并通过计算接受计算中的左移次数来测量双向运动的使用。根据这一措施的自动机的限制，使我们能够详细研究使用双向运动接受正则语言的状态复杂性。给出了给定正则语言的双向谱。这个数量反映了如果双向运动的使用逐渐增加，最小接受装置的尺寸的变化。我们给出的例子光谱，证明统一的上限和下限，并研究其锐度。我们还获得了使用双向运动一致有界的双向自动机的状态复杂度结果。
2014-09-20 cs.FL
Cellular automata on regular rooted trees
我们研究了正则有根树上的元胞自动机。这包括sofic树移位的表征方面的不受限制的拉宾自动机和可判定性的满射问题之间的sofic树移位的细胞自动机。
2012-05-30 cs.DM cs.FL
Fuzzy Deterministic Top-down Tree Automata
本文介绍并研究了格L上的模糊确定自顶向下树自动机。被这些自动机识别的L-fuzzy树语言被称为DT-可识别的，并且它们形成了所有正则L-fuzzy树语言的$Rec_L$族的真子集$DRec_L$。我们证明了一个泵引理$DRec_L$从几个可判定性的结果如下。建立了$DRec_L$在各种操作下的封闭性。我们还用L-fuzzy路径语言刻画了DT-可识别性，证明了正则L-fuzzy树语言的路径闭包是DT-可识别的，正则L-fuzzy树语言是否是DT-可识别的是可判定的.在大多数的文章中，L只是任何非平凡的有界格，但有时它被假定为分配的，甚至是一个有界链。
2019-11-26 cs.FL
Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching
自动机在广泛的计算领域中扮演着重要的角色，而多核的发展要求其高效的并行实现。虽然在理论上我们知道我们可以通过模拟转换来并行地执行有限自动机的计算，但是由于模拟，其实现具有很大的开销。在本文中，我们提出了一个新的自动机称为同时有限自动机（SFA）的有效并行计算的自动机。其关键思想是扩展自动机，使其包含转换的模拟。由于SFA本身具有良好的并行性，我们可以很容易地开发一个并行实现没有开销。我们已经实现了一个基于SFA的正则表达式匹配器，在典型的情况下，它已经实现了10倍以上的加速在双六核CPU的环境。
2014-05-03 cs.FL
Automata and Reduced Words in the Free Group
我们考虑了一些关于形式语言的问题，这些问题是在定义字母、单词和语言的逆时出现的。语言在自由幺半群上的约化表示是它在自由群中的唯一等价表示。我们证明了正则语言类在约简表示下是封闭的，而上下文无关语言类则不是。我们还给出了正则语言的约简表示的状态复杂度的上界，并证明了正则语言的最短可约串长度的上界和下界。最后，我们证明了正则语言中等价于词的所有词的集合可以是非正则的，并且正则语言在取约化表示的广义形式下是不封闭的.
2009-10-23 cs.FL
On the Boolean Closure of Deterministic Top-Down Tree Automata
本文研究确定性自顶向下树自动机识别语言的布尔组合类，给出该类的一个自然扩展刻画，并证明固定k时成员判定问题可判定。
2024-01-12 cs.FL
On the Regular Emptiness Problem of Subzero Automata
次零自动机是一类树自动机，其接受条件可以表示概率约束。我们的主要结果是，如果一个零以下自动机接受一些正规树的问题是可判定的。
2016-08-11 cs.FL cs.LO
Value Automata with Filters
我们建议研究带过滤器的值自动机，这是规则成本自动机对不确定性的自然推广。诸如加权自动机和Parikh自动机之类的模型自然地作为专门化出现。这个模型的表现力的结果提供了一个一般的理解的行为模型，出现的特殊情况。这种限制的风景画。
2015-10-08 cs.FL
Finitary languages
欧米茄正则语言类为验证提供了一种健壮的规约语言。每一个Ω正则条件都可以分解为安全部分和活性部分。活跃的部分确保了“最终”会有好事发生。有限活性是由Alfred和Henzinger提出的，作为活性的一个更强的表述。它要求存在一个未知的、固定的边界b，使得在b个变迁中发生一些好的事情。在这项工作中，我们认为自动机有限的接受条件定义有限Buchi，奇偶校验和Streett语言。我们研究语言表达这样的自动机：我们给他们的拓扑复杂性，并提出了一个正则表达式表征。我们比较了有限自动机的表达能力，并给出了经典决策问题的最优算法。我们证明了有限语言是Sigma 2-完全的，给出了具有有限和无限接受条件的各类自动机的表达能力的完整图像，证明了由有限奇偶自动机定义的语言精确地刻画了Omega B-正则语言的无星片段;证明了空性是NLOGSPACE-完全的，普适性和语言包含是PSPACE-完全的。
2011-01-10 cs.FL
Büchi-like characterizations for Parikh-recognizable omega-languages
Büchi定理指出$ω$ -正则语言被描述为$\bigcup_i U_i V_i^ω$形式的语言，其中$U_i$和$V_i$是正则语言。Parikh自动机是有限字上的自动机，其转换配备有正整数向量，其和可以在给定的半线性集合中测试成员资格。我们给出了一个直观的自动机理论表征语言的形式$U_i V_i^ω$，其中$U_i$和$V_i$ Parikh可识别。此外，我们表明，这种语言的类，其中$U_i$是Parikh可识别的和$V_i$是正规的是完全捕获的Klaedtke和Ruess提出的模型[自动机，语言和编程，2003年]，这再次相当于（一个小的修改）可达性Parikh自动机介绍了Guha等人。[FSTTCS，2022]。我们通过引入一个模型来完成这项研究，该模型可以准确地捕获正则$U_i$和Parikh可识别的$V_i$的语言。
2023-02-08 cs.FL
Root-Weighted Tree Automata and their Applications to Tree Kernels
在本文中，我们定义了一种新的加权树自动机的权重只支持的最终状态。我们表明，这些自动机是sequentializable，我们研究他们的封闭下经典的定期和代数运算。然后，我们使用这些自动机计算两个有限树语言的子树核在一个有效的方式。最后，我们提出了一些观点涉及根加权树自动机。
2015-01-16 cs.FL
Automata on Graph Alphabets
EPITA Research Lab (LRE)（EPITA研究实验室）；LMF, Université Paris-Saclay（巴黎萨克雷大学LMF）
本文研究了基于图字典的自动机理论，提出了图字典上的正则语言定义，并探讨了其与传统正则语言的异同。
2026-02-10 cs.FL
Treating Insomnia, Amnesia, and Acalculia in Regular Expression Matching
正则表达式为匹配字符串提供了一种灵活的方法，它们经常用于数据密集型应用程序。它们在形式上等价于确定性有限自动机（DFA）或非确定性有限自动机（NFA）。DFA和NFA都受到两个问题的影响，即健忘症和计算能力不足，DFA也受到失眠症的影响。现有的技术需要一个自动机转换和压缩的步骤，防止使用现有的自动机数据库，并阻碍了所得到的紧凑的自动机的维护。在本文中，我们提出了并行有限状态机（PFSMs），它能够运行任何DFA或NFA的状态机，而无需先前的转换或压缩步骤。PFSM在线报告在输入字符串中找到的所有匹配，并解决了上述三个问题。并行有限状态机需要二次时间和线性存储器，并且它们是可分布的。并行有限状态机使数据密集型应用程序中的快速分布式正则表达式匹配成为可能。
2011-11-05 cs.FL
Testing the Equivalence of Regular Languages
最小确定性有限自动机通常用于判定正则语言的相等性。Antimirov和Mosses提出了一个重写系统来决定正则表达式的等价性，Almeida等人提出了一个改进的变体。Hopcroft和Karp提出了一个几乎线性的算法来测试两个确定性有限自动机的等价性，避免了最小化。在本文中，我们改进了最佳情况下的运行时间，提出了一个扩展的非确定性有限自动机的算法，并建立了该算法之间的关系，提出了在Almeida等人，我们还提出了一些实验比较结果。这些算法都与Rutten提出的自动机的共代数方法密切相关。
2009-07-29 cs.FL
From Finite Automata to Regular Expressions and Back--A Summary on Descriptional Complexity
有限自动机和正则表达式的等价性可以追溯到1956年Kleene关于神经网络和有限自动机中的事件的开创性论文。在本文中，我们参观了一个片段的文献和总结结果的上限和下限的有限自动机转换为正则表达式，反之亦然。我们还简要地回顾了已知的边界上去除自发跃迁（ε-跃迁）的非无干扰的非确定性设备。此外，我们报告最近的结果的平均情况下的复杂性边界的转换正则表达式有限自动机和全新的发展的状态消除算法，转换有限自动机正则表达式。
2014-05-22 cs.DM cs.FL
Ultrametric Convergence of Guarded Automata and Applications to Structural Input Validation
Paisii Hilendarski University of Plovdiv（普洛夫迪夫帕伊西·希伦达斯基大学）
该研究为确定有限自动机语言等价类配备超度量并识别相关空间，利用受保护语言算子的皮卡迭代收敛特性，构造深度受限自动机用于结构输入验证，并概述了实用的WAF管道，避免正则表达式和上下文无关解析器的问题。
2026-07-22 cs.FL
Commutative Regular Languages with Product-Form Minimal Automata
我们介绍了一个子类的交换正则语言，其特征在于由属性的最小确定性自动机的状态集可以被写为一定的笛卡尔积。这个类在shuffle的状态复杂度方面表现得更好，如果输入语言具有状态复杂度$n$和$m$，则我们可以找到它的边界~ $2nm$，以及向上和向下闭包和内部操作，我们可以找到它的边界~ $n$。一般来说，在可交换的情况下，对于这些运算，只有边界$(2nm)^{|Σ|}$和$n^{|Σ|}$是已知的。我们证明了这个类的不同特征，并提出了结果，从这个类构建语言。最后，在一个稍微更一般的设置部分交换性，我们介绍其他相关的语言类，并调查它们之间的关系。
2021-11-26 cs.FL
Image-Binary Automata
我们在有理数上引入加权自动机的某种限制，称为图像二进制自动机。我们表明，这样的自动机接受的正则语言，可以比相应的NFA指数更简洁，并允许多项式互补，工会和交叉。这与明确的自动机相比，其互补需要一个超多项式状态爆破。我们还研究了无限词版本，图像二进制Büchi自动机。我们表明，这样的自动机是服从概率模型检验，类似于明确的Büchi自动机。我们提供的算法来翻译$k$模糊的Büchi自动机的图像二进制Büchi自动机，导致模型检测算法具有最佳的计算复杂性。
2022-03-28 cs.FL
Automata Tutor v3
计算机科学课程的注册人数在过去十年中迅速上升。随着目前的班级规模，标准的方法来评分和提供个性化的反馈不再是可能的，新的技术变得既可行又必要。在本文中，我们提出了第三版的自动机导师，一个工具，帮助教师和学生在大型课程的自动机和形式语言。Automata Tutor的第二个版本支持有限自动机构造的自动评分和反馈，已经被数十个国家的数千名用户使用。这个新版本的自动机导师支持自动评分和反馈生成的新问题，包括要求学生创建正则表达式的问题，上下文无关文法，下推自动机和对应于给定描述的图灵机，以及关于等效模型之间转换的问题-例如，从正则表达式到非确定性有限自动机。此外，对于一些问题，这个新版本还使教师和学生能够自动生成新的问题实例。我们还提出了一个类的950名学生，这表明非常积极的结果的可用性和实用性的工具上运行的调查结果。
2020-05-14 cs.FL
$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
本文提出直接从基于迁移的 Büchi 自动机合成 ω-正则表达式的新方法，证明其可靠完备，并实验表明所得表达式更紧凑，对 recurrence 型 LTL 公式平均缩减超 50%，且能处理更多 LTL 公式。
2024-06-12 cs.FL
A novel family of finite automata for recognizing and learning $ω$-regular languages
本文提出极限FDFA这一新型 $\omega$-正则语言表示，分析其与已有规范FDFA的简洁性和对偶关系，并结合循环FDFA及Myhill-Nerode右同余缩小进展自动机。
2023-07-14 cs.FL
On Varieties of Ordered Automata
Eilenberg对应将正则语言的变种与有限幺半群的伪变种联系起来。这种对应关系的各种修改已经被发现，一方面是更一般的正则语言类，另一方面是更复杂的代数结构类。也可以考虑自动机类而不是代数结构作为语言类的自然对应物。在这里，我们处理的对应关系积极的$\mathcal C$ -品种的语言，积极的$\mathcal C$ -品种的有序自动机，我们提出了各种具体的情况下，这种对应关系。这些从一个新的角度带来了一些众所周知的结果，也带来了一些新的观察。此外，复杂性方面的成员资格问题进行了讨论，在特定的例子和一般设置。
2019-03-19 cs.FL
Mata, a Fast and Simple Finite Automata Library (Technical Report)
本文介绍了一个用 C++ 编写的快速且简单的有限自动机库 Mata，它实现了模拟归约和反链语言包含检查等算法，提供 C++ 和 Python 接口，并在大规模基准上显著快于其他自动机库，同时支撑了高性能字符串求解器 Z3-Noodler。
2024-03-27 cs.FL
Myhill-Nerode Theorem for Higher-Dimensional Automata
EPITA Research Laboratory (LRE)（EPITA研究实验室）；University of Warsaw（华沙大学）
本文提出更高维自动机的Myhill-Nerode定理，指出语言正则当且仅当其前缀商有限。引入确定性更高维自动机，证明并非所有更高维自动机均可确定化。进一步发展了更高维自动机的Myhill-Nerode构造及其确定性理论。
2024-09-11 cs.FL
Better Automata through Process Algebra
本文展示了如何使用结构操作语义（SOS）的风格推广的进程代数社区可以导致一个更简洁和有用的建设有限自动机从正则表达式。这样的构造已经知道了几十年，并且形成了Kleene定理的一个方向的证明的基础。新的建设的目的是，一方面，向学生展示如何小自动机可以构建，而不需要空的过渡，另一方面，以显示如何建设方法承认关闭证明正则语言相对于其他运营商以及。这些结果，虽然在理论上并不令人惊讶，但指出了过程代数研究的额外影响：除了提供对并发计算性质的基本见解之外，它还为自动机理论中的旧的，众所周知的结构提供了新的见解。
2020-02-18 cs.FL
Canonical Algebraic Generators in Automata Learning
本文研究自动机学习中规范最小接受器的存在性问题，针对非确定性有限自动机缺乏唯一规范代表的问题，识别出允许存在规范最小规模代表的接受器子类。
2023-08-08 cs.FL
Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata
我们研究了一个只允许测量操作的单向量子自动机模型（MOn-1 qfa）。给出了LMO的一个代数刻画，证明了LMO语言的句法幺半群是J-平凡字面幂等幺半群的字面伪簇，其中J是由双边理想确定的Green关系.我们还证明了LMO与字面幂等分段可测试正则语言的字面簇一致。这使我们能够证明存在一个多项式时间算法来决定一个正则语言是否属于LMO。
2012-07-16 cs.FL
Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata
Technische Universität Dresden（德累斯顿工业大学）
本文提出使用确定性有限自动机族(FDFA)和无歧义有限自动机族(FUFA)表示ω-正则性质，并给出多项式时间算法计算离散时间马尔可夫链满足该性质的概率，其中FUFA比FDFA更简洁。
2026-06-29 cs.FL
Automata for the commutative closure of regular sets
针对有限字母表生成的自由幺半群中单词交换像的概念，提出一种代数方法的简单算法：给定正则集$L$，若其交换闭包${C}(L)$正则，可生成接受该闭包的有限状态自动机。
2025-04-15 cs.FL
Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
Laboratoire de Recherche de l’EPITA（EPITA研究实验室）；ICube, UMR 7357, Université de Strasbourg（斯特拉斯堡大学）
本文提出IdMAT新教师形式化方法及LIndA算法，用于自动机学习中的归纳不变量合成，通过SAT求解处理不确定性与反例。
2026-04-08 cs.FL
Sequential Circuits from Regular Expressions Revisited
我们重新审视长期被忽视的问题，时序电路建设的正则表达式。由时序电路识别的语言类等价于正则语言类。这个事实在[5]中与正则表达式的归纳构造技术一起展示。在这篇笔记中，我们提出了一个替代算法，称为的跟随集方法，通过反转著名的跟随集方法来构造自动机。我们使用我们的算法来获得一个基于时序电路的正则表达式匹配器。最后，我们报告我们的性能结果与现有的基于自动机的匹配。
2018-01-26 cs.FL
Descriptional Complexity of Finite Automata -- Selected Highlights
University of Turku（图尔库大学）；Queen’s University（女王大学）；St. Francis Xavier University（圣弗朗西斯泽维尔大学）
研究有限自动机的描述复杂性，探讨非确定性自动机的大小比较及更强大语言定义机制下的非递归权衡。
2024-07-04 cs.FL
Operations on Automata with All States Final
我们研究的复杂性的语言表示的不完全确定性或非确定性自动机，其中所有的状态是最终的基本常规操作。这种语言被称为前缀封闭的。我们得到严格的界限上的不完整和不确定的状态复杂性的补充，交叉，工会，串联，明星，和逆转前缀封闭的语言。
2014-05-22 cs.FL
Label Cuts in Layered Automata: Short Explanations for the Regular Constraint
Southern University of Science and Technology（南方科技大学）；Guangdong Police College（广东警官学院）
本文研究 Regular 约束的 LCG 解释，证明值删除解释等价于分层 DFA 的标签 s-t 割，确立最小权重解释的 NP 完全性，提出包含最小解释的多项式算法和精确动态规划，实验表明最小标签割显著缩短解释并高效运行。
2026-10-02 cs.FL
Eve-positional languages: putting order into Büchi automata
Université Paris Cité, CNRS, IRIF（巴黎西岱大学、法国国家科学研究中心、IRIF研究所）
本研究提出一种基于受限非确定性Büchi自动机的新形式体系，刻画Eve位置ω-正则语言，补全既有研究的缺失结论，给出阶乘级规模膨胀的确定化方法，并证明其状态最优性。
2026-04-24 cs.FL
