加载中 . . .
中文标题 作者 论文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