网站首页 词典首页
They gave the formal definition of Turing reduction in terms of oracle Turing machine ( OTM ).
他们用oracle图灵机 ( OTM ) 模型给出了图灵归约的形式定义.
互联网
英汉翻译词典包含4367426条英汉汉英翻译词条,基本涵盖了全部常用英语单词及常用语的翻译及用法,是英语学习的有利工具。