有限状态自动机 状态:输入输出字母表中的符号 弧:状态的转移 仍然是WMM( Visible mm)有限状态自动机 • 状态：输入输出字母表中的符号 • 弧：状态的转移 • 仍然是VMM (Visible MM)