《理论计算机科学》第450卷
第450卷，2012年9月
贝特里斯·布乔·马尔霍夫 , 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 丹尼斯·毛雷尔 :
盛裕的讣告。 1 贝特里斯·布乔·马尔霍夫 , 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 丹尼斯·莫雷尔 :
前言。 2
帕维尔·马图金 :
循环自动机和欧拉自动机重置词相关问题的复杂性。 3-9 扬·达契克 , Dawid Weiss公司 :
有限状态自动机的较小表示。 10-21 丹尼斯·贝切特 , Alexandre Ja。 迪科夫斯基 , 安妮·福雷特 :
具有迭代类型的分类语法形成了k值语言的严格层次结构。 22-30 文森特·卡尼诺 , 斯文·德费利塞 :
使用马尔可夫链对不同类型的非循环自动机进行采样。 31-42 皮尔雷·科里勒·海姆 , 文森特·雨果 , 奥尔加·库什纳伦科 
:
树行走自动机的循环和超循环。 43-53 Yo-Sub Han（韩国） , Sang Ki Ko公司 :
具有交叉口的汽车交通元胞自动机模型分析。 54-67 马库斯·霍尔泽 , 马丁·库特里布 , 卡贾·梅克尔 :
无星语言的非确定性状态复杂性。 68-80 朱塞帕·卡斯蒂格利翁 , 安东尼奥·雷斯蒂沃 , 玛丽内拉·西奥蒂诺 :
非确定性摩尔自动机和Brzozowski的最小化算法。 81-91 何塞·M·卡斯塔诺 , 罗德里戈·卡斯塔尼奥 :
命题可满足性的有限状态交集方法。 92-108 Supaporn Chairungsee公司 , 马克西姆·克罗西莫尔 :
使用最少的缺失词建立系统发育。 109-116
