编译原理 —— 有穷自动机（FA）

有穷自动机的定义 系统只需要根据当前所处的状态和当前面临的输入信息就可以决定系统的后继行为。当前状态+当前输入=后继行为 FA模型 FA转换图 结点：FA的状态 初始状态（开始状态）：只有一个，由start箭头指向 终止状态（接收状态）：可以有多个，用双圈表示 带标记的有向边：如果对于输入a，存在一个从状态p到状态q的转换，就在p、q之间画一条有向边，并标记上a。（如图中0到1） FA定义的语言

>>阅读原文<<