Difference Between Inductive And Deductive Proofs In Theory Of Automata