https://123dok.net/document/y4w4wvxv-hierarchies-reducibilities-regular-languages-related-modulo-counting.html