字符串匹配
字符串的模式匹配算法。函数 nfind(char * const str, char * const pat) 在字符串 str 中查找模式串 pat。 （验证时间约 90sec）
[Back to Index]
验证特点：字符串内置谓词，\is_pstring
标注说明：函数前条件：描述函数入口处的两个物理字符串；
函数后条件：函数返回值等于-1，则主串和模式串不匹配；函数返回值是非负数，则主串和模式串匹配，且该返回值是主串中匹配串的开始位置。
程序样例 
