Ide → First Rest* First → A | B | ... | Z | + | * | ... Rest → First | 0 | 1 | ... | 9 | ... Con → Num | #t | #f | 'E Num → 0 | 1 | ... | 9 | Num Num

次に、ConとIdeの生成規則を見てみましょう……といいたいのですが、 なんとR5RSにはExpの生成規則しか書いていません。なんというサボリ！ 仕方がないので勝手に想像して書いておきます。正しさは保障しません。ここで出ている数字などはあくまでも文字の列です。 数学的な数とは異なります。 一方、これから定義する意味領域は数学的な数を用います。