摘要
这项调查包含有关行为和有限自动机抽象理论的结果。有限自动机及其相关构造是离散数学和数学控制论的基础概念。自动机理论在编程、技术控制论、动态系统理论等方面有多种应用。该理论的经典问题是直接问题：分析自动机进行的信息转换过程和自动机的性质，和逆问题：通过实验合成具有规定属性的自动机和识别（恢复、识别、解码、控制和诊断）自动机。
研究上述问题的基本概念是片断的概念，片断是许多已知的具有特定形式的片断的自然延伸，具有其特性。另一个关键概念是自动机功能的不可观察组件的标识符，即允许明确确定这些组件的片段。
本调查中反映的主题正在深入发展，无论是在解决数学问题方面，还是在与复杂软件和硬件系统的合成、测试和验证相关的应用研究方面。本调查包含一系列最终结果，但它们可以被视为研究自动机分析和合成问题的常规步骤，这些问题的行为不断地充满新的内容，需要额外的资源来解决。
收到：2008-06-20
在线发布：2009-05-28
印刷出版：2009年5月
