Carayol，阿诺（编辑）;西里尔·尼科德（编辑） 自动机的实现和应用。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。 （英文） Zbl 1365.68007号 计算机科学课堂讲稿10329.查姆：施普林格（ISBN 978-3-319-60133-5/pbk；978-3-3169-60134-2/电子书）。xx，213页。(2017). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1365.68008号].索引文章：卢卡·埃特罗（Luca Aceto）；安东尼斯·阿奇利奥斯（Antonis Achilleos）；阿德里安·弗兰卡兰扎（Adrian Francalanza）；Anna Ingólfsdóttir；克雅坦松，Svarrn关于确定监控器的复杂性，1-13[Zbl 1489.68149号]马丁·伯格伦德；van der Merwe，Brink；布鲁斯·沃森；尼古拉斯·维德曼，关于实际正则表达式中原子子群的语义，14-26[Zbl 1489.68119号]亨利克·比约克隆德；比约克隆德（Johanna Björklund）；彼得·埃里克森，关于有序DAG语言的规则性和可学习性，27-39[兹比尔1489.68120]博迪恩（Bordihn），亨宁（Henning）；马库斯·霍尔泽，关于确定性和非确定性有限自动机中的活动状态数，40-51[Zbl 1489.68121号]Janusz A.Brzozowski。；科尔文·辛纳蒙，真前缀-凸正则语言的复杂性，52-63[Zbl 1429.68100号]克劳迪娅·考利；皮特曼，尼尔，概率微积分与p-自动机的等价性，64-75[Zbl 1489.68122号]Robert Ferens；Szykuła，马雷克，无双变量正则语言的复杂性，76-88[Zbl 1429.68109号]亨宁费尔瑙；拉克希曼·库普萨米；因杜马提·拉曼，路径结构图形控制插入-删除系统的计算完整性，89-100[Zbl 1410.68185号]纳塔娜·菲亚尔科夫；雨果·金伯特（Hugo Gimbert）；Edon Kelmendi；丹尼斯·库珀伯格，Stamina:自动机理论中的稳定幺半群，101-112[Zbl 1489.68124号]斯特凡·格尔季科夫（Stefan Gerdjikov）；米霍夫，斯托扬；克劳斯·舒尔茨。，利用功能有限状态传感器构建双机械的简单方法，113-125[Zbl 1489.68126号]Han，Yo-Sub；Ko、Sang-Ki，正则树语言的对齐距离，126-137[Zbl 1429.68115号]米查尔·霍斯波达尔；加琳娜·吉尔亚斯科娃（Jirásková）；彼得·姆林纳奇克，自由和凸语言上操作的非确定性复杂性，138-150[Zbl 1429.68117号]马丁·库特里布（Martin Kutrib）；安德烈亚斯·马尔彻（Andreas Malcher）；马蒂亚斯·温德兰特，使用有限状态机进行可逆转换，151-162[Zbl 1429.68121号]路易斯·马里·丹多；西尔万·伦巴第，从Hadamard表达式到加权旋转自动机，163-174[Zbl 1429.68106号]保罗·马萨扎，关于猜想\（\mathcal{左}_{\mathsf{DFCM}}\subsetneq\mathsf{RCM}\），175-187[Zbl 1489.68131号]安德鲁·里日科夫，没有非平凡循环的自动机中的同步问题，188-200[兹比尔1429.68132]Szykuła，马雷克；约翰·威特内贝尔，无双语的句法复杂性，201-212[Zbl 1429.68135号] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 65年第68季度 形式语言和自动机 00B25型 杂项特定利益的会议记录 引文：Zbl 1365.68008号 PDF格式BibTeX公司 XML格式引用 \textit{A.Carayol}（编辑）和\textit{C.Nicaud}（编），自动机的实现和应用。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆：斯普林格（2017；Zbl 1365.68007） 全文： 内政部