If l recognized by dfa then language left half is regular

Assignment Help Theory of Computation

Reference no: EM1354234

We showed to prove that if L can be recognized by a DFA then the language left half(L) = {x ∈ ∑*|∃y xy ∈ L and |x| = |y|} is also regular; here |x| means the length of x. Suppose that L is regular then show that middle - thirds(L) = {x|∃y, z such that |x| = |y| = |z| and yxz ∈ L}
is also regular. You should assume that you are given a DFA to recognize L and you should describe - in terms of the given machine - how you would construct a new machine to recognize middle - thirds(L). Your new machine does not have to be a DFA of course, it could be an NFA. However, you may find it amusing to make define a DFA directly. You need not prove that your machine is correct.

Reference no: EM1354234

Questions Cloud

What is the spacing d between the planes of the crystal : Two particles moving under the influence of their mutual gravitational force describe circular orbits about one another with a period T. If they are suddenly stopped in their orbits and allowed to gravitate towards each other, show that they would..

Solving multiple choice finance questions : Determine which of the following typically would not affect the dividend policy of the firm?

Explain financial plan for an it consulting service business : Explain Financial Plan for an IT Consulting Service business for Business Planning and To help prepare for the team Business Plan

Explain organizational structure and organizational culture : Describe how external environmental forces (i.e., competitive forces, economic and political forces, global forces, demographics and social forces

If l recognized by dfa then language left half is regular : We showed to prove that if L can be identified by DFA then the language left half(L) = {x ∈ ∑*|∃y xy ∈ L and |x| = |y|} is also regular; here |x| means length of x.

Elucidate how if at all among the following events : Elucidate how if at all among the following events affects the location of a country's production possibilities curve.

Biracial identity development model : This job describes the biracial identity development model developed by Kerwin and Ponterotto.

Bank investment risks : What is you opinion on the Chase Bank trade? They lost 2 Billion on a risky investment; it caused their stock price to loose 10%. It supposedly was a "Hedge" that went wrong.

Calculate stars luminosity from inverse square law for light : Which of the following must be true if we are to infer (calculate) a star's luminosity directly from the inverse square law for light.

User Account

All Pages