孔明用什麼計策是司馬仲達退兵

三國演義中孔明用空城計使司馬仲達退兵，由於馬謖不聽將令，丟失了街亭後，蜀軍全線潰敗，駐守西城的諸葛亮忙着搶運糧食的時候，司馬懿帶領二十萬大兵來到西城，諸葛亮退兵已經來不及，只好擺下空城計，司馬懿知道諸葛亮一生從不冒險，怕有埋伏急忙退兵！