https://123dok.net/document/y8g2gvl2-finite-idempotent-groupoids-and-regular-languages.html