断输入二进位字串是否含有偶数个0的 确定有限自动机（DFA）。"S" 代表着已经输入了偶数个0，因此"S" 即为接受状态（同时亦为开始状态）。若输入含有偶数个0（包含没有0的字串），则此机器会以接受状态来结束。被这台DFA接受的字串，举例来说是ε（空字串）, 1, 11, 11…, 00, 010, 1010, 10110…等等。
变换器.变换器使用动作基于给定输入和／或状态生成输出。它们用于控制应用。常分为两种类型：
Moore机.只使用进入动作的F