JFLAP-2.0 Final version of updated tool to convert a state diagram into a circuit: Complete with simplfication, and drawing algorithms