Report copyright - 1 State Reduction Goal: reduce the number of states while keeping the external input-output requirements unchanged. State reduction example: a: input 0
Please pass captcha verification before submit form
Please pass captcha verification before submit form