add theory part of kompilatorteknikk problem set 2