1 research outputs found
A minimal nonfinitely based semigroup whose variety is polynomially recognizable
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.Comment: 16 pages, 3 figure