On the Finite Basis Problem for Certain 2-limited Words
Jian JIAN, Rong Rong, Li, Wen Wen, Adeline Su Yien Ting, Zhang, Yan, Feng, Luo - · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2013
让 X * 在字母表 X 和 W 上的免费 monoid 是在 X 上的一种有限语言。让 S (W) 是 Rees 商 X */I (W) ,在此我(W) 是 X 的理想 * 由 X 的所有元素组成 * 那不是 W 的 subwords。当时, S (W) 是有零的有限 monoid 并且被称为 W 的分离语法 monoid。W 有限地被叫如果 monoid S (W) 有限地被基于,基于。在这份报纸,我们为非定形地要基于的 monoid 给一些足够的条件。用这些条件和另外的结果,我们在一张三元素的字母表上描述所有有限地基于的 2-limited 词。而且,一个明确的算法被给决定那确切有二个非线性的字母的一个 2-limited 在词是否是,有限地基于。