§24.1 有限自动机的定义与构造