4.1 正则语言与有限状态自动机