
符號
* 運算子 , 9, 83
.(點) , 3, 5
:(冒號) , 2
=> 提示 , 1
>> 提示 , 1
[ ](角括號) , 3, 4
{ }(大括號) , 3, 9
A
absolute value(絕對值) , 288
abstract interpretation(抽象解譯)
關於 , 286
加法的正負號 , 290–295
應用 , 305
乘法的正負號 , 287–290
路線規劃 , 286
abstract machines(抽象機) , 20
abstract syntax tree(AST, 抽象語法樹)
關於 , 19
手動建置 , 23
reduction relation(化簡關係) , 22
accept states(接受狀態) , 65, 74, 90
Adams, Douglas(亞當斯 , 道格拉斯) , 260
algorithms(演算法) , 254–257
Analytical Engine(分析機) , 57
applications(應用)
abstract interpretation(抽象解譯) , 305
big-step semantics(大步語意) , 47
denotational semantics(指稱語意) , 55
small-step semantics(小步語意) , 42
arguments(引數)
blocks of code(程式碼區塊) , 10
message(訊息) , 5
傳給方法 , 31
procs, 163
變數數量 , 9
Array