タグ: sicp

問題4.46、問題4.47 – SICP(計算機プログラムの構造と解釈)その219

問題4.46 set! で *unparsed* の先頭から解析をして語句を抜き取ってゆき解析結果を作るようになっているため、構文解析プログラムは amb の評価順序に依存している。 問題4.47 (parse-word verbs) に失敗すると (parse-verb-phrase) が無限ループに陥るために、構文解析に成功する間は動作するが、解析パターンが出尽くした後は "Ther…続きを読む