| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 六状态下的七重星格上的强普适细胞自动机 | Maurice Margenstern | 2304.13575 | cs.FL | 2023-05-05 |
| 随机时钟下的矩形自动机中最大化可达概率 | Joanna Delicaris, Stefan Schupp, Erika ''Abrah''am, Anne Remke | 2304.14996 | cs.FL | 2023-05-05 |
| WSTS的可分离性和非确定性 | Eren Keskin, Roland Meyer | 2305.02736 | cs.FL | 2023-05-05 |
| 超级节点自动机 | Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa | 2305.02836 | cs.FL | 2023-05-05 |
| 高维自动机理论的发展 | Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemia''nski | 2305.02873 | cs.FL | 2023-05-05 |
| 可重构通信的增益测量 | Mathieu Lehaut, Nir Piterman | 2305.01425 | cs.FL | 2023-05-03 |
| 群体分离的反击 | Thomas Place and Marc Zeitoun | 2205.01632 | cs.FL | 2023-05-01 |
| 关于字和压缩字的拆分因子与子词普遍性 | Philippe Schnoebelen and Julien Veron | 2304.11932 | cs.FL | 2023-04-25 |
| 等待网络：状态类和分类学 | Lo"ic H''elou"et, Pranay Agrawal | 2211.10540 | cs.FL | 2023-04-24 |
| Z-多规则函数 | Thomas Colcombet, Ga"etan Dou''eneau-Tabot, Aliaume Lopez | 2207.07450 | cs.FL | 2023-04-19 |
| 轨道有限维向量空间与加权寄存器自动机 | Miko{l}aj Boja''nczyk, Joanna Fijalkow, Bartek Klin and Joshua Moerman | 2104.02438 | cs.FL | 2023-04-18 |
| 少状态的极值二进制PFA | Stijn Cambie, Michiel de Bondt, and Henk Don | 2108.13927 | cs.FL | 2023-04-18 |
| 具有测试和顶部的Kleene代数的完备性定理 | Damien Pous, Jana Wagemaker | 2304.07190 | cs.FL | 2023-04-17 |
| 一种基于余代数的有限自动机简化方法 | Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman | 2303.14916 | cs.FL | 2023-04-14 |
| 关于正则属性的推理：一项比较研究 | Tom''av{s} Fiedor, Luk''av{s} Hol''ik, Martin Hruv{s}ka, Adam Rogalewicz, Juraj S''iv{c}, Pavol Vargovv{c}''ik | 2304.05064 | cs.FL | 2023-04-12 |
| 具有跨案例依赖关系的进程的精确和近似的日志对齐 | Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen | 2304.05210 | cs.FL | 2023-04-12 |
| 跳跃自动机在无限字上 | Shaull Almagor and Omer Yizhaq | 2304.01278 | cs.FL | 2023-04-05 |
| Isabelle/HOL中的VDM递归函数 | Leo Freitas, Peter Gorm Larsen | 2303.17457 | cs.FL | 2023-03-31 |
| 六状态下的七重格中的弱普适加权元胞自动机 | Maurice Margenstern | 2301.10691 | cs.FL | 2023-03-29 |
| 完全可达自动机：一个多项式算法和二次上界 | Robert Ferens, Marek Szyku{l}a | 2208.05956 | cs.FL | 2023-03-27 |
| 无比较的多规则函数 | L^e Th`anh D~ung Tito Nguy^en, Camille No^us, C''ecilia Pradic | 2105.08358 | cs.FL | 2023-03-24 |
| 关于类型化杰克逊网的重构性和重新发现性（扩展版） | Dani"el Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf | 2303.10039 | cs.FL | 2023-03-20 |
| 零散的一计数语言的秩小于$omega^2$ | Szabolcs Ivan | 2007.00090 | cs.FL | 2023-03-07 |
| 基于交换和不匹配距离的等测单词 | Marcella Anselmo, Giuseppa Castiglione, Manuela Flores, Dora Giammarresi, Maria Madonia, Sabrina Mantaci | 2303.03086 | cs.FL | 2023-03-07 |
| 部分可观测随机系统的黑盒测试活性属性 | Javier Esparza and Vincent Grande | 2303.03292 | cs.FL | 2023-03-07 |