带有标签in finite space的模型