簇是多项式可识别的极小非线性半群
A minimal nonfinitely based semigroup whose variety is polynomially recognizable
摘要：
我们展示了一个6元半群，没有有限的身份基础，但仍然产生各种有限成员问题承认一个多项式算法。
英文摘要：
We exhibit a 6-element semigroup that has no finite identity basis but nevertheless generates a variety whose finite membership problem admits a polynomial algorithm.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
