1、计算模型与控制机制的研究进展

计算模型与控制机制的研究进展

1. MCU 2018 会议概述

MCU 2018 即第 8 届机器、计算与通用性会议，于 2018 年 6 月 28 - 30 日在法国枫丹白露的巴黎东部克雷泰伊大学的枫丹白露工业技术学院校园内举行。该届会议与第 17 届非常规计算与自然计算国际会议（UCNC 2018）同期举办。

MCU 系列国际会议起源于 20 世纪 90 年代中期，一直致力于通过研究通用计算模型来深入理解计算。它探索了各种离散模型（如图灵机、寄存器机、细胞自动机、瓦片组装系统、重写系统、分子计算模型、神经模型、并发系统等）以及模拟和混合模型（如 BSS 机器、无限时间细胞自动机、实数机器、量子计算等）中的计算。其特别关注以下几个方面：
- 可判定性与不可判定性的边界 ：例如，确定波斯特对应问题不可判定的最小单词对数量，或者图灵机停机问题可判定的最大状态 - 符号乘积。
- 最简通用模型 ：如小型通用图灵机、规则较少的通用重写系统、邻域小且状态数少的通用细胞自动机等。
- 计算演化预测的复杂度 ：例如，是否能比显式逐步模拟更高效地预测模型的任意时间步。
- 并行性与可判定性、复杂度和通用性的联系 。
- 连续计算模型中的通用性和不可判定性 。

此前的 MCU 会议分别在北塞浦路斯的法马古斯塔（2015 年）、瑞士的苏黎世（2013 年）、法国的奥尔良（2007 年）、俄罗斯的圣彼得堡（2004 年）、摩尔多瓦的基希讷乌（2001 年）、法国的