先將計算機定義爲一個數據處理器,即一個接受輸入數據、處理數據併產生輸出數據的黑盒。spa
這個模型的機器可以完成的操做的類型和數量不明。3d
圖靈模型添加了一個額外的元素一一程序到不一樣的計算機器中,程序是用來告訴計算機對數據進行處理的指令集合。blog
在這個圖靈模型中,輸出數據依賴於兩方面因素的做用:輸入數據和程序,對於相同的輸入數據,若是改變程序,則能夠產生不一樣的輸出數據, 相似地,對於一樣的程序,若是改變輸入數據,則其輸出結果也將不一樣;最後,若是輸入數據和程序保持不變,輸出結果也將不變。排序
圖1-3顯示了對於一樣的程序(排序),輸入不一樣的數據時,儘管程序相同,但由於輸入的數據不一樣而輸出不一樣的結果。程序
圖1-4顯示了對於不一樣的程序,輸入相同的數據時的情形。im
每一個程序使計算機對相同的輸入數據執行不一樣的操做。d3
第一個程序是使輸入數據按大小順序排列,第二個程序是使全部的 數據相加,第三個程序是找出輸入數據中最小的數。數據
咱們但願不管什麼時候對於一樣的輸入數據和程序,其輸出結果都一致;換句話說,當程序在輸入相同的數據運行時,咱們但願有相同的輸出結果。margin