Cisc cmpe422 835 final exam, Exams of Machine Learning

Question 1

Var = {V0}

Block = {B0, B1}

contains = {}

declares = {B0->V0, B1->V0}

uses = {}

Question 2

S1: all b:Block | b.declare in b.uses

Question 3

S1: {b:Block | some b':b.contains | no b'.uses}

S2: (*contains.b).declares

S3: {b:Block | all b':b.contains | one v:Var | b'.uses = v}

S4: {b:Block | #{b':b.contains | no b'.declares}=2}

Question 4

A

Question 5

{A1->A1} // other correct answers: {(A1,A1)} and A1->A1

Question 8

false // because of A0.r = {B0,B1,B2}

Question 9

{A1} // other correct answers: A1

Question 10

{(s1,t0)} // other correct answers: {s1->t0} and s1->t0

Question 13

{s0} // other correct answers: s0

Question 14

{s1} // other correct answers: s1