| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 判断是否可以用自顶向下转换器实现带属性的翻译 | Sebastian Maneth and Martin Vu | 2306.04326 | cs.FL | 2023-06-27 |
| 检查异步程序与无上下文规范的细化 | Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche | 2306.13058 | cs.FL | 2023-06-23 |
| 分段可测试语言的可决可分性的刻画 | Wojciech Czerwi''nski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, Georg Zetzsche | 1410.1042 | cs.FL | 2023-06-22 |
| 最复杂的正则理想语言 | Janusz Brzozowski, Sylvie Davies, Bo Yang Victor Liu | 1511.00157 | cs.FL | 2023-06-22 |
| 大规模计算机软件和系统的状态机 | Victor Yodaiken | 1512.06788 | cs.FL | 2023-06-22 |
| 多重集合、集合和可数数值可解密有向图编码的可决定性 | W{l}odzimierz Moczurad | 1604.02167 | cs.FL | 2023-06-22 |
| 概率语义下的定量自动机 | Krishnendu Chatterjee, Thomas A. Henzinger and Jan Otop | 1604.06764 | cs.FL | 2023-06-22 |
| 确定的有限状态自动机家族作为$omega$-正则语言的接受者 | Dana Angluin, Udi Boker, and Dana Fisman | 1612.08154 | cs.FL | 2023-06-22 |
| 一致可分离的单计数器自动机 | Wojciech Czerwi''nski and S{l}awomir Lasota | 1701.02808 | cs.FL | 2023-06-22 |
| 加权Ω-限制的一计数器自动机 | Manfred Droste, Werner Kuich | 1701.08703 | cs.FL | 2023-06-22 |
| 推动加权树自动机 | Thomas Hanneforth and Andreas Maletti and Daniel Quernheim | 1702.00304 | cs.FL | 2023-06-22 |
| 关于正则语言的差异层次的调查研究 | Olivier Carton, Dominique Perrin, Jean-''Eric Pin | 1702.08023 | cs.FL | 2023-06-22 |
| 带存储的加权正则树文法 | Zolt''an F"ul"op and Luisa Herrmann and Heiko Vogler | 1705.06681 | cs.FL | 2023-06-22 |
| 嵌套字词转导的流畅性 | Emmanuel Filiot and Olivier Gauwin and Pierre-Alain Reynier and Fr''ed''eric Servais | 1707.00527 | cs.FL | 2023-06-22 |
| 有限和无限词语的有理关系子类的决策问题 | Christof L"oding (1) and Christopher Spinrath (2) ((1) RWTH Aachen University, (2) TU Dortmund University) | 1803.06140 | cs.FL | 2023-06-22 |
| 可由逐排序有限代数识别的无穷树的非规则语言 | Miko{l}aj Boja''nczyk, Bartek Klin | 1804.06667 | cs.FL | 2023-06-22 |
| Wadge层次结构的低层中的正则树语言。 | Miko{l}aj Boja''nczyk, Filippo Cavallari, Thomas Place, Micha{l} Skrzypczak | 1806.02041 | cs.FL | 2023-06-22 |
| 状态复杂度的新工具 | Pascal Caron, Edwin Hamel-De le court, Jean-Gabriel Luque, Bruno Patrou | 1807.00663 | cs.FL | 2023-06-22 |
| 弱双Kleene代数的等价性检查 | Tobias Kapp''e and Paul Brunet and Bas Luttik and Alexandra Silva and Fabio Zanasi | 1807.02102 | cs.FL | 2023-06-22 |
| 正则树代数 | Achim Blumensath | 1808.03559 | cs.FL | 2023-06-22 |
| 无限林登词 | Olivier Carton and Luc Boasson | 1809.09033 | cs.FL | 2023-06-22 |
| 计算非确定性自动机的宽度 | Denis Kuperberg and Anirban Majumdar | 1811.00483 | cs.FL | 2023-06-22 |
| 点深度二的分离 | Thomas Place and Marc Zeitoun | 1901.03361 | cs.FL | 2023-06-22 |
| 注册游戏 | Karoliina Lehtinen and Udi Boker | 1902.10654 | cs.FL | 2023-06-22 |
| 具有多项式增长的形态词的特征化 | Tim Smith | 1903.09905 | cs.FL | 2023-06-22 |