Proceedings 14th International Conference on Automata and Formal Languages
第14届自动机和形式语言国际会议（AFL 2014）于2014年5月27日至29日在匈牙利塞格德举行。会议由赛格德大学计算机科学基础系组织。感兴趣的主题涵盖了自动机和形式语言及相关领域的理论和应用。
2014-05-21 cs.FL
Quick Brown Fox in Formal Languages
给定一个有限字母表$Σ$和一个在$Σ$上的确定性有限自动机，判定该自动机所识别的语言是否包含任何pangram的问题是\NP -完全的.各种其他语言类和pangram周围的问题进行了分析。
2016-02-11 cs.FL
Decidability and Shortest Strings in Formal Languages
给定一个形式语言L，我们考虑确定L是否为非空的问题。如果L确实是非空的，我们找到L中最短字符串长度的上界和下界。
2011-03-19 cs.FL
Proceedings 15th International Conference on Automata and Formal Languages
第15届自动机和形式语言国际会议（AFL 2017）于2017年9月4日至6日在匈牙利德布勒森举行。会议由德布勒森大学信息学系和布达佩斯Eötvös Loránd大学信息学系组织。感兴趣的主题涵盖了自动机和形式语言的各个方面，包括理论和应用。
2017-08-21 cs.FL
Hyperbolic tilings and formal language theory
在本文中，我们试图给适当的类的语言属于各种对象相关联的镶嵌在双曲平面。
2013-09-05 cs.FL
Randomness of formal languages via automatic martingales
我们定义了一个概念的随机性的个人和集合的形式语言的基础上自动鞅作用于序列的话，从一些潜在的域。一个自动鞅赌输入的单词是否属于目标语言。然后将单个语言和语言集合的随机性定义为自动鞅根据输入的单词序列或文本在目标语言上下注以获得无限资本的失败。事实证明，形式语言的随机性在很大程度上依赖于文本。对于非常一般的文本类，任何非正则语言在单独考虑时都是随机的。至于语言的集合，非常一般的文本类只允许自动语言族的非随机性。另一方面，一个任意的可计算语言在特定的动态文本下被证明是非随机的。
2018-02-17 cs.FL
Filtrations of Formal Languages by Arithmetic Progressions
通过序列s对形式语言L的过滤将L映射到通过取仅由s索引的L的单词的字母而形成的单词集合。我们考虑的语言产生过滤的所有算术级数。如果L是正则的，那么很容易看出，只会产生200多种不同的语言。相比之下，存在CFL的结果是给出无限多个不同的语言。我们使用我们的技术表明，操作diag，它提取的对角线排列在一个正方形数组中的正方形长度的单词，保持规律性，但不保持上下文无关性。
2012-03-30 cs.FL
Proceedings of the 16th International Conference on Automata and Formal Languages
本文集收录第16届自动机与形式语言国际会议（AFL 2023）的特邀报告和录用论文，涵盖自动机与形式语言的理论与应用。会议在匈牙利埃格尔举行，共收录3篇特邀报告和18篇论文，由国际程序委员会从23篇投稿中选出。
2023-09-03 cs.FL
A General Information Extraction Framework Based on Formal Languages
Humboldt University Berlin（柏林洪堡大学）
本文提出基于形式语言的通用信息提取框架，扩展了文档跨度框架，并研究了提取器的闭包性质、表示形式及复杂性。
2026-10-11 cs.FL
Factorization in Formal Languages
我们考虑了形式语言中唯一因子分解的几个新的方面。我们重新证明了熟悉的事实，即集uf（L）的字有唯一的分解成L的元素是正规的，如果L是正规的，并从这个推出的最短的字的长度的二次上限和下限不在uf（L）。我们观察到，如果L是上下文无关的，则uf（L）不必是上下文无关的。接下来，我们考虑唯一因子分解的变化。我们定义了一个概念的“半唯一”的因式分解，其中每一个因式分解有相同数量的条款，并表明，如果L是经常的，甚至有限的，一组字有这样的因式分解不需要上下文无关。最后，我们考虑额外的变化，如唯一的因式分解“置换”和“子集”。
2015-03-21 cs.FL
Infinitude of Primes Using Formal Language Theory
形式语言是由一组特定于它们的规则描述的符号串的集合。本文讨论了一类称为正则语言的形式语言，并给出了一些基本结果。这些语言的性质，然后证明有无穷多个素数。
2020-05-20 cs.FL math.NT
Exploring the Topological Entropy of Formal Languages
我们引入了形式语言和拓扑自动机的拓扑熵的概念。我们证明了熵函数是满射的，并且限制了具有任意数量堆栈的确定性ε-free下推自动机所接受的语言的熵。
2019-04-24 cs.CC cs.FL
Extension Complexity of Formal Languages
本文从形式语言的角度对可拓复杂性进行了研究。我们定义了一个自然的方式来关联一个家庭的多面体与二进制语言。这允许我们定义形式语言的扩展复杂度的概念。我们证明了几个封闭性的语言承认紧凑的扩展配方。此外，我们还给出了紧凑语言的一个充分的机器刻画。我们证明了这种机器的特性的效用，通过获得上界的多面体的问题，在不确定性的对数空间，在流模型的下界，和几个多面体的扩展复杂性的上界。
2019-08-28 cs.CC cs.FL
Closures in Formal Languages: Concatenation, Separation, and Algorithms
我们继续研究开放语言和封闭语言。我们研究如何被打开和关闭的属性下保持串联。我们调查类似物，在形式语言，在拓扑空间中的分离公理，我们的主要结果之一是，有一个clopen分区分离两个字当且仅当字交换。我们表明，我们可以决定在二次时间，如果指定的DFA的语言是封闭的，但如果指定的NFA的语言，问题是PSPACE完全的。
2009-01-23 cs.CC cs.FL
NILE: Formalizing Natural-Language Descriptions of Formal Languages
Ruhr University Bochum（博尔塔伦大学）
NILE通过形式化自然语言描述形式语言，利用LLM生成语法接近的Nile表达式，实现对不准确描述的自动解释。
2026-02-23 cs.CL cs.FL cs.LO
Isometry groups of formal languages for generalized Levenshtein distances
本文部分回答了哪些群可以表示为形式语言的等距群的问题。也就是说，它被证明，对于任何语言的词的长度和它们的图像的长度之间的差的模在等距的任意广义Levenshtein距离，满足的条件，即替换操作的重量是小于两倍的重量的删除操作是由一个常数，只取决于语言本身的上界。由此，特别地，可以得出关于这种度量的形式语言的等距群总是嵌入到群$Π_{n=1}^\infty S_{n}$中。我们还构造了一些例子，表明这种估计是，在某种意义上，不可改进的。
2022-05-17 cs.FL math.GR
Tensor Product Representations of Subregular Formal Languages
本文给出了正则语言子类的几何刻画。我们使用有限模型理论将字符串和树等对象描述为关系结构。满足这些模型上的某些标准的逻辑语句定义了语言的子正则类。这些语句的语义可以编译成张量结构，使用多线性映射作为函数应用程序进行评估。这种方法适用于考虑两个适当的亚正则语言在不同的字符串模型。
2019-08-21 cs.FL cs.LO
Basic Classes of Grammars with Prohibition
University of California, Los Angeles（加利福尼亚大学洛杉矶分校）
在形式语法和语言的背景下，开发了一个实用的自然语言建模和人机交互开发工具。本文介绍了一种新的形式文法--禁止文法。与传统的形式语法相比，禁止语法为自然语言的生成提供了更强有力的工具，更好地描述了语言学习的过程。在这里，我们研究的语言之间的关系所产生的不同的语法禁止的基础上，传统类型的形式语法，如上下文无关或上下文敏感的语法。此外，我们还比较了由不同的禁止文法生成的语言和由常规形式文法生成的语言。特别是，它表明，他们有本质上更高的计算能力和表达的可能性相比，传统的形式语法。因此，虽然传统的形式文法是递归和次递归算法，但许多禁止的文法是超递归算法。在这项工作中提出的结果是针对发展的人机交互，建模自然语言，授权的程序设计语言，计算机模拟，更好的软件系统，和递归理论。
2013-02-21 cs.CL cs.FL
Closures in Formal Languages and Kuratowski's Theorem
Kuratowski的一个著名定理指出，在拓扑空间中，通过对给定集合重复应用闭包和补运算，最多可以产生14个不同的集合。我们在形式语言的背景下重新检验这个定理，其中闭包是Kleene闭包或正闭包。我们根据它们在补和闭包迭代下生成的代数结构对语言进行分类。我们证明了在正闭包的情况下有9个这样的代数，在Kleene闭包的情况下有12个。
2009-01-23 cs.CC cs.FL
Formal Languages via Theories over Strings
我们调查的形式语言的性质表示的公式在量词的自由理论的字方程，算术长度的限制，语言成员谓词的类定期，明显下推，和确定性上下文无关的语言。总的来说，我们考虑了20个不同的理论和可判定性问题，例如形式语言的空性和普遍性。首先，我们讨论了它们的相对表达能力，并观察到一个粗略的划分为两个层次的基础上是否存在字方程。其次，我们考虑了几个重要的决策问题，如空性和普遍性的可判定性状态。注意空性问题等价于相应理论上的可满足性问题。第三，我们考虑的问题，是否在一个理论的语言是在另一个表达，并显示几个负面的结果，这个问题是不可判定的。这些结果是特别相关的背景下，范式在实践和理论方面的字符串解决。
2022-05-01 cs.FL cs.LO
Formal languages analysed by quantum walks
离散时间量子行走是量子计算的普遍现象。这一点已经被证明，他们可以模拟一个通用的门集。在本文中，我们研究计算的语言接受，并提出了两种方式，离散时间量子行走可以接受某些语言的确定性。这些步行可以采取量子以及经典的输入，我们表明，当输入是量子的，步行可以被解释为执行状态歧视。
2012-09-24 cs.FL quant-ph
Regular Expressions in a CS Formal Languages Course
本文提出在自动机理论与形式语言课程中用基于编程的方法讲授正则表达式，借助内置正则表达式类型的 FSM 语言，将正则表达式视为可编程的单词生成算法，以激发学生兴趣并促进相关算法学习。
2023-08-14 cs.FL cs.PL
Proceedings 17th International Conference on Automata and Formal Languages
该论文集收录了AFL 2026的3篇特邀报告及18篇录用论文，这些论文来自14国作者，覆盖自动机与形式语言理论及其多领域应用。
2026-08-25 cs.CC cs.FL
Exploring Error Types in Formal Languages Among Students of Upper Secondary Education
本文通过智能辅导系统收集数据，探索了高中学生在形式语言学习中出现的非功能性理解、策略性及语法等错误类型，为理解学生的学习困难提供了起点。
2024-09-23 cs.CY cs.FL
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks
Rice University（莱斯大学）；Baylor College of Medicine（贝勒医学院）
我们研究了递归神经网络（RNN）在学习识别规则形式语言时使用的内部表示。具体来说，我们在正则语言的正例和反例上训练RNN，并询问是否存在一个简单的解码函数，将该RNN的状态映射到该语言的最小确定性有限自动机（MDFA）的状态。我们的实验表明，这样的解码功能确实存在，它映射的状态的RNN不MDFA状态，但状态的{ \em抽象}通过聚类小集MDFA状态到“超状态”。定性分析表明，抽象往往有一个简单的解释。总的来说，结果表明RNN和有限自动机使用的内部表示之间存在很强的结构关系，并解释了RNN识别正式语法结构的众所周知的能力。
2019-02-27 cs.FL cs.LG
Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length
Ecole Normale Supérieure（巴黎高等师范学院）；Tel Aviv University（特拉维夫大学）；EHESS（高等研究实践学院）；CNRS（法国国家科学研究中心）
本文通过一种简单形式语言学习任务证明理论正确解并非常用目标的最优解，并提出以最小描述长度目标替代标准目标可使正确解成为最优解。
2024-06-06 cs.CL cs.FL
Word equations, constraints, and formal languages
本文是一篇简短综述，介绍了群和幺半群中具有非有理约束的字方程的最新进展，并强调了形式语言在该领域的重要作用。
2024-06-04 cs.FL cs.LO math.GR
Developing controlled natural language for formal specification patterns using AI assistants
Institute of Automation and Electrometry（自动化与电测研究所）
本文提出利用AI助手开发受控自然语言的方法，通过三个阶段构建基于形式规范模式的自然语言需求，用于事件驱动的时间要求分析。
2025-12-30 cs.AI cs.FL cs.SE
Comparison of different Unique hard attention transformer models by the formal languages they can recognize
Leonid Ryvkin（独立研究者）
本文综述了不同唯一硬注意力Transformer编码器识别形式语言的能力，比较了掩码、图像和注意力评分函数等设置，并给出逻辑与电路复杂度方面的上下界。
2025-06-03 cs.CL cs.FL cs.LG
Combinatorial Characterization of Formal Languages
本文是作者在物理学和数学博士学位（在俄罗斯）的论文的扩展摘要。本文研究的主要特征是组合复杂性，它是一种与语言相关的“计数”函数，返回该语言中给定长度的单词的数量。对于几类语言，研究了关于组合复杂性及其与语言其他参数的关系的各种问题。简要介绍的主题和配方的结果。没有证据，而是引用了包含证据的论文。
2010-10-26 cs.DM cs.FL math.CO
From Formal Language Theory to Statistical Learning: Finite Observability of Subregular Languages
The University of Tokyo（东京大学）；Nara Institute of Science and Technology（奈良科学技術大学）
研究证明标准子正则语言类在用决定谓词表示时线性可分离，保证了简单线性模型的可学习性，并通过实验验证了其在自然语言建模中的有效性。
2026-03-13 cs.CL cs.FL cs.LG
Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
Rutgers University（罗格斯大学）
本文提出Formal-LLM框架，将规划约束表达为自动机并在其监督下进行基于栈的LLM计划生成，使基于LLM的智能体规划过程可控，实验显示整体性能提升超过50%。
2024-08-12 cs.AI cs.CL cs.FL
Formal Language Recognition by Hard Attention Transformers: Perspectives from Circuit Complexity
Yale University（耶鲁大学）
本文分析了Transformer编码器的三种形式化模型，它们的自注意力机制的形式不同：独特硬注意力（UHAT）;广义独特硬注意力（GUHAT），它是UHAT的推广;平均硬注意力（AHAT）。我们表明，UHAT和GUHAT Transformers，被视为字符串受体，只能识别形式语言的复杂性类AC $^0$，一类语言可识别的布尔电路的恒定深度和多项式大小的家庭。该上限包含了Hahn（2020）的结果，即GUHAT不能识别DYCK语言或PARITY语言，因为这些语言在AC $^0$之外（Furst等人，1984年）。相反，非AC $^0$语言MAJORITY和DYCK-1可被AHAT网络识别，这意味着AHAT可以识别UHAT和GUHAT不能识别的语言。
2022-04-13 cs.AI cs.CC cs.CL
Automated Formalization of Probabilistic Requirements from Structured Natural Language
本文提出了一种自动方法，将结构化自然语言中的概率性要求转换为概率时序逻辑公式，以提升自主和适应性系统的形式化分析效率与准确性。
2025-12-15 cs.FL cs.PL cs.SE
