CS 390 Solutions to Unit 14 Exercises

p. 163

4.32: It does not work. For example consider the languages L₁ = a(ba)* and L₂ = b. Then L₁ L₂ = a(ba)* + b . If the procedure given in the question is taken the following NFA- is obtained.



       



This NFA accepts the string abb for example. But abb is not in the language L₁ L₂ .