| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 在动态场架构中实现图灵机 | Peter beim Graben and Roland Potthast | 1204.5462 | cs.FL | 2012-07-19 |
| 关于LTL正常形式与布奇自动机之间的关系 | Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He and Kim G. Larsen | 1207.3866 | cs.FL | 2012-07-18 |
| 量子自动机仅通过度量识别的语言类别的代数刻画 | Carlo Comin, Maria Paola Bianchi | 1206.1702 | cs.FL | 2012-07-17 |
| 关于尊重有向图区间的自动机的Cerny猜想 | M. Grech and A. Kisielewicz | 1207.2556 | cs.FL | 2012-07-12 |
| 布尔运算和串联与星号相结合的状态复杂性的通用证人 | Janusz Brzozowski and David Liu | 1207.1982 | cs.FL | 2012-07-10 |
| 基本操作与逆转的状态复杂性的通用证据 | Janusz Brzozowski, David Liu | 1207.0535 | cs.FL | 2012-07-04 |
| Parikh定理：一个简单直接的自动机构造 | Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger | 1006.3825 | cs.FL | 2012-07-03 |
| 近似正则表达式的导数 | Jean-Marc Champarnaud, Hadrien Jeanne and Ludovic Mignot | 1205.1825 | cs.FL | 2012-06-27 |
| 有限/余有限语言、确定语言和反确定语言的句法复杂度 | Janusz Brzozowski, David Liu | 1203.2873 | cs.FL | 2012-06-22 |
| 可折叠下推层次结构的严格性 | Alexander Kartzow and Pawe{l} Parys | 1201.3250 | cs.FL | 2012-06-15 |
| 概率自动机的无限同步词（勘误） | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi | 1206.0995 | cs.FL | 2012-06-06 |
| 可见树上的推入下拉自动机：普遍性和U-普遍性 | V''eronique Bruy`ere, Marc Ducobu, Olivier Gauwin | 1205.2841 | cs.FL | 2012-05-15 |
| 结构化语法的有效性 | Ondv{r}ej B''ilka | 1205.1877 | cs.FL | 2012-05-10 |
| 简洁系统的合成 | John Fearnley, Doron Peled, Sven Schewe | 1202.5449 | cs.FL | 2012-05-07 |
| 一阶量词和图片语言高度片段的句法幺半群 | Oliver Matz | 1204.4443 | cs.FL | 2012-04-24 |
| 形式语言的算术进展筛选 | Hamoon Mousavi and Jeffrey Shallit | 1112.3758 | cs.FL | 2012-04-02 |
| 中断时序自动机：验证与表达能力 | B''eatrice B''erard (LIP6), Serge Haddad (LSV), Mathieu Sassolas (LIP6) | 1203.6453 | cs.FL | 2012-03-30 |
| 星互补星的状态复杂性 | Galina Jiraskova, Jeffrey Shallit | 1203.5353 | cs.FL | 2012-03-27 |
| 左派语法和转换的组合性理论探究 | Pierre Chambart and Philippe Schnoebelen | 1001.5047 | cs.FL | 2012-03-19 |
| 拟欧拉有向图上的同步自动机 | Mikhail V. Berlinkov | 1203.3402 | cs.FL | 2012-03-16 |
| 关于形式幂级数的商环 | Yongming Li, Qian Wang, Sanjiang Li | 1203.2236 | cs.FL | 2012-03-13 |
| 正则语言中原子的商复杂度 | Janusz Brzozowski, Hellis Tamm | 1201.0295 | cs.FL | 2012-03-09 |
| 周期性调度标记图使用平衡二进制字符串 | Jean-Vivien Millo (INRIA Sophia Antipolis), Robert De Simone (INRIA Rocquencourt / INRIA Sophia Antipolis / Laboratoire I3S) | 1202.4912 | cs.FL | 2012-02-23 |
| 在双态下的双曲平面上的一族弱普适元胞自动机 | Maurice Margenstern | 1202.1709 | cs.FL | 2012-02-09 |
| 正则语言是Church-Rosser同余 | Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter | 1202.1148 | cs.FL | 2012-02-07 |