| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 自动获胜转变 | Jarkko Peltom"aki and Ville Salo | 2106.07249 | cs.FL | 2022-06-15 |
| 使用Mealy机实现完全正则表达式匹配的报告 | Ricardo Almeida | 2206.04944 | cs.FL | 2022-06-13 |
| 布尔运算中星形的状态复杂度 | Pascal Caron, Edwin Hamel-de-le court, Jean-Gabriel Luque | 2206.05100 | cs.FL | 2022-06-13 |
| 通过2D逗号自由编码减小平铺系统中的本地字母表大小 | Stefano {Crespi Reghizzi} and Antonio Restivo and Pierluigi {San Pietro} | 2206.05208 | cs.FL | 2022-06-13 |
| 寄存器限制综合的通用解决方案及其在离散序中的应用 | L''eo Exibard, Emmanuel Filiot, Ayrat Khalimov | 2205.01952 | cs.FL | 2022-06-09 |
| 自组装信号传递瓷砖的通用形状复制 | Andrew Alseth, Daniel Hader, Matthew J. Patitz | 2206.03908 | cs.FL | 2022-06-09 |
| DNA基有限自动机的最优码字构建 | Anupam Chattopadhyay and Arnab Chakrabarti | 2206.01926 | cs.FL | 2022-06-07 |
| 朝向多字符情况下的近似最小化的AAK理论方法 | Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau | 2206.00172 | cs.FL | 2022-06-02 |
| 强化学习中规范转换的框架 | Rajeev Alur, Suguman Bansal, Osbert Bastani and Kishor Jothimurugan | 2111.00272 | cs.FL | 2022-05-31 |
| 整数上的可同步函数 | Didier Caucal and Chlo''e Rispal | 2205.14018 | cs.FL | 2022-05-30 |
| 从示例和演示中学习确定性有限自动机的分解 | Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia | 2205.13013 | cs.FL | 2022-05-27 |
| 流式监测数据的实时可视化 | Jan Baumeister and Bernd Finkbeiner and Stefan Gumhold and Malte Schledjewski | 2205.12823 | cs.FL | 2022-05-26 |
| 关于F系统生成的正则语言类的注记 | Jorge C. Lucero and S{l}awek Staworko | 2007.15705 | cs.FL | 2022-05-23 |
| 有界合成的通用解决方案及其在离散序中的应用 | L''eo Exibard, Emmanuel Filiot, Ayrat Khalimov | 2105.09978 | cs.FL | 2022-05-23 |
| 有界歧义的概率自动机 | Nathana"el Fijalkow, Cristian Riveros, James Worrell | 2205.08175 | cs.FL | 2022-05-20 |
| 一维推动式向量加法系统中的覆盖性是不可判定的。 | Sylvain Schmitz and Georg Zetzsche | 1906.07069 | cs.FL | 2022-05-12 |
| 折叠系统生成语言类的泵引理 | Jorge C. Lucero | 1910.08518 | cs.FL | 2022-05-12 |
| 线性因子复杂度词的拓扑不变量 | Jason Bell | 2202.00643 | cs.FL | 2022-05-12 |
| 局部可测性及其层次的多项式时间算法 | A.N. Trahtman | 2205.05434 | cs.FL | 2022-05-12 |
| 一个通用的基于语言的框架，用于规范和验证不透明性概念 | Andrew Wintenberg, Matthew Blischke, St''ephane Lafortune, Necmiye Ozay | 2103.10501 | cs.FL | 2022-05-10 |
| 模糊自动机之间的模糊模拟与双模拟 | Linh Anh Nguyen | 2205.01955 | cs.FL | 2022-05-05 |
| 关于良好游戏Rabin自动机的大小及其与Muller游戏中的记忆之间的联系 | Antonio Casares, Thomas Colcombet, Karoliina Lehtinen | 2204.11333 | cs.FL | 2022-05-02 |
| 规范化编辑距离在统一操作成本下是一种度量 | Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss | 2201.06115 | cs.FL | 2022-04-26 |
| 双向推动下的可达性问题 | Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Sch"utze, Georg Zetzsche | 2204.11799 | cs.FL | 2022-04-26 |
| 度量理论视角下的模糊性 | Olivier Carton | 2011.10534 | cs.FL | 2022-04-25 |