| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 有限语言基本操作的不完全转换复杂度 | Eva Maia and Nelma Moreira and Rog''erio Reis | 1302.0750 | cs.FL | 2013-02-05 |
| 弱并发Kleene代数及其在代数验证中的应用 | Annabelle McIver and Tahiry Rabehaja and Georg Struth | 1301.7153 | cs.FL | 2013-01-31 |
| 使用上下文无关语法和下推自动机概念的一个有趣示例 | Krasimir Yordzhev | 1201.1095 | cs.FL | 2013-01-24 |
| 最小非确定有限自动机和正则语言的原子 | Janusz Brzozowski, Hellis Tamm | 1301.5585 | cs.FL | 2013-01-24 |
| 正则表达式和发夹表达式的双向导数 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne and Ludovic Mignot | 1301.3316 | cs.FL | 2013-01-16 |
| 小型自动机的V{C}ern''{y}猜想：实证报告 | Jakub Kowalski, Marek Szyku{l}a | 1301.2092 | cs.FL | 2013-01-11 |
| 确定性单计数器自动机的等价性是NL-complete | Stanislav B"ohm, Stefan G"oller, Petr Janv{c}ar | 1301.2181 | cs.FL | 2013-01-11 |
| 线性扩展自顶向下树转换器的组合闭包 | Zolt''an F"ul"op and Andreas Maletti | 1301.1514 | cs.FL | 2013-01-09 |
| 标记迁移系统的三种仿真算法 | G''erard C''ec''e (FEMTO-ST/DISC) | 1301.1638 | cs.FL | 2013-01-09 |
| 将非确定性自动机和上下文无关文法转换为Parikh等效的单向和双向确定性自动机。 | Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki | 1212.1346 | cs.FL | 2012-12-12 |
| 拥抱差异：当你的半环并非完备时的形式化处理方法，及其在量子模拟中的应用 | Gregory Crosswhite | 1208.0659 | cs.FL | 2012-12-06 |
| 结合插入和删除在RNA编辑中保持规律 | E.P. de Vink (Technische Universiteit Eindhoven and Centrum Wiskunde Informatica), H. Zantema (Technische Universiteit Eindhoven and Radboud University Nijmegen), D. Bov{s}nav{c}ki (Technische Universiteit Eindhoven) | 1211.4092 | cs.FL | 2012-11-20 |
| 利用SAT学习以最小化布尔自动机 | Stephan Barth, Martin Hofmann | 1210.2452 | cs.FL | 2012-10-10 |
| 具有数据的高阶推入系统 | Pawe{l} Parys (University of Warsaw) | 1210.2460 | cs.FL | 2012-10-10 |
| 明确的树语言在拓扑上比确定性的更难 | Szczepan Hummel (University of Warsaw) | 1210.2463 | cs.FL | 2012-10-10 |
| 奥斯特洛夫斯基计数法与斯图尔米安词的局部周期 | Luke Schaeffer | 1210.2343 | cs.FL | 2012-10-09 |
| 使用Prover9进行Alloy规范的自动无界验证 | Nuno Macedo and Alcino Cunha | 1209.5773 | cs.FL | 2012-09-27 |
| 确定一个正则语言是否由剪接系统生成 | Lila Kari, Steffen Kopecki | 1112.4897 | cs.FL | 2012-08-31 |
| 数据语言的迷宫 | Loris D'Antoni | 1208.5980 | cs.FL | 2012-08-30 |
| 无星语言是Church-Rosser相合的 | Volker Diekert, Manfred Kufleitner, Pascal Weil (LaBRI) | 1111.4300 | cs.FL | 2012-08-28 |
| 有界验证的完美模型 | Javier Esparza, Pierre Ganty, Rupak Majumdar | 1201.3194 | cs.FL | 2012-08-28 |
| 符号树转录器的前向和后向应用 | Zolt''an F"ul"op and Heiko Vogler | 1208.5324 | cs.FL | 2012-08-28 |
| 有关无状态确定性下推自动机中有限压栈字母的注记 | Tom''av{s} Masopust | 1208.5002 | cs.FL | 2012-08-27 |
| 部分可交换的上下文无关语言 | Wojciech Czerwi''nski (Institute of Informatics, University of Warsaw), S{l}awomir Lasota (Institute of Informatics, University of Warsaw) | 1208.2747 | cs.FL | 2012-08-15 |
| 关于通用有限或下推自动机存在性 | Manfred Kudlek (Universit"at Hamburg) | 1207.7149 | cs.FL | 2012-08-01 |