Problem 1 (35 points). Prove the language L = { | D is a DFA, L(0*1*) C L(D)} is Turing decidable. (You only need to
Posted: Fri Jul 01, 2022 5:46 am
Problem 1 (35 points). Prove the language L = {<D> | D is a DFA, L(0*1*) C L(D)} is Turing decidable. (You only need to give high-level descriptions of the TM you construct)