[20] Construct a non deterministic Turing machine whose
labguage is the set of strings over {a,b} that contain the substring
u satisfying the following properties:
a. Length (u)>=3
b. u contains the same number of a's and b's
Show the state diagram and your rationale for the solution