递归模式匹配程序 【计】 recursive pattern matcher