A.P. Ershov's contribution to the "Theoretical Computer Science" Journal