用于描述计算的语言才具有图灵完备性。