Give an dfa that accepts the language L ((a + b)∗b (a + bb)∗).

Show that the following language is decidable by giving a high-level description of a decider M with L(M) = L. L = {(A)|A is a DFA over 2* and L(A) = E* }

Can you please help me with question 2.7 part B because I am struggling with this problem that I just don't understand. Can you please do a state diagram for the push down automaton for part B. question for 2.7 2.7 Give informal English descriptions of PDAs for the language. B. The complement of the language {a^n b^n | n ≥ 0}

I have to prove the power function by induction, and then prove tower by induction as well knowing that power is true. Can someone help me prove this through induction?

Let LPrime = {I the number of strings accepted by M is prime}. Classify this language as either (i) decidable, (ii) recognizable but not decidable, or (iii) not recognizable. Prove your answer. You may give a high-level description of any TM programs used in your proof. ( You should not use Rice's theorem.)

Can you help me with this problem because I am having a difficult time trying to figure out this problem because i don't understand how to do this, can you please explain this step by step. question I need help with:1.60 Let Σ = {a, b}. For each k ≥ 1, let Ck be the language consisting of all strings that contain an a exactly k places from the right-hand end. Thus Ck = Σ∗ aΣ k−1 . Describe an NFA with k + 1 states that recognizes Ck in terms of both a state diagram and a formal description.

State whether the following claim is true or false and prove your answer. Claim: For any (non-empty) alphabet Σ, there is no language L ⊆ Σ∗ which is both regular and inherently ambiguous.

3. (a) Let Σ = {a, b}. Find a regular expression corresponding to the language L = {ba} ∗ ∪ {aa, bb}. (b) Let Σ = {0, 1}. Give the language corresponding to the regular expression 10∗ (0 +.

I need now

Consider the following finite-state automaton A over E = {a, b, c}: A = (E, {qo, 91; 92, 93 } , 8, 90, {92}) %3D where d = {(q0, a, q1), (q1, b, q0), (q1, b, q2), (q2, a, 91), (92, b, q2), (q2, a, q3), (q3, c, q3), (q3, a, q2)}. Draw the automaton A as a transition graph.