Program for creating a machine that accepts string equal number of 0's and 1's in C language (Theory Of Computation)