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

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

View Full Document Right Arrow Icon
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?
Background image of page 1

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

View Full DocumentRight Arrow Icon
4) Place the following objects into the above diagrams. Represent the objects as a circle
Background image of page 2
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

This note was uploaded on 07/25/2008 for the course CSE 460 taught by Professor Torng during the Fall '07 term at Michigan State University.

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 Right Arrow Icon
Ask a homework question - tutors are online