在一個(gè)有限可用的存儲(chǔ)空間內(nèi),對(duì)于任何可解的問(wèn)題,編制計(jì)算程序時(shí),指令系統(tǒng)所提供的指令足夠使用。
用軟件的方法在一臺(tái)現(xiàn)有的計(jì)算機(jī)(稱(chēng)為宿主機(jī)host)上實(shí)現(xiàn)另一臺(tái)計(jì)算機(jī)(稱(chēng)為虛擬機(jī))的指令系統(tǒng)。