Chapter 5: Semantic Analysis

Assignment 5:

Extend the scheme which has a rule number sign list .

List replacing number sign list

number sign list list.position 0
  if sign.negative
 
then number.value - list.value
 
else number.value list.value
   
sign + sign.negative false
sign - sign.negative true
list bit bit.position list.position
  list.value bit.value
list 0 list 1 bit list 1 .position list 0 .position + 1
  bit.position list 0 .position
  list 0 .value list 1 .value + bit.value
   
bit 0 bit.value 0
bit 1 bit.value 2 bit.position