Search for question
Question

1. (40 pt., 10 pt. each) Construct a Turing machine in JFLAP (version 7.1) that decides each of

the following languages. For each language, you must submit one JFLAP file clearly labeled

(e.g., 1a.jff). Make sure that you test your Turing machines in JFLAP before submitting.

Note: there is no explicit reject state for Turing machines in JFLAP. You should assume that there

is a transition to the reject state whenever a state is missing a transition for a particular symbol.

a. A = {we {a,b}* | w contains at least one a and at most one b}

b. B = {w € {a,b}" | w contains more a's than b's}

c. C = {a¹b/c+/|ij≥0}

d. D= {0¹1 |n, m≥ 0 and n is divisible by m}

For example, 000011 € D (because 4 is divisible by 2) and 00011 # D (because 3 is not

divisible by 2).

Fig: 1