https://123dok.net/document/zkwowg78-polynomial-languages-with-finite-antidictionaries.html