| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 非确定有限自动机的语法化简 | Robert Samuel Ralph Myers and Henning Urbat | 2107.03229 | cs.FL | 2021-07-12 |
| 流式乘积的代数和余代数 | Michele Boreale, Daniele Gorla | 2107.04455 | cs.FL | 2021-07-12 |
| 决定正则树语言的自顶向下确定性 | Peter Leupold and Sebastian Maneth | 2107.03174 | cs.FL | 2021-07-08 |
| 起源接近的自顶向下树转录器的决策问题（完整版本） | Sarah Winter | 2107.02591 | cs.FL | 2021-07-07 |
| 量子有限自动机的单射性 | Paul C. Bell and Mika Hirvensalo | 1907.01471 | cs.FL | 2021-07-01 |
| 加权树自动机在有限图像性质上过去有限的单调强双半群 | Manfred Droste, Zolt''an F"ul"op, D''avid K''osz''o, Heiko Vogler | 2106.15867 | cs.FL | 2021-07-01 |
| 艾默生-雷氏自动机的确定化和极限确定化 | Tobias John, Simon Jantsch, Christel Baier and Sascha Kl"uppelholz | 2106.15892 | cs.FL | 2021-07-01 |
| 改进的紧凑仿射自动机构造 | Abuzer Yakary{i}lmaz | 2106.16197 | cs.FL | 2021-07-01 |
| 一个用于定位术语中所有模式匹配的集合自动机 | Rick Erkens, Jan Friso Groote | 2106.15311 | cs.FL | 2021-06-30 |
| 使用诱导子网以系统性地证明自由选择网络的属性的简化 | Wil M.P. van der Aalst | 2106.03658 | cs.FL | 2021-06-18 |
| 六十年代的Cerny-Starke猜想 | A.N. Trahtman | 2003.06177 | cs.FL | 2021-06-15 |
| 通过计算最大路径定义的森林语言 | Martin Beaudry | 2105.09970 | cs.FL | 2021-06-15 |
| 有序的正则语言：危险区域 | Giovanna D'Agostino and Davide Martincigh and Alberto Policriti | 2106.00315 | cs.FL | 2021-06-14 |
| 广义循环单向跳转有限自动机 | Ujjwal Kumar Mishra, Kalpana Mahalingam, Rama Raghavan | 2106.03852 | cs.FL | 2021-06-09 |
| 广义线性单向跳转有限自动机 | Ujjwal Kumar Mishra, Kalpana Mahalingam, Rama Raghavan | 2106.02937 | cs.FL | 2021-06-08 |
| 替换下森林语言的包容问题 | Marcial Gai{ss}ert and Manfred Kufleitner | 2106.02571 | cs.FL | 2021-06-07 |
| 弱异步分布式计算模型的决策能力 | Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza | 2102.11630 | cs.FL | 2021-06-03 |
| 自顶向下树转换器的可定义性结果 | Sebastian Maneth, Helmut Seidl, Martin Vu | 2105.14860 | cs.FL | 2021-06-01 |
| 基于最小缺失词的新距离及其在生物序列中的应用 | Giuseppa Castiglione, Jia Gao, Sabrina Mantaci, Antonio Restivo | 2105.14990 | cs.FL | 2021-06-01 |
| 通过反应性合成调整行为 | Gal Amram and Suguman Bansal and Dror Fried and Lucas M. Tabajara and Moshe Y. Vardi and Gera Weiss | 2105.13837 | cs.FL | 2021-05-31 |
| 检查某些可测试性的软件包TESTAS | A.N.Trahtman | 2105.12583 | cs.FL | 2021-05-27 |
| 实时定位系统自动化测试生成的自动机学习 | Swantje Plambeck and Jakob Schyga and Johannes Hinckeldeyn and Jochen Kreutzfeldt and G"orschwin Fey | 2105.11911 | cs.FL | 2021-05-26 |
| 通用寄存器机的计算过程可视化 | Shigeru Ninagawa and Genaro J. Martinez | 2104.02920 | cs.FL | 2021-05-25 |
| 确定有限确定性自动机的局部阈值可测试性的算法 | A.N. Trahtman | 2105.10654 | cs.FL | 2021-05-25 |
| 非周期自动机的Cerny猜想 | A.N. Trahtman | 2105.09105 | cs.FL | 2021-05-20 |