Title: algorithms and automatic computing machInes