有限状态自动机的demo程序