Part of the notes for 22C:196:002 (CS:4908:0002) by Douglas W. Jones THE UNIVERSITY OF IOWA Department of Computer Science