please submit notes for theory for machines