基于有限自动机进行字符串匹配。有详细算法描述。