{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Module10Worksheet

# Module10Worksheet - if the object is a set a dot if the...

This preview shows pages 1–2. Sign up to view the full content.

Module 10 Worksheet In Class Questions 1) (S3) What does the statement “REC is closed under set complement mean?” 2) (S3) Write this closure property as a first-order logic statement. 3) (S3) How do we prove a language L is in REC? 4) (S14) What does the statement “RE is closed under set union mean?” 5) (S14) Write this closure property as a first order logic statement. 6) (S14) How do we prove that a language L is in RE? 7) (S35) What if P 2 rejects the input string. Our specification doesn’t explicitly say anything about this case. Take home review questions 1) What is the difference between RE and REC? 2) In proving that RE is closed under set union, we created a program P 3 that loops in some cases. Why is this ok? 3) What do I mean when I say execute P 1 and P 2 in parallel on an input?

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
4) Place the following objects into the above diagrams. Represent the objects as a circle
This is the end of the preview. Sign up to access the rest of the 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 half-solvable 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 half-solvable but not solvable L 1 union L 2 = L where L 1 is solvable and L 2 is half-solvable but not solvable L 1 union L 2 = L where L 1 is half-solvable and L 2 is half-solvable L 1 union L 2 = L where L 1 is solvable and L 2 is solvable 2 {a}* {a} *...
View Full Document

{[ snackBarMessage ]}

### Page1 / 2

Module10Worksheet - if the object is a set a dot if the...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online