| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 品种 | Howard Straubing and Pascal Weil | 1502.03951 | cs.FL | 2021-11-19 |
| 关于过渡式拉宾自动机的最小化和穆勒条件的色彩记忆需求 | Antonio Casares | 2105.12009 | cs.FL | 2021-11-08 |
| 历史决定论与量化自动机中的优势竞技 | Udi Boker and Karoliina Lehtinen | 2110.14238 | cs.FL | 2021-10-28 |
| 加权自动机与预有理幺半群上的表达式 | Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot | 2110.12395 | cs.FL | 2021-10-26 |
| 没有派生的派生词：对派生术语自动机的一种转变视角 | Sylvain Lombardy (Bordeaux INP, LaBRI), Jacques Sakarovitch (CNRS, IRIF (UMR\_8243)) | 2110.09181 | cs.FL | 2021-10-19 |
| 在主理想整环上学习加权自动机 | Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva | 1911.04404 | cs.FL | 2021-10-15 |
| 由正则语言指定的图的性质 | Volker Diekert, Henning Fernau, Petra Wolf | 2105.00436 | cs.FL | 2021-10-13 |
| 完全兼容自动机的表征 | David Fernando Casas Torres | 2110.05173 | cs.FL | 2021-10-12 |
| Mealy机器的顺序组合中尾部的最小化和综合 | Alberto Larrauri, Roderick Bloem | 2105.10292 | cs.FL | 2021-10-08 |
| 关于星自由语言类的交集非空问题复杂性 | Emmanuel Arrighi and Henning Fernau and Stefan Hoffmann and Markus Holzer and Isma"el Jecker and Mateus de Oliveira Oliveira and Petra Wolf | 2110.01279 | cs.FL | 2021-10-05 |
| 圆锥形和排名比较 | Viktor Henriksson, Manfred Kufleitner | 2105.09346 | cs.FL | 2021-10-01 |
| 关于自动机最小化在响应式合成中的作用 | Shufang Zhu (Sapienza Universitity of Rome), Lucas M. Tabajara (Rice University), Geguang Pu (East China Normal University), Moshe Y. Vardi (Rice University) | 2008.06790 | cs.FL | 2021-09-20 |
| 标记的最大加自动机的可诊断性 | Kuize Zhang, Joerg Raisch | 2109.07125 | cs.FL | 2021-09-16 |
| 高维度自动机的语言 | Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemia''nski | 2103.07557 | cs.FL | 2021-09-06 |
| 合约的机械验证理论 | St''ephane Kastenbaum (MERCE-France, TEA), Beno^it Boyer (MERCE-France), Jean-Pierre Talpin (TEA) | 2108.13647 | cs.FL | 2021-09-01 |
| 关于具有LI的幺半群的结合性的注记 | Nathan Grosshans | 2103.15659 | cs.FL | 2021-08-31 |
| 群语言中洗牌表达式的可交换闭包是正则的 | Stefan Hoffmann | 2008.05420 | cs.FL | 2021-08-20 |
| 交换正则语言上迭代洗牌的规律条件 | Stefan Hoffmann | 2103.09587 | cs.FL | 2021-08-19 |
| 排列和相关决策问题在字母模式约束上的状态复杂度 | Stefan Hoffmann | 2006.15178 | cs.FL | 2021-08-17 |
| 排列自动机和交换字母识别的语言的投影的状态复杂性 | Stefan Hoffmann | 2108.06976 | cs.FL | 2021-08-17 |
| 通过RPNI算法的扩展从示例中构建确定性ω-自动机 | Le''on Bohn, Christof L"oding | 2108.03735 | cs.FL | 2021-08-10 |
| 价值系统中的范围限定可达性 | Aneesh K. Shetty and S. Krishna and Georg Zetzsche | 2108.00963 | cs.FL | 2021-08-03 |
| 树表达式的自底向上导数 | Samira Attou, Ludovic Mignot and Djelloul Ziadi | 2107.13373 | cs.FL | 2021-07-29 |
| 具名Büchi自动机与名称分配 | Henning Urbat and Daniel Hausmann and Stefan Milius and Lutz Schr"oder | 2107.03213 | cs.FL | 2021-07-13 |
| 分解排列自动机 | Isma"el Jecker, Nicolas Mazzocchi, Petra Wolf | 2107.04683 | cs.FL | 2021-07-13 |