Teori för beräkningar och formella språk, 7,5 hp