有限自动机理论CH6