
索引
|
331
規則 , 110, 247
simulation(模擬物) , 157
SKI combinator calculus(SKI 組合器演算)
, 215–227
storage(儲存空間) , 148–151
subroutines(副常式) , 151
tag systems(標籤系統) , 227–245
Wolfram's 2,3 Turing machine(沃夫瑞的 2,
3 圖靈機) , 251
total programming languages(總體程式語言)
, 264, 280
transition functions(轉移函式) , 79
transition semantics(轉換語意 , 請見 small-
step semantics)
transitions(轉移) , 79
Treetop 語言 , 58, 92–94
Turing machines(圖靈機 , 請見 TM)
Turing, Alan(圖靈 , 艾倫) , 135, 136, 138
Turner, David(特納 , 大衛) , 280
U
unary representation(一元表示法) , 157
undecidable problems(無法決定的問題)
關於 , 270
halting problem(停機問題) , 271–277
暗示 , 280–281
toy example(玩具範例) , 277–280
universal Turing machines(通用圖靈機 ,