SECD マシン もともと SECD マシンはとてもシンプルで、簡単に実装できるものですが、 その状態遷移ルールがそのままプログラムになるように、マクロを書いていました。定義したマクロを使うと以下のように SECD マシンを定義できます。 (def-secd-machine s…

満足。 SECD: DESIGN ISSUES(http://hdl.handle.net/1880/46590) の Table-1: Abstract Machine Level Transitions がプログラムで書けた。 " INITIAL STATE TRANSFORMED STATE S E C D S E C D - s e (nil . c) d -> (nil . s) e c d s e (ldc x . c) d -> …