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).