tokens: Примеры бесконечных периодических групп с конечным числом образующих были построены Голодом на основе совместной работы с Шафаревичем ( ) , а также Алёшиным и Григорчуком с использованием теории автоматов .