translate of a state diagram into a plc program