Weighted finite automata with output
在本文中，我们证明了等价的顺序，Mealy-type和Moore-type加权有限自动机的输出，相对于各种语义，这里定义的。
2014-10-09 cs.FL
Multi-head Watson-Crick quantum finite automata
Watson-Crick量子有限自动机是Ganguly等人结合DNA和量子自动机的性质提出的。在本文中，我们介绍了一个多头版本的上述自动机。我们进一步表明，多头变种是计算上更强大的单向多头可逆有限自动机。事实上，我们还表明，多头变体接受的语言是不接受任何单向多头确定性有限自动机。
2020-04-20 cs.FL
Representation of (Left) Ideal Regular Languages by Synchronizing Automata
我们遵循语言理论的方法来同步自动机和Čern的猜想发起了一系列最近的论文。我们找到了一个精确的下界的重置复杂性的主要理想语言。此外，我们还展示了主左理想和同步自动机之间的严格联系。我们刻画了正则语言的最小确定性有限自动机是同步的，并拥有一个复位字属于公认的语言。
2014-12-21 cs.FL
On Basic Properties of Jumping Finite Automata
我们完成了对跳跃有限自动机的初步研究，这是在Meduna和Zemek \citep{athMED1}的前一篇文章中开始的。解决了关于基本闭包性质的公开问题。此外，还修正了文中的错误结果.最后，我们指出跳跃有限自动机与文献中研究的其他一些模型之间的重要联系。
2015-12-02 cs.FL
Generalized Linear One-Way Jumping Finite Automata
H。千原等该模型是跳跃有限自动机模型的一个限制版本。这些自动机逐个符号地读取输入，并且只向一个方向跳跃。广义线性单向跳跃有限自动机在删除输入串的子串后进行跳跃，然后改变其状态。这些自动机只能在输入字符串上从左到右或从右到左的一个方向上进行跳跃序列。我们表明，新定义的模型是强大的比原来的对应。定义并比较了广义右线性单向跳有限自动机和广义左线性单向跳有限自动机。我们还比较了新定义的模型与Chomsky层次。最后，我们探讨了模型的闭包性质。
2021-06-05 cs.FL
Exact generation of acyclic deterministic finite automata
给出了k个符号的字母表上n个状态的非循环确定有限自动机（Adfa）的规范表示。利用这个范式，我们提出了一个回溯算法的精确生成的Adfas。该算法是一个非平凡的适应算法的精确生成的最小非循环确定性有限自动机，提出了由Almeida等人。
2009-08-23 cs.FL
Extended finite automata and decision problems for matrix semigroups
我们把矩阵群和扩展有限自动机的子群成员和恒等式问题联系起来。我们提供了另一种证明的可判定性的子群成员问题的$ 2 \times 2 $整数矩阵。证明了$ 4 \times 4 $整数矩阵半群上的扩展有限自动机的空性问题是不可判定的。证明了扩展有限自动机论域问题的可判定性是子群成员和恒等式问题可判定性的充分条件。
2018-07-15 cs.FL
New Results on Vector and Homing Vector Automata
通过对向量自动机和归巢向量自动机的研究，我们给出了有限自动机的几个新的结果和各种扩张之间的联系。我们表明，归巢向量自动机优于扩展有限自动机时，都定义在$ 2 \times 2 $整数矩阵。我们研究了向量自动机的字符串分离问题，证明了具有有理项的广义有限自动机可以仅使用两个状态来分离任何一对字符串。研究了无状态归巢向量自动机，证明了一种语言可以被无状态盲确定性的带乘法的有限自动机实时版本识别当且仅当它是可交换的，并且它的Parikh像是线性齐次丢番图方程组的非负整数解的集合.
2019-05-28 cs.FL
Simulations and Antichains for Efficient Handling of Finite Automata
本论文的重点是有限自动机技术及其在实践中的应用，主要重点是非确定树自动机。这涉及的技术，即大小减少和语言包含测试，这是两个问题，是至关重要的许多应用程序的树自动机。对于树自动机的大小减少，我们适应模拟商技术，是有限字自动机。我们给出了有效的算法计算树自动机模拟，我们还介绍了一种新的关系，从树自动机向下和向上的模拟相结合，这是非常适合于concluenting。组合原理也适用于词自动机。然后，我们概括了所谓的反链的普遍性和语言包含检查技术最初开发的有限字自动机的树自动机。随后，我们改进了字和树自动机的反链技术，将其与基于模拟的包含检查技术相结合，显着提高了反链方法的效率。然后，我们将展示如何减少和包含检查方法改进的方法，抽象的规则树模型检验，该方法是最初的动机开始工作的树自动机。减少和语言包含方法都是基于相对简单和一般的原则，可以进一步扩展到其他类型的自动机和相关的形式主义。一个例子是我们的适应交替Büchi自动机，这导致在一个有效的交替自动机大小减少技术的减少方法。
2017-06-10 cs.FL
Simplifying Nondeterministic Finite Cover Automata
确定性有限覆盖自动机（DFCA）的概念是在WIA '98上提出的，作为一种比确定性有限自动机（DFA）更紧凑的有限语言表示。在某些表示有限语言的情况下，非确定性有限自动机（NFA）可以显着减少使用的状态数。使用覆盖语言和非确定性的有限语言表示的简洁性的组合力量已经被提出，但从未系统地研究过。在本文中，非确定性有限覆盖自动机（NFCA）和l-非确定性有限覆盖自动机（l-NFCA），我们表明，最小化可以作为最小化NFA正则语言，即使在NFCA使用一元字母的情况下，困难。此外，我们展示了如何调整用于减少或最小化NFA/DFCA/I-DFCA的大小的方法，以简化NFCA/I-NFCA。
2014-05-22 cs.FL
Hexagonal Picture Scanning Automata
本文提出并分析了两种在六边形网格上运行的新型有限自动机，建立了其理论基础与计算性质，并研究了其定义语言族的关系，扩展了二维自动机理论。
2025-08-11 cs.FL
Undecidability and Finite Automata
利用一个新的重写问题，我们证明了关于有限自动机的几个自然判定问题是不可判定的（即，递归不可解）。与此相反，我们还证明了三个相关的问题是可判定的。我们应用一个结果证明了一个相关的问题的不确定性的k-自动集的有理数。
2017-02-27 cs.FL
Answers to Questions Formulated in the Paper "On States Observability in Deterministic Finite Automata"
本文回答了A. Mateescu和Gh.潘具体地说，它表明，对于所有的k >= 2，家庭的正则语言可接受的确定性有限自动机不超过k个半可观察的状态，表示为Tk，是反AFL的，和家庭T1不同的封闭性下Kleene +。
2009-05-26 cs.FL
Input-Erasing Two-Way Finite Automata
本文提出了输入擦除双向有限自动机模型，证明其恰好定义线性语言族且严格强于原始模型，并探讨了多种限制对其接受能力及语言族关系的影响。
2025-04-02 cs.FL
Finite automata with advice tapes
我们定义了一个模型的建议计算有限自动机的意见是提供一个单独的磁带。我们考虑几个变种的模型，其中的建议是确定性的或随机的，输入磁带头被允许实时，单向或双向访问，和自动机是经典的或量子的。我们证明了这些变体之间的几个分离结果，展示了自动机识别的语言类的无限层次结构，并且建议长度不断增加，并建立了这与之前研究的向有限自动机提供建议的方式之间的关系。
2013-12-13 cs.FL
On the Complexity of Flanked Finite State Automata
我们定义了一个新的子类的前缀封闭的语言称为侧翼有限自动机（FFA）的非确定性有限自动机。我们发现，这个类享有良好的复杂性，同时保持简洁的非确定性自动机。特别是，我们表明，FFA的普遍性问题是在线性时间和语言包含可以检查在多项式时间。FFA的一个有用的应用是提供一种有效的方法来计算正则语言的商和包含，而不需要使用幂集构造。这些操作是几种验证算法的构建块。
2015-09-22 cs.FL
The maximum length of shortest accepted strings for direction-determinate two-way finite automata
它表明，对于每个$n \geqslant 2$，$n$状态方向确定双向有限自动机接受的最短字符串的最大长度正好是$\binom{n}{\lfloor\frac{n}{2}\rfloor}-1$（方向确定自动机是那些总是记得在当前状态下最后一次移动是向左还是向右）。对于一般形式的双向有限自动机，构造了一类具有最短可接受长度为$\frac{3}{4} \cdot 2^n - 1$的串的$n$ -状态自动机。
2022-10-01 cs.FL
Finitely generated ideal languages and synchronizing automata
我们利用强连通同步自动机来研究理想语言的表示。对于每一个理想语言L，我们构造一个最多有2^n个状态的自动机，其中n是L中单词的最大长度。我们的构造是基于De Bruijn图。
2013-05-02 cs.FL
Once-Marking and Always-Marking 1-Limited Automata
本文引入1-受限自动机的两个受限变体（once-marking和always-marking），研究其描述复杂性，证明前者与单向确定性有限自动机有双重指数差距但确定性变体与双向确定性有限自动机多项式相关，后者仅有单一指数差距。
2023-09-06 cs.FL
Polynomial Complementation of Nondeterministic 2-Way Finite Automata by 1-Limited Automata
本文证明仅付出多项式规模增长，即可用1-限制自动机（1-LA）补运算双向非确定有限自动机（2NFA），所得机器为带公共猜测的2NFA且具备自验证性，并推论补1-LA的指数级规模是必要且充分的。
2025-07-15 cs.FL
An Easily Checkable Algebraic Characterization of Positive Expansivity for Additive Cellular Automata over a Finite Abelian Group
本文为有限阿贝尔群上的加性细胞自动机给出了正扩张性的易检验代数刻画，先解决线性细胞自动机子类，再推广到整个加性细胞自动机类。
2023-08-08 cs.FL
A Survey of Multi-Tape Automata
本文总结了基本的表达性，封闭性和可判定性的各种有限状态自动机类与多个输入磁带。它还包括一个原始算法的交叉单向非确定性有限状态自动机。
2013-11-29 cs.FL
Subset Synchronization and Careful Synchronization of Binary Finite Automata
我们提出了一个强指数下界，适用于二进制确定性自动机的子集同步阈值和二进制部分自动机的仔细同步阈值。在后一种形式中，该结果完成了Martyugin（2013）发起的研究。此外，我们表明，这两个阈值保持强指数，即使限制到强连接的二进制自动机。此外，我们将我们的方法应用于计算复杂性。存在一个子集复位字是已知的PSPACE-完全的，我们表明，即使在强连接的二进制自动机的限制下，这也成立。结果也适用于相应的阈值在两个更一般的设置：D1和D3-定向非确定性自动机和组合序列在有限域。
2016-02-15 cs.FL
Aspects of enumeration and generation with a string automata representation
在一般情况下，组合对象的表示是决定性的几个枚举任务的可行性。在这项工作中，我们展示了如何（唯一）字符串表示（完整）初始连接的确定性自动机（ICDFAs）的n个状态的字母表的k个符号可以用于计数，精确枚举，采样和最佳编码，不仅是一套ICDFAs，但在某种程度上，一套正则语言。一个精确的生成算法可以用来划分ICDFA的集合，以便并行化最小自动机（以及正则语言）的计数。我们还提出了一个统一的随机发生器ICDFAs，使用一个表的预先计算的值。基于相同的表，还可以获得用于ICDFA的最佳编码。
2009-06-21 cs.FL
Finite Automata for Efficient Graph Recognition
本文在超边替换图文法框架下，将有限自动机从字符串提升到图，通过修改的幂集构造实现确定性化，并给出无需回溯识别图的充分条件。
2025-03-26 cs.FL
A lower bound on the state complexity of transforming two-way nondeterministic finite automata to unambiguous finite automata
该研究通过构造n状态2NFA通用语言的矩阵并估算其秩，确立了2NFA转换为单向UFA的状态数下界为Ω(n^{2n+2}/e^{2n})，推进了有限自动机状态复杂度领域的研究。
2024-12-09 cs.FL
Metamorphosis of Fuzzy Regular Expressions to Fuzzy Automata using the Follow Automata
为了处理系统的不确定性，有限自动机被推广为模糊自动机。Stamenkovic和Ciric提出了一种使用位置自动机从模糊正则表达式构造模糊自动机的方法。从正则表达式构造有限自动机的方法有很多种，如Thompson构造法、Antimirov偏导数法、Glushkov自动机和跟随自动机等。本文提出了一种利用跟随自动机的概念将模糊正则表达式转换为模糊自动机的方法。使用所提出的方法得到的模糊自动机的状态数是小于现有的方法在文献中。
2014-12-01 cs.FL
Learning Automata with Name Allocation
Friedrich-Alexander-Universität Erlangen-Nürnberg（埃尔朗根-纽伦堡大学）；Radboud Universiteit Nijmegen（奈梅亨拉德堡德大学）
本文提出了一种基于bar自动机的学习方法，通过处理带有显式名称绑定字母的bar字符串，实现了对无限字母自动机的学习，首次在无限词和有限树的数据语言上应用主动学习。
2026-03-26 cs.FL
Retractable state-finite automata without outputs
一个没有输出的自动机${\bf A}$到${\bf A}$的子自动机${\bf B}$上的同态称为收缩同态，如果它保持$B$的元素不变。自动机${\bf A}$称为可收缩自动机，如果对于${\bf A}$的每个子自动机${\bf B}$，存在${\bf A}$到${\bf B}$的收缩同态。文[1]和[3]研究了一类特殊的可收缩自动机。本文的目的是给出无输出状态有限可伸缩自动机的完整描述。
2015-10-04 cs.FL
Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
Comenius University in Bratislava（布拉迪斯拉发康斯坦丁神学家大学）
本文研究了有限环和独异点上的可逆加权自动机，揭示了其与可交换幂等元有理语言的关系，并证明了相关问题的可判定性。
2026-01-14 cs.FL
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
本文提出轨道有限集张成的向量空间理论，并据此给出加权寄存器自动机等价性的指数时间判定算法，固定寄存器数时降为多项式时间，同时以相同复杂度改进无歧义寄存器自动机的语言等价性判定。
2024-05-03 cs.FL
Optimised determinisation and completion of finite tree automata
有限树自动机的判定和完备化是程序分析和验证中的重要运算。然而，确定和完成的经典程序的复杂性是很高的。它们不是操纵树自动机的实用程序，而不是非常小的树自动机。在本文中，我们开发了一个算法的有限树自动机，其最坏情况下的复杂性保持不变，但它的性能远远优于现有的算法在实践中的确定和完成。该算法的关键方面是，已确定（并且可能已完成）自动机的转换是以一种可能非常紧凑的形式（称为积形式）生成的，这可以显着减少表示的大小。此外，在操纵确定的自动机时，通常可以直接使用该表示。本文包含了一个实验评估的算法上的一个大型的树自动机的例子。
2017-11-01 cs.FL
A Congruence-Based Perspective on Finite Tree Automata
本文利用树上的同余关系，研究树自动机的确定化与最小化，证明了一种Brzozowski风格的最小化算法，并扩展至词自动机情形。
2021-12-21 cs.FL
Unique decodability of bigram counts by finite automata
我们重新审视的问题，决定是否一个给定的字符串是唯一的解码从它的二元组计数的有限自动机。给出了一个构造多项式大小的非确定有限自动机的有效算法，该自动机决定了唯一的可译码性。相反，我们表明，最小的确定性有限自动机决定唯一的可解码性至少有指数的字母表大小的许多国家。
2011-11-28 cs.FL
Parallel Communicating Finite Automata: The Non-Forgetting Model
Institute of Computer Science, University of Potsdam（波茨坦大学计算机科学研究所）
本文提出非遗忘并行通信有限自动机模型，证明其大多数变体与多头有限自动机能力相当，仅确定性集中式非返回模式有严格包含关系。
2026-06-26 cs.FL
Finite Automata With Restricted Two-Way Motion
我们考虑有限的双向自动机，并通过计算接受计算中的左移次数来测量双向运动的使用。根据这一措施的自动机的限制，使我们能够详细研究使用双向运动接受正则语言的状态复杂性。给出了给定正则语言的双向谱。这个数量反映了如果双向运动的使用逐渐增加，最小接受装置的尺寸的变化。我们给出的例子光谱，证明统一的上限和下限，并研究其锐度。我们还获得了使用双向运动一致有界的双向自动机的状态复杂度结果。
2014-09-20 cs.FL
A Pattern Logic for Automata with Outputs
我们引入了一个逻辑来表达自动机的结构特性与字符串输入，并可能在一些幺半群的输出。在这个逻辑中，讨论输出值的谓词集是参数的，我们提供了模型检查问题可判定的谓词的充分条件。然后，我们考虑三个特定的自动机模型（有限自动机，传感器和自动机加权整数-求和自动机-），并实例化的通用逻辑为他们每个人。我们给紧的复杂性结果的三个逻辑和模型检测问题，这取决于公式是否是固定的。我们研究我们的逻辑的表达能力，通过表达经典的结构模式，例如有限的模糊性和多项式模糊性的情况下，有限自动机，可确定性和有限值的情况下，传感器和求和自动机的特点。因此，我们的复杂性的结果，我们直接得到这些经典性质可以决定在PTIME。
2018-10-08 cs.FL
2-tape 1-way Quantum Finite State Automata
1-量子有限态自动机本质上是可逆的，这大大降低了它的可接受性。实际上，单向量子有限自动机所接受的语言集是正则语言的一个真子集。本文介绍了双带单路量子有限态自动机（2 T1 QFA（2）），它是单路双头量子有限态自动机（1 QFA（2））的一种改进形式。本文将单路双头量子有限态自动机的单带替换为双带。使用在输入字母表上定义的关系来确定第二磁带的内容。（1）证明了2-tape 1-way quantum finite state automaton（2 T1 QFA（2））可以接受所有的正则语言;（2）证明了2-tape 1-way quantum finite state automaton（2 T1 QFA（2））可以接受任何一种不能被多头确定性有限自动机接受的语言。(3)利用量子自动机的叠加性质，证明了双带单向量子有限态自动机（2 T1 QFA（2））可以接受语言L=ww。
2016-07-04 cs.FL
State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters
本文研究带透明字母的状态确定型有限自动机，并提出允许透明与可转移字母重叠的新模型，增强表达能力，实现对先前模型的适当推广。
2023-09-06 cs.FL
Illustrating Finite Automata with Grail+ and TikZ
本文提出 Grail+ Visualizer，可将 Grail+ 输出的有限自动机文本表示自动转换为带状态与转移布局的 TikZ 图示代码。
2024-04-03 cs.FL
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
我们考虑强双线性上的加权树自动机（简称：wta）。一个wta $\mathcal{A}$具有有限象性质，如果它的识别的加权树语言$[\![\mathcal{A}]\!]$具有有限象;此外，$\mathcal{A}$具有原象性质，如果基础强双象的每个元素在$[\![\mathcal{A}]\!]$下的原象是可识别树语言.对于过去有限单调强对偶上的任意wta $\mathcal{A}$，我们证明了以下结果。根据$\mathcal{A}$的结构性质，刻画了它是否具有有限象性质。我们刻画了这些后有限单调强双紧性，使得对于每个wta $\mathcal{A}$，$\mathcal{A}$是否具有有限象性质是可判定的.特别地，过去有限单调半环上的wta的有限象性质是可判定的。证明了$\mathcal{A}$具有原像性质。我们的所有结果也适用于加权字符串自动机。
2021-06-30 cs.FL
On the Accepting State Complexity of Operations on Permutation Automata
我们研究了正则语言的确定性有限自动机的接受状态复杂性，通过对置换自动机接受的语言应用以下操作之一来获得：并、商、补、差、交、Kleene星、Kleene加和反转。因此，本文加入了由工作[J.Dassow：On the number of accepting states of finite automata，J.Autom.，Lang.Comb.，21，2016]。我们发现，几乎所有的操作，除了反转和商，有没有区别的接受状态的复杂性置换自动机相比，确定性有限自动机一般。对于反转和商，我们证明了某些接受状态的复杂性不能得到，这些数字被称为“魔术”在文献中。此外，我们还解决了置换自动机和确定性有限自动机所接受的一元语言的交集的左开接受状态复杂性问题。
2022-08-31 cs.FL
Symbolic Register Automata
符号有限自动机和寄存器自动机是有限自动机的两个正交扩展，它们的动机是现实世界中数据可能具有无界域的问题。这些自动机分别解决了对大型或无限字母表模型的需求。这两种自动机模型都有有趣的应用，并且本身就很成功。在本文中，我们介绍了符号寄存器自动机，一个新的模型，结合了符号和寄存器自动机的功能，与以前的应用程序是遥不可及的。我们研究了它们的性质，并提供了空性，包含性和等价性检查的算法，以及实验结果。
2019-05-23 cs.FL
Multi-head Watson-Crick automata
受多头有限自动机和Watson-Crick自动机的启发，本文提出了一种新的结构--多头Watson-Crick自动机，它用一条DNA双链代替多头有限自动机的单带.使用类似于沃森-克里克互补关系的互补关系确定第二带的含量。我们建立了我们的模型的优越性超过多头有限自动机，也表明，确定性和非确定性的模型的变体可以接受非正规一元语言。我们还比较了我们的模型与并行通信的沃森-克里克自动机系统，并证明了它们具有相同的计算能力。
2015-12-09 cs.FL
Correcting Deterministic Finite Automata for Didactic Feedback
University of Kassel（卡塞尔大学）
针对教学反馈场景，提出用正则树语言有限刻画确定性有限自动机的全部修正，并借助过滤器筛选满足教学约束的修正，实现个性化反馈生成。
2026-10-06 cs.FL
Revisiting the Equivalence Problem for Finite Multitape Automata
确定性多带自动机（或转换器）的判定等价性是一个长期存在的开放问题，直到Harju和Karhumäki在20世纪90年代初解决。他们的可判定性证明产生了一个co_NP上界，但显然对问题的复杂性知之甚少。在本文中，我们给出了另一种证明的可判定性，它遵循的基本策略的Harju和Karhumaki，但取代他们使用群论的结果矩阵代数。从我们的证明，我们得到一个简单的随机算法，决定语言等价的确定性多带自动机，更一般地说，多重性等价的非确定性多带自动机。该算法只涉及矩阵求幂，并在多项式时间内运行每个固定数量的磁带。如果两个输入自动机是不等价的，那么算法输出一个它们不同的词。
2013-05-02 cs.FL
Set Augmented Finite Automata over Infinite Alphabets
Indian Statistical Institute（印度统计研究所）；Government College of Engineering and Ceramic technology（政府工程与陶瓷技术学院）；Tata Institute of Fundamental Research（塔塔基础研究所）
本文针对无限字母表上的数据语言，提出集合增强有限自动机（SAFA），研究其判定问题、闭包性质、表达能力及确定性变体，为数据语言的表达提供了新的自动机模型。
2026-08-26 cs.FL
Quantum finite automata and linear context-free languages: a decidable problem
本文研究一次测量有限量子自动机识别的语言与线性上下文无关语言的交集判定问题，证明该问题递归可判定，拓展了Blondel等人的相关结果。
2013-03-12 cs.FL
State Complexity of Reversals of Deterministic Finite Automata with Output
研究了有输出的确定性有限自动机（DFAOs）的反转的最坏情况的状态复杂性。在这些自动机中，每个状态都被分配了一些输出值，而不是简单地标记为最终或非最终。这直接推广了确定普通确定性有限自动机的反转的最坏情况的状态复杂性的研究问题。如果DFAO具有$n$状态和$k$可能的输出值，则对于反转的状态复杂度，存在$k^n$的已知上限。我们证明了这个界限可以达到一个三元输入字母表。我们推测，它不能达到与二进制输入字母表，除非当$k = 2$，并给出了一个下界的情况$3 \le k < n$。我们证明了反转的状态复杂性完全取决于DFAO的转换幺半群和将输出值分配给状态的映射。
2017-10-17 cs.FL
Reversibility of d-State Finite Cellular Automata
研究了一维3邻域d状态有限元胞自动机在周期边界条件下的可逆性。从de Bruijn图出发，提出了一种可达树工具，它表示了n元CA的所有可能的可达结构。该工具已用于测试CA的可逆性。我们已经确定了一个大的可逆CA使用这个工具，通过以下一些贪婪的策略。
2018-05-08 cs.FL
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity
我们回答了Gruber，Holzer，Kutrib，2009年提出的关于表示上下文无关文法（CFG）的子或超字闭包的状态复杂度的两个公开问题：（1）我们证明了$2^{\mathcal{O}(n)}$关于表示大小为$n$的CFG的子字闭包的非确定性有限自动机（NFA）的大小的（紧）上界。(2)我们提出了一类CFG，其表示子字闭包的最小确定性有限自动机与（1）中的$2^{2^{\mathcal{O}(n)}}$的上界相匹配。此外，我们证明了NFA代表子或超词封闭语言的不等价问题是NP完全的，而不是PSPACE完全的一般NFA。最后，我们将我们的结果扩展到一个近似的方法来攻击CFGs的不等价问题。
2014-10-23 cs.FL
The generating power of weighted tree automata with initial algebra semantics
本文研究了加权树自动机在强双半群上的初始代数语义生成能力，证明了在秩字母表含二元符号时有限生成强双半群的所有元素均可被生成，并揭示了弱局部有限但非局部有限情形下可生成无限像，与加权字符串自动机的有限性形成对比。
2024-05-31 cs.FL
On Constructing Finite Automata by Relational Programming
针对博弈程序需以可被代数工具分析的低级数学格式表示的需求，提出用关系编程工具构造能实现给定输入输出对集合的最小转换器，解决经典有限状态自动机优化技术不适用的问题。
2025-02-12 cs.FL
Optimal Codeword Construction for DNA-based Finite Automata
生物分子计算由于其高信息密度、巨大的并行性以及在密码学、基因工程和生物信息学等领域的潜在应用而成为计算机科学的一个重要研究领域。在文献中已经提出了使用DNA分子的计算框架来完成各种任务，例如模拟逻辑运算，执行矩阵乘法和编码NP难问题的实例。在一个关键的应用中，一些研究提出了使用DNA杂交和连接来构造有限自动机。这些有限自动机的状态和符号编码是手动完成的。在这篇手稿中，我们研究了这种方法的码字构造问题。我们推导出有限自动机中符号和状态数的精确理论界，并在特定情况下得到完整的符号集。对于自动编码，提出了两种不同的解决方案，基于启发式和基于线性规划（ILP）。此外，我们提出了一个早期的基于模拟的实验室实验验证。我们提出的流程接受一个有限自动机，自动编码的符号的实际实验，并执行模拟一步一步。
2022-06-04 cs.FL
