This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: if the object is a set, a dot if the object is an element, or leave the object out if it does not belong in that diagram. Some objects may be in only one diagram, others in both. Try to capture the correct relationship between distinct objects in each diagram. REC Set of even length strings over {a}. {a}* aaa 5) Which of the following prove that L is solvable (not solvable)? L union L 1 = L 2 where L 1 is halfsolvable and L 2 is solvable L union L 1 = L 2 where L 1 is solvable and L 2 is solvable L union L 1 = L 2 where L 1 is solvable and L 2 is halfsolvable but not solvable L 1 union L 2 = L where L 1 is solvable and L 2 is halfsolvable but not solvable L 1 union L 2 = L where L 1 is halfsolvable and L 2 is halfsolvable L 1 union L 2 = L where L 1 is solvable and L 2 is solvable 2 {a}* {a} *...
View
Full Document
 Fall '07
 TORNG
 Set Theory, Formal language, Firstorder logic, Closure, solvable L1 union

Click to edit the document details