Question

We proved in class that for a homomorphism h : Σ ∗ → Γ ∗, if...

We proved in class that for a homomorphism h : Σ ∗ → Γ ∗, if A ⊆ Σ ∗ is a regular set, then h ( A )is also regular. We proved this by letting α be a regular expression such that A = L ( α ). Then we defined α ′ for all regular expressions α over Σ ∗ by replacing each alphabet symbol a that appears in α by h ( a ), and used structural induction on the regular expression α ′ to show L ( α ′ ) = h ( L ( α ) ) (Theorem 10.2). If the structure of α is such that α = β γ (that is, it is the concatenation of two smaller regular expressions) , and we assume the inductive hypothesis that L ( β ′ ) = h ( L ( β ) ) and similarly L ( γ ′ ) = h ( L ( γ ) ), show that L ( ( β γ ) ′ ) = h ( L ( β γ ) ).

Homework Answers

Answer #1

A homomorphism on Σ is a function h : Σ∗ → Θ∗ , where Σ and Θ are alphabets. Let w = a1a2 · · · an ∈ Σ∗ . Then h(w) = h(a1)h(a2) · · · h(an) and h(L) = {h(w) : w ∈ L} Example: Let h : {0, 1} ∗ → {a, b} ∗ be defined by h(0) = ab, and h(1) = . Now h(0011) = abab. Example: h(L(10∗1)) = L((ab) ∗).

Let h(w) ∈ L, and suppose w /∈ L((ba) ∗). There are four cases to consider. 1. w begins with a. Then h(w) begins with 01 and ∈/ L((00 + 1) ∗). 2. w ends in b. Then h(w) ends in 10 and ∈/ L((00 + 1) ∗). 3. w = xaay. Then h(w) = z0101v and ∈/ L((00 + 1) ∗). 4. w = xbby. Then h(w) = z1010v and ∈/ L((00 + 1) ∗).

Know the answer?
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Not the answer you're looking for?
Ask your own homework help question
Similar Questions
ADVERTISEMENT
Need Online Homework Help?

Get Answers For Free
Most questions answered within 1 hours.

Ask a Question
ADVERTISEMENT
Active Questions
  • How can you use Bayes’ theorem in light of new information? In Bayes’ theorem, how does...
    asked 4 minutes ago
  • Which of the following is not one of the four states of a working file? Unchanged,...
    asked 6 minutes ago
  • Assume we have CPU instructions that look like this: load register, address save register, address Where...
    asked 20 minutes ago
  • What is the difference between the following two declarations? char array[] = “Hello World”; char *array...
    asked 35 minutes ago
  • Discuss knowledge and understanding gleaned from The Least Dangerous Assumption and Strategies for Presuming Competence. How...
    asked 36 minutes ago
  • Exercise 13-20 (LO13-3) The owner of Maumee Ford-Volvo wants to study the relationship between the age...
    asked 38 minutes ago
  • Scenario The Department of Administrative Services (DAS) provides a number of services to other departments in...
    asked 46 minutes ago
  • Linear Regressions The number of newly reported crime cases in a county in New York State...
    asked 50 minutes ago
  • Specialty courts have been developed for various categories of crimes and offenders (e.g., mental health, substance...
    asked 54 minutes ago
  • An air-track cart with mass m=0.40kg and speed v0=1.2m/s approaches two other carts that are at...
    asked 55 minutes ago
  • Write a program in C# that reverses a collection and removes elements that are divisible by...
    asked 58 minutes ago
  • A gas pipeline with the thickness of 4mm is to be joint together by using welding...
    asked 1 hour ago