单规则字符串重写系统归约图中的菱形子图

在本文中，我们研究子图同构问题的一种特定情形。我们考虑格 $M_{k}$ 的哈斯图（具有 $k+2$ 个元素且含一个长度为 $k$ 的反链的唯一格），并希望找到最大的 $k$，使得它同构于给定单规则字符串重写系统的归约图的子图。我们获得了该问题的完整刻画，并表明存在二分性。存在最大此类 $k$ 为 $2$ 的单规则字符串重写系统，也存在没有最大值的情况。不可能有其他中间选项。