有限自动机

（1）有限自动机(finite automata)亦称时序机，有限离散数字系统的抽象数学模型。

（2）有限自动机有三种功能：作为序列转换器，将输入序列变换为输出序列；作为序列识别器，识别输入的序列是否具有某种性质；作为序列产生器，产生具有所要求性质的序列。

（3）例子

本题考査程序语S基础知识。
有限自动机是一种识别装置的抽象概念，它能准确地识别正规集。一个有限自动机可以用两种直观的方式表示：状态转换图和状态转换矩阵。对于一个字符串集合中的任一字符串ω,若存在一条从初态节点到某一终止状态节点的路径，且这条路径上所有弧的标记符连接成的字符串等于ω,则称ω可由有限自动机识别，并称该字符串集合为该自动机能识别的语言。
题图中，结点A是初态，结点T是终态。从初态出发，必然要通过标记为0的弧，到达终态T的所有弧上都标记了1，因此，该自动机识别的01字符串以0开头以1结尾，其中对于0和1的个数及奇偶性没有限制。