Text this: Detecting Credit-Seeking Behavior with Programmed Instruction Framesets in a Formal Languages Course