| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 确定性定时有限状态机:等价性检查和表达能力 | Davide Bresolin (University of Bologna), Khaled El-Fakih (American University of Sharjah), Tiziano Villa (University of Verona), Nina Yevtushenko (Tomsk State University) | 1408.5967 | cs.FL | 2014-08-27 |
| 关于具有到上下文无关语言学习的约简的偶线性索引语言 | Benjamin Caulfield | 1312.0175 | cs.FL | 2014-08-26 |
| 无星语言与局部除数 | Manfred Kufleitner | 1408.2842 | cs.FL | 2014-08-14 |
| 有界计数器语言 | Holger Petersen | 1204.0833 | cs.FL | 2014-08-07 |
| 集中式推进自动机的强大能力 | Holger Petersen | 1208.1283 | cs.FL | 2014-08-07 |
| 关于下推自动机系统的注记 | Holger Petersen | 1310.0504 | cs.FL | 2014-08-07 |
| 具有存储功能的无上下文文法 | Joost Engelfriet | 1408.0683 | cs.FL | 2014-08-05 |
| 正则表达式的Brzozowski导数的一些属性 | N.Murugesan, O.V.Shanmuga Sundaram | 1407.5902 | cs.FL | 2014-07-23 |
| K-位置、跟随、方程和K-C-延续树自动机构造 | Ludovic Mignot (LITIS Laboratory Normandie University, University of Rouen France), Nadia Ouali Sebti (LITIS Laboratory Normandie University, University of Rouen France), Djelloul Ziadi (LITIS Laboratory Normandie University, University of Rouen France) | 1403.6251 | cs.FL | 2014-07-14 |
| 关于交替塔长度的上下界研究 | v{S}tv{e}p''an Holub, Galina Jir''askov''a, Tom''av{s} Masopust | 1404.4495 | cs.FL | 2014-07-10 |
| 概率上下文无关文法的距离计算 | Colin de la Higuera, James Scicluna, Mark-Jan Nederhof | 1407.1513 | cs.FL | 2014-07-08 |
| 左理想和双边理想的句法复杂性上界 | Janusz Brzozowski and Marek Szyku{l}a | 1403.2090 | cs.FL | 2014-07-04 |
| 求解:关于可数个一对一线性有限传感器的统计研究。 | Ivone Amorim, Ant''onio Machiavelo, Rog''erio Reis | 1407.0169 | cs.FL | 2014-07-02 |
| 排水引理和奥格登引理对位移上下文无关文法的应用 | Alexey Sorokin | 1403.6230 | cs.FL | 2014-07-01 |
| 同步和路线染色的参数化复杂性 | Vojtv{e}ch Vorel and Adam Roman | 1403.4749 | cs.FL | 2014-06-24 |
| 大型非周期半群 | Janusz Brzozowski and Marek Szyku{l}a | 1401.0157 | cs.FL | 2014-06-20 |
| 由索引语言确定的无限单词 | Tim Smith | 1406.3373 | cs.FL | 2014-06-18 |
| 一致性问题在单计数器网中的可决定性 | Piotr Hofman, Richard Mayr, Patrick Totzke | 1304.4104 | cs.FL | 2014-06-17 |
| 特征值和形态序列的传导:扩展版 | David Sprunger, William Tune, J"org Endrullis, Lawrence S. Moss | 1406.1754 | cs.FL | 2014-06-09 |
| 通过输入改变的转换器计算正则语言的编辑距离的高效算法 | Lila Kari, Stavros Konstantinidis, Steffen Kopecki, Meng Yang | 1406.1041 | cs.FL | 2014-06-05 |
| 最大原子语言 | Janusz Brzozowski (University of Waterloo), Gareth Davies (University of Waterloo) | 1308.4368 | cs.FL | 2014-05-23 |
| 加权自动机的同步化 | Szabolcs Iv''an (University of Szeged, Hungary) | 1403.5729 | cs.FL | 2014-05-23 |
| 关于带有代数结构的自动机种类(扩展摘要) | Ondv{r}ej Kl''ima (Department of Mathematics and Statistics, Masaryk University, Brno, Czech Republic) | 1405.5595 | cs.FL | 2014-05-23 |
| 确定性下推自动机在无限字上的决策问题 | Christof L"oding | 1405.5596 | cs.FL | 2014-05-23 |
| 树转换器的等价性问题:简要调查 | Sebastian Maneth (University of Edinburgh) | 1405.5597 | cs.FL | 2014-05-23 |