1、加权自动机编辑距离相关研究概述

加权自动机编辑距离相关研究概述

1. 会议背景与主题

第7届自动机实现与应用国际会议（CIAA 2002）于2002年7月3 - 5日在法国图尔的弗朗索瓦·拉伯雷大学举行。此次会议聚焦于自动机的应用与实现问题，涵盖了自动机在软件工程、自然语言与语音识别、图像处理等领域的应用，以及自动机及其相关结构的高效实现的新表示方法和算法。

自动机理论是计算机科学中最古老的领域之一，其研究从早期就受到应用的推动。在20世纪60 - 70年代，自动机研究主要受编译器构造、电路设计、字符串匹配等问题的驱动。近年来，自动机在计算机科学及其他学科的众多新领域得到应用，如面向对象建模中的状态图、自然语言处理中的有限转换器、通信协议中的非确定性有限状态模型等。这些新应用往往无法直接使用现有的自动机模型和算法，需要新的模型或对现有模型进行修改，同时也需要新的算法和表示方法来降低计算的时间和空间需求。CIAA会议系列为这些新问题和挑战提供了交流平台，参会者来自研究机构和行业。

2. 会议致谢

感谢所有程序委员会成员和审稿人在审稿和选稿方面的努力。同时感谢EATCS和ACM SIGACT的赞助，以及以下机构对会议的捐赠：
- CNRS
- 图尔大学科学委员会
- 鲁昂大学科学与技术学院
- 中央大区行政委员会
- 安德尔 - 卢瓦尔省行政委员会
- 图尔市
- 施乐欧洲研究中心（法国格勒诺布尔）

此外，还感谢《计算机科学讲义》系列的编辑和Springer - Verlag，特别是Anna Kramer女士，感谢他们在出版方面的帮助。

3. 程序委员会与组织委员会