Lecture 10 Notes

6 fact iter usage produces compare

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview:     ©¨¥ ¤ ¡§ £¡   Since we have strictly followed the definition of S-list and S-exp, this recursion is guaranteed to halt. Since and call each other recursively, we say they are mutually recursive. £    ¥  ¤ ¡ ¢©§ ©¢          The decomposition of into two procedures, one for each syntactic category, is an important technique. It allows us to think about one syntactic category at a time, which simplifies things tremendously in more complicated situations. 17  6§    C  D%    "    !¢  §  © ©¨  £ ¤  § ¤  ©1 ¥ ¡ ¡0      6 ¡     D A ! "9A   9CE   18    4©9" £¤¢¦3¨¥ !"¤© ¢¦§ ¡ 5¤¢¡ ¤©1 § ¤ §  4¡ "¡4      5!   4   § ¡ 5!¡ ¤¡ 1 § ©¨¥ ¤  4¡ " 4 ¡§ £¡   1 v1 n n ¡ §   n v0 v0 v1 v2 n 2 v2       4©D" £!¢¨¥ !!¢ ¢ § ¡ 5!¡ ¤¡ 1 § ¤ ¦§ "   4¡ " 4      § ¡ 5!¡ ¤¡ 1 § 5¥§   4¡ " 4 2¤  ¢!¥ ¡   ...
View Full Document

Ask a homework question - tutors are online