孔明用什么计策是司马仲达退兵

三国演义中孔明用空城计使司马仲达退兵，由于马谡不听将令，丢失了街亭后，蜀军全线溃败，驻守西城的诸葛亮忙着抢运粮食的时候，司马懿带领二十万大兵来到西城，诸葛亮退兵已经来不及，只好摆下空城计，司马懿知道诸葛亮一生从不冒险，怕有埋伏急忙退兵！