Supervisor Synthesis for Discrete Event Systems with Arbitrary Forbidden State Specifications