自动机DEMO