這個規定就是圖靈機的程序，可以用列表的方法給出。開始時，機器處在壹個特定的狀態q0∈Q。原始數據是壹個長度為n的符號串,放在輸入帶上，輸入帶頭指向該串的最左符號，其余各帶全為空白。然後機器嚴格按規定（程序）壹步步動作下去，壹直到沒有定義而停機。這時輸出帶上的內容即被認為是計算的結果。對於長度為n的輸入,機器從開始到停機的總步數稱為串行時間；所用過的工作帶上的方格數稱為空間；從開始到停機各工作帶頭改變方向的總次數稱為巡回。它們都是n的函數。