**Turing Machine of equal a’s and b’s:**

Suppose we want to design a Turing Machine for the language of a^{n}b^{n} where a=b.

**Logic:**

If machine reads anyone a from the input tape, then machine write X and if machine reads any b then machine write y;

a = X

b = Y

Purpose to make every a as X and to every b as Y is only to match one a with one b. This is the way to the bound equal number of a’s and b’s.

**Accepted strings:**

Such kind of strings should be accepted by Turing Machine.

e.g, ab, aabb, aaabbb,…..etc.

**Rejected strings:**

Such kind of strings should be rejected by Turing Machine.

e.g, abb, aab, aaabb,…..etc.