有限状态自动机2014.ppt