自动机的实现