CS4300-compiler theory group project