ホワイトヘッド・マシン
チューリング・マシンと同じように (well-defined ではないが),
Whitehead
の
Process and Reality
の形而上学を機械として形式化したもの