Tony Brooker, meanwhile, had written a program system called FLOATCODE, which did the work of interpreting floating-point arithmetic,

与此同时，托尼·布鲁克开发了一套名为"浮点编码"的编程系统，可以把浮点运算翻译成机器指令，

rather as Alan had envisaged in 1945, but had never bothered to do for Manchester.

图灵在1945年设想过这样的系统，但他在曼彻斯特却没有做过。

It was based on similar work he had done at Cambridge on the EDSAC.

这是基于他在剑桥EDSAC项目中所做的类似工作。

And Alick Glennie went further in 1952 with something called AUTOCODE which was, in effect, the first working high-level computer language in the world.

同样在1952年，格莱尼更进一步，研究出一套名为"自动编码"的系统，这实际上是世界上第一套可用的高级编程语言。

Christopher Strachey was enthusiastic about it-AUTOCODE was in line with the ideas he had written about in 1951, of translating mathematical formulae into machine instructions.

斯特拉齐对此非常有兴趣——他曾在1951年提出过自动编码的理念，即自动地把数学运算翻译成机器指令。

But Alan took little interest. Alick Glennie talked to him about it, but found that he was bored by mere translation,

但是，当格莱尼给图灵讲解这套系统时，图灵却表现得很不耐烦，

something that he had described as obvious in 1947 and had never chosen to take any further himself.

因为他在1947年就已经明确地描述过这种翻译，所以他早就没兴趣了。

He would have been interested in something that would actually do the algebra, rather than translate it.

图灵感兴趣的，是让计算机真正地"做"数学运算，而不是"翻译"数学运算。