加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
有限语言 Krishnendu Chatterjee (IST Austria), Nathana"el Fijalkow (IST Austria, ENS Cachan) 1101.1727 cs.FL 2012-02-03
关于由有界反应自动机定义的语言类的性质 Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori 1201.3082 cs.FL 2012-01-17
捕获EMSO逻辑的数据字上的自动机 Benedikt Bollig (LSV) 1101.4475 cs.FL 2012-01-10
概率自动机等价性问题的复杂性研究 Stefan Kiefer and Andrzej S. Murawski and Jo"el Ouaknine and Bj"orn Wachter and James Worrell 1112.4644 cs.FL 2012-01-09
语言变量的另一种解释:作为语言有限自动机 Supriya Raheja, Reena Dhadich, Smita Rajpal 1112.3435 cs.FL 2011-12-16
跨双前缀自由集合的新方法 Stefano Bilotta, Elisa Pergola, Renzo Pinzani 1112.3168 cs.FL 2011-12-15
有限状态机的竞技场 Giordano Pola, Maria D. Di Benedetto and Elena De Santis 1106.0342 cs.FL 2011-12-13
先行自动机与语言 Violetta Lonati and Dino Mandrioli and Matteo Pradella 1012.2321 cs.FL 2011-12-01
反应自动机 Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori 1111.5038 cs.FL 2011-11-29
有限自动机对二元计数的唯一可解码性 Aryeh Kontorovich and Ari Trachtenberg 1111.6431 cs.FL 2011-11-29
基于DNA构建的自主下推自动机 Tadeusz Krasinski, Sebastian Sakowski, Tomasz Poplawski 1111.5807 cs.FL 2011-11-28
独立词集与同步问题 Arturo Carpi, Flavio D'Alessandro 1111.5467 cs.FL 2011-11-24
格鲁什科夫K图的算法 Pascal Caron and Marianne Flouret 0907.4296 cs.FL 2011-11-22
前缀、后缀、双缀和因子自由正则语言的句法复杂性 Janusz Brzozowski, Baiyu Li, Yuli Ye 1103.2986 cs.FL 2011-11-21
治疗正则表达式匹配中的失眠、健忘和计算障碍 Luis Quesada and Fernando Berzal and Francisco J. Cortijo 1110.1716 cs.FL 2011-11-08
紧致结构的等式理论 Micha{l} Skrzypczak 1111.0476 cs.FL 2011-11-03
非阿贝尔平方不是上下文无关的 Shuo Tan 1110.4136 cs.FL 2011-10-20
非交叉词的迭代发夹完全性 Lila Kari, Steffen Kopecki, Shinnosuke Seki 1110.0760 cs.FL 2011-10-05
带非原子写操作的参数化下推系统 Matthew Hague 1109.6264 cs.FL 2011-09-29
星号自由语言的句法复杂性。 Janusz Brzozowski, Baiyu Li 1109.3381 cs.FL 2011-09-16
无限排列与无限字符串 Anna E. Frid (Sobolev Institute of Mathematics) 1108.3616 cs.FL 2011-08-19
信息安全中的字组合学:迭代哈希函数上多碰撞攻击构建中的不可避免的规律 Juha Kortelainen (Department of Information Processing Science, University of Oulu, Finland) 1108.3617 cs.FL 2011-08-19
有界Parikh自动机 Micha"el Cadilhac (DIRO, Universit''e de Montr''eal), Alain Finkel (LSV, ENS Cachan & CNRS), Pierre McKenzie (DIRO, Universit''e de Montr''eal) 1108.3625 cs.FL 2011-08-19
从正则语言到严格本地可测试语言 Stefano Crespi Reghizzi (Dipartimento di Elettronica e Informazione, Politecnico di Milano), Pierluigi San Pietro (Dipartimento di Elettronica e Informazione, Politecnico di Milano) 1108.3626 cs.FL 2011-08-19
关于Pansiot词避免3重复的研究 Irina A. Gorbunova (Ural Federal University), Arseny M. Shur (Ural Federal University) 1108.3630 cs.FL 2011-08-19