非递归形式