| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 行单项式矩阵的代数 | A.N. Trahtman | 2110.06839 | cs.FL | 2022-10-05 |
| 关于有理递归序列 | Lorenzo Clemente, Maria Donten-Bury, Filip Mazowiecki, Micha{l} Pilipczuk | 2210.01635 | cs.FL | 2022-10-05 |
| 确定方向的双向有限自动机的最短可接受字符串的最大长度 | Olga Martynova, Alexander Okhotin | 2210.00235 | cs.FL | 2022-10-04 |
| 一个通用的多项式时间方法：无量化器替代的一阶逻辑分离 | Thomas Place and Marc Zeitoun | 2210.00946 | cs.FL | 2022-10-04 |
| 石头传感器的一元输出 | Ga"etan Dou''eneau-Tabot | 2104.14019 | cs.FL | 2022-10-03 |
| 当输出字母表为一元时隐藏石子 | Ga"etan Dou''eneau-Tabot | 2112.10212 | cs.FL | 2022-10-03 |
| 主动 vs 被动：网络协议自动机学习范式的比较 | Bernhard K. Aichernig (Institute of Software Technology, Graz University of Technology), Edi Muv{s}kardin (Silicon Austria Labs, TU Graz - SAL DES Lab, Institute of Software Technology, Graz University of Technology), Andrea Pferscher (Institute of Software Technology, Graz University of Technology) | 2209.14031 | cs.FL | 2022-09-29 |
| 可实现的和无上下文限制的超语言。 | Hadar Frenkel (CISPA Helmholtz Center for Information Security, Saarbr"ucken, Germany), Sarai Sheinvald (Department of Software Engineering, Braude College of Engineering, Karmiel, Israel) | 2209.10306 | cs.FL | 2022-09-22 |
| 使用平坦自动机生成分词器 | Hans de Nivelle (School of Engineering and Digital Sciences, Nazarbayev University, Nursultan-City, Kazakkhstan), Dina Muktubayeva (School of Engineering and Digital Sciences, Nazarbayev University, Nursultan-City, Kazakhstan) | 2209.10313 | cs.FL | 2022-09-22 |
| 比较通信状态机、高级消息序列图和多方会话类型的通道限制。 | Felix Stutz (MPI-SWS), Damien Zufferey (MPI-SWS) | 2209.10328 | cs.FL | 2022-09-22 |
| 多项式识别ω-自动机 | Dana Angluin and Dana Fisman and Yaara Shoval | 2209.09336 | cs.FL | 2022-09-21 |
| J.-E. Pin的一个定理的简短而优雅的证明 | Michiel de Bondt | 1811.11660 | cs.FL | 2022-09-16 |
| 以宏树转换器刻画有属性的树翻译 | Kenji Hashimoto and Sebastian Maneth | 2209.07090 | cs.FL | 2022-09-16 |
| 长跑意味着向量加法系统中存在较大的分隔符 | Wojciech Czerwi''nski, Adam Jk{e}drych | 2105.00052 | cs.FL | 2022-09-14 |
| 高效内存正则模式匹配的软硬件协同设计 | Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang | 2209.05686 | cs.FL | 2022-09-14 |
| 构建无拷贝流式字符串转换器 | Rajeev Alur and Taylor Dohmen and Ashutosh Trivedi | 2209.05448 | cs.FL | 2022-09-13 |
| 流数据处理的窗口表达式 | M. Praveen and S. Hitarth | 2209.04244 | cs.FL | 2022-09-12 |
| Watson-Crick上下文无关文法的成员问题的实际方面 | Jan Hammer, Zbynv{e}k Kv{r}ivka | 2209.03655 | cs.FL | 2022-09-09 |
| 如何决定自顶向下树转换器组合的功能 | Sebastian Maneth, Helmut Seidl, and Martin Vu | 2209.01044 | cs.FL | 2022-09-05 |
| 一路计数自动机的可逆计算 | Martin Kutrib (Institut f"ur Informatik, Universit"at Giessen), Andreas Malcher (Institut f"ur Informatik, Universit"at Giessen) | 2208.14720 | cs.FL | 2022-09-01 |
| P与B：P系统作为布尔网络可控性的形式框架 | Artiom Alhazov (Vladimir Andrunachievici Institute of Mathematics and Computer Science), Rudolf Freund (Faculty of Informatics, TU Wien), Sergiu Ivanov (Universit''e Paris-Saclay, Univ. ''Evry, IBISC) | 2208.14723 | cs.FL | 2022-09-01 |
| 单子表达式及其导数 | Samira Attou (LITIS, Universit''e de Rouen Normandie), Ludovic Mignot (GR2IF, Universit''e de Rouen Normandie), Cl''ement Miklarz (GR2IF, Universit''e de Rouen Normandie), Florent Nicart (GR2IF, Universit''e de Rouen Normandie) | 2208.14724 | cs.FL | 2022-09-01 |
| 关于具有严格局部可测试选择语言的上下文文法的生成能力 | J"urgen Dassow (Fakult"at f"ur Informatik, Otto-von-Guericke-Universit"at Magdeburg), Bianca Truthe (Institut f"ur Informatik, Universit"at Giessen) | 2208.14725 | cs.FL | 2022-09-01 |
| 决定性树控制语法 | Dominika Klobuv{c}n''ikov''a (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology), Zbynv{e}k Kv{r}ivka (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology), Alexander Meduna (Centre of Excellence IT4Innovations, Faculty of Information Technology, Brno University of Technology) | 2208.14728 | cs.FL | 2022-09-01 |
| 非返回的有透明字母的有限自动机 | Frantiv{s}ek Mr''az (Charles University), Friedrich Otto (Universit"at Kassel) | 2208.14729 | cs.FL | 2022-09-01 |