| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 近似的NFA普适性及信息论相关问题 | Stavros Konstantinidis (1), Mitja Mastnak (1), Nelma Moreira (2), Rog''erio Reis (2) ((1) Saint Mary's University Halifax Canada, (2) University of Porto Portugal) | 2202.01594 | cs.FL | 2022-04-13 |
| 素数的Kleene星在任何进制下都不是正则的 | Jason Yuen | 2203.16088 | cs.FL | 2022-04-12 |
| 寻找带有部分可观测性的Petri网上两人游戏的获胜策略 | Federica Adobbati, Luca Bernardinello, Lucia Pomello | 2204.01603 | cs.FL | 2022-04-05 |
| 图像-二进制自动机 | Stefan Kiefer and Cas Widdershoven | 2109.01049 | cs.FL | 2022-03-29 |
| 有序正则语言和自动机：复杂度 | Giovanna D'Agostino and Davide Martincigh and Alberto Policriti | 2203.12534 | cs.FL | 2022-03-24 |
| 不保持原始性的二进制编码 | v{S}tv{e}p''an Holub and Martin Rav{s}ka and v{S}tv{e}p''an Starosta | 2203.11341 | cs.FL | 2022-03-23 |
| 关于用许多团和共团补充非模糊自动机和图的论文 | Emil Indzhev and Stefan Kiefer | 2105.07470 | cs.FL | 2022-03-17 |
| 有限有序半群引发的偏序 | Ondv{r}ej Kl''ima and Jonatan Kolegar | 2203.06535 | cs.FL | 2022-03-15 |
| 有限最大码和循环群的因子分解 | Clelia De Felice | 2202.09675 | cs.FL | 2022-02-22 |
| 从正则传感器表达式高效构建可逆传感器 | Luc Dartois, Paul Gastin, R. Govind and Shankaranarayanan Krishna | 2202.04340 | cs.FL | 2022-02-10 |
| 协调表选择性替代系统的复杂性 | Liliana Cojocaru | 2202.02613 | cs.FL | 2022-02-08 |
| 基于离散度的主动自动机学习的新方法 | Frits Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wi{ss}mann | 2107.05419 | cs.FL | 2022-01-28 |
| 证明不可表达性 | Orna Kupferman and Salomon Sickert | 2101.08756 | cs.FL | 2022-01-26 |
| 基于时间距离的抢占式实时系统状态空间计算 | Abdelkrim Abdelli | 2201.09784 | cs.FL | 2022-01-25 |
| 来自开发工件的保守混合自动机 | Niklas Metzger, Sanny Schmitt, Maximilian Schwenger | 2111.05613 | cs.FL | 2022-01-24 |
| 认证有限自动机的识别和分离界限 | Orna Kupferman and Nir Lavee and Salomon Sickert | 2107.01566 | cs.FL | 2022-01-20 |
| 群组连接层次结构中级别一的特征化 | Thomas Place and Marc Zeitoun | 2201.06826 | cs.FL | 2022-01-19 |
| ltlsynt的改进 | Florian Renkin (LRDE), Philipp Schlehuber (LRDE), Alexandre Duret-Lutz (LRDE), Adrien Pommellet (LRDE) | 2201.05376 | cs.FL | 2022-01-17 |
| 完全可达自动机：自动机、图和树之间的相互关系 | Evgeniya A. Bondar and David Casas and Mikhail V. Volkov | 2201.05075 | cs.FL | 2022-01-14 |
| 有限词超语言 | Borzoo Bonakdarpour and Sarai Sheinvald | 2201.01670 | cs.FL | 2022-01-06 |
| 通过分配律同态的规范自动机 | Stefan Zetzsche (University College London), Gerco van Heerdt (University College London), Matteo Sammartino (Royal Holloway, University of London), Alexandra Silva (Cornell University) | 2104.13421 | cs.FL | 2021-12-30 |
| 单计数器网的确定化 | Shaull Almagor, Asaf Yeshurun | 2112.13716 | cs.FL | 2021-12-28 |
| 关于LL(k)线性合取文法 | Ilya Olkhovsky, Alexander Okhotin | 2112.08014 | cs.FL | 2021-12-16 |
| 具有非最大自动复杂度的正常序列 | Liam Jordon, Philippe Moser | 2107.05979 | cs.FL | 2021-11-30 |
| 具有上下文操作符的语法中最难的语言 | Mikhail Mrykhin, Alexander Okhotin | 2012.03596 | cs.FL | 2021-11-22 |