2013年第17届DLT:法国马内拉瓦莱
玛丽·皮埃尔·贝亚尔 , 奥利维尔纸箱 :
语言理论的发展——第17届国际会议,2013年DLT,法国马内拉瓦莱,2013年6月18日至21日。 诉讼程序。 计算机科学课堂讲稿 7907, 施普林格 2013 ,国际标准图书编号 978-3-642-38770-8
受邀会谈
Rusins Freivalds公司 :
超度量有限自动机和图灵机。 1-11 阿图尔·杰兹 :
再压缩:单词等式及其他。 12-26 拉斐尔·荣格斯 :
联合谱特征:三个学科的故事。 27-28 克里斯托夫·勒丁 :
明确的有限自动机。 29-30 Jean-Eric销 :
正则语言两个多项式交集的一个显式公式。 31-45
常规论文
马塞拉·安塞尔莫 , 多拉·贾马尔西 , 玛丽亚·马多尼亚 :
图片的二维前缀代码。 46-57 穆罕默德·法乌齐·阿提格 , K.Narayan Kumar , 普拉卡什·塞瓦桑 :
相邻的有序多按钮系统。 58-69 马丁·伯格伦德 , 亨利克·比约克隆德 , 弗兰克·德雷维斯 , 布林克·范德梅尔 , 布鲁斯·沃森 :
正则表达式中的剪切。 70-81 阿尔贝托·贝托尼 , 克里斯蒂安·乔夫鲁特 , 弗拉维奥·达莱桑德罗 :
量子有限自动机和线性上下文无关语言:一个可决定的问题。 82-93 弗朗西娜·布兰切特·萨德里 , 内森福克斯 :
形态词的渐近阿贝尔复杂性。 94-105 弗朗西娜·布兰切特·萨德里 , 布伦特·伍德豪斯 :
模式避免的严格界限。 106-117 Benedikt Bollig公司 , 彼得·哈贝梅尔 , 马丁·勒克 , 本杰明·蒙梅格 :
学习寄存器自动机的新方法。 118-130 西尔维娅·博诺莫 , 萨布丽娜·曼塔奇 , 安东尼奥·雷斯蒂沃 , 乔瓦娜·罗森 , 玛丽内拉·西奥蒂诺 :
后缀、共轭词和林登词。 131-142 詹姆斯·D·库里 , Narad Rampersad公司 , Kalle Saari公司 :
变形序列的移位轨道闭包中的极值词。 143-154 尤尔根·达索 , 弗洛林·马内亚 , 罗伯特·默卡斯 , 迈克·米勒 :
内回文闭合。 155-166 乔尔·戴伊 , 丹尼尔·雷登巴赫 , 约翰内斯·施耐德 :
关于双后置通信问题。 167-178 斯文·德费利塞 , 西里尔·尼科德 :
Brzozowski算法是确定性自动机的广义超多项式。 179-190 阿尔多·德卢卡 , 埃琳娜·普里巴夫基纳 , 卢卡·赞博尼 :
Sturmian和Episturmian单词的着色问题。 191-202 曼弗雷德·德罗斯特 , 海科·福格勒 :
定量上下文无关语言的Chomsky Schützenberger定理。 203-214 佐尔坦·埃西克 , 萨博尔斯·伊凡 :
散射MCFL的操作特性。 215-226 加布里埃尔·菲奇 , 阿莱西奥·兰吉乌 , 蒂埃里·勒克罗克 , 阿诺德·列斐伏尔 , 菲利波偏头痛 , 埃莉斯·普里厄尔·加斯顿 :
斯图尔语单词中的阿贝尔重复。 227-238 佐尔坦·福尔普 , 安德烈亚斯·马莱蒂 :
无ε线性扩展自上而下树换能器的组成闭合。 239-251 丹尼尔·戈克 , 卢克·谢弗 , 杰弗里·沙利特 :
子词复杂性和k同步。 252-263 奥斯卡·H·伊巴拉 , 巴拉·拉维库马尔 :
关于语言接受者时间复杂性的一些决策问题。 264-276 阿图尔·杰兹 , 亚历山大·奥霍廷 :
一个字母上的无歧义连接语法。 277-288 昂德雷·克利马 , 利伯·波拉克 :
分段可测试语言的可选自动机特征。 289-300 乌古尔·库苏克 , A.C.杰姆说 , 阿布泽·亚卡里尔马兹 :
带通知带的有限自动机。 301-312 马丁·库特里布 , 安德烈亚斯·马尔彻 , 马蒂亚斯·温德兰特 :
具有卵石但无状态的单向多头有限自动机。 313-324 列奥尼德·利布金 , 陈庆炎 , Domagoj Vrgoc公司 :
用于查询图形数据库的数据字绑定正则表达式。 325-337 文森特·卡尼诺 , 西尔万·伦巴第 :
Omega语言的因式分解和通用自动机。 338-349 平鲁 , 彭菲菲 , 陈海明(Haiming Chen) :
决定一元语言的决定论是coNP-完全的。 350-361 维克托·马绍尔 , 雅克·萨卡罗维奇 :
b-可识别集的极限周期性:一个拟线性过程。 362-373 罗伯特·默卡斯 , 阿列克西·萨雷拉 :
3-阿贝尔立方体在二进制字母表上是可避免的。 374-383 哈蒙·穆萨维 , 杰弗里·沙利特 :
循环因子中的重复避免。 384-395 费德里卡·帕内拉 , 马泰奥·普拉德拉 , 维奥莱塔·罗纳蒂 , 迪诺·曼德里奥利 :
运算符优先级ω-语言。 396-408 丹尼尔·普鲁萨 , 弗兰蒂斯克先生 , 弗里德里希·奥托 :
关于确定性Sgraffito自动机的新结果。 409-419 Narad Rampersad公司 , 米歇尔·里戈 , 帕维尔·萨利莫夫 :
关于阿贝尔边界词的数量。 420-432 达米安·雷诺特 :
概率元胞自动机中相变的证明。 433-444 阿塞尼·M·舒尔 :
具有有限反字典的语言:保持增长的变换和可用的增长顺序。 445-457
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)