Comp Theory Homework