【软考】编译原理之有限自动机