comp theory: notes skeleton