程序设计实践4w1 有限自动机