加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
无穷字母表上语言的名义正则表达式。扩展摘要。 Alexander Kurz and Tomoyuki Suzuki and Emilio Tuosto 1310.7093 cs.FL 2013-10-29
带压缩标签的NFA(DFA)的压缩成员关系在NP(P)中 Artur Je.z 1110.2318 cs.FL 2013-10-28
无限字母上的受限变量自动机 Walid Belkhir and Yannick Chevalier and Michael Rusinowitch 1304.6297 cs.FL 2013-10-28
一元计数器网的模拟是PSPACE-完全的 Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke 1310.6303 cs.FL 2013-10-24
ω-语言的可接受条件与 Borel 层次 Julien Cervelle, Alberto Dennunzio, Enrico Formenti and Julien Provillard 1310.5032 cs.FL 2013-10-21
并发可折叠推入系统的饱和 Matthew Hague 1310.2631 cs.FL 2013-10-11
对称群与布尔运算的商复杂性 Jason Bell, Janusz Brzozowski, Nelma Moreira, Rog''erio Reis 1310.1841 cs.FL 2013-10-08
在一个有理进制数系中有理表示的数集 Victor Marsault, Jacques Sakarovitch 1208.5412 cs.FL 2013-10-04
在一个词中搜索间隔重复和子重复 Roman Kolpakov, Mikhail Podolskiy, Mikhail Posypkin, Nickolay Khrapov 1309.4055 cs.FL 2013-10-01
量子自动机通过测量识别的语言类别的代数特征化(扩展版) Carlo Comin 1301.3931 cs.FL 2013-09-30
带有起源信息的传感器 Miko{l}aj Boja''nczyk 1309.6124 cs.FL 2013-09-25
关于Budach的八分之一空间中的老鼠问题的评论 Amir M. Ben-Amram 1305.0911 cs.FL 2013-09-24
基于正则语言的抽象数制文本压缩 Ryoma Sin'ya 1308.0267 cs.FL 2013-09-24
时钟自动机中的空性和普遍性问题与正频率 Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amelie Stainer 1309.2842 cs.FL 2013-09-12
可逆逻辑带记忆功能的元素及其普适性 Kenichi Morita (Hiroshima University) 1309.1264 cs.FL 2013-09-06
如何在具有一个催化剂的 P 系统中获得计算完备性 Rudolf Freund (TU Wien), Gheorghe Pu{a}un 1309.1267 cs.FL 2013-09-06
一维数组文法与具有数组插入和删除规则的P系统 Rudolf Freund (TU Wien), Sergiu Ivanov, Marion Oswald (TU Wien), K.G. Subramanian 1309.1268 cs.FL 2013-09-06
双曲瓷砖与形式语言理论 Maurice Margenstern (Universit''e de Lorraine), K.G. Subramamian (Universiti Sains Malaysia) 1309.1271 cs.FL 2013-09-06
《Thue的1914年论文:一篇翻译》 James F. Power 1308.5858 cs.FL 2013-08-28
自下而上的单词和术语重写 Irene Durand and Geraud Senizergues 0903.2554 cs.FL 2013-08-01
康威和迭代半环 M. Droste, Z. Esik and W. Kuich 1307.0725 cs.FL 2013-08-01
单带和多带图灵机的角度下的Grossone方法论 Yaroslav D. Sergeyev and Alfredo Garro 1307.3976 cs.FL 2013-07-16
通过推动自动机证明上下文无关语言的泵引理 Antoine Amarilli, Marc Jeanmougin 1207.2819 cs.FL 2013-07-09
运算符优先级ω-语言 Federica Panella, Matteo Pradella, Dino Mandrioli and Violetta Lonati 1301.2476 cs.FL 2013-07-03
扩展到多波浪线杠正则表达式和高效的有限自动机构建 Jean-Marc Champarnaud and Faissal Ouardi and Djelloul Ziadi 1306.3507 cs.FL 2013-06-18