Consider the language L = {w ∈ {a,b,c}∗ | nw(a) = nw(b) =nw(c)}, where nw(z) is the number of occurrences of the symbol z instring w. In other words, L contains all strings that have an equalnumber of a’s, b’s, and c’s. The symbols may be in any order.
-
Describe a TM T that decides L. You may assume that a ⊔ symbolhas been placed at the beginning of the tape.
-
Draw the state diagram of T. You do not need to include therejecting state.
Expert Answer
An answer will be send to you shortly. . . . .