But the language constructed there is indeed an unnatural one because the construction needs to run all polynomial time Turing machines.

• 但 Lander给出语言并不是一个自然的语言因在该语言的构造中需运行所有多项式时间的图灵机 .