Эквивалентность бесконечных систем уравнений в свободных группах и полугруппах конечных подсистем

В работе доказано, что всякая система уравнений в свободной группе (в свободной полугруппе) от конечного числа неизвестных эквивалентна конечной подсистеме. Следствием этого является положительное решение проблемы Эренфойхта о тестовых множествах. Библиогр. 4 назв.