Module 2 pg22,25

Beiträge: 179
Registriert: 15. Apr 2015 18:24

Module 2 pg22,25

Beitrag von 0b101101101 » 4. Dez 2017 16:23

I think there is no need to define the set of vertices over the blocks function like this:

V = { π | ∃B. [ B ] π∊blocks(S) }

as we have already defined the set of labels of a program via the function labels. So I think set of vertices could be equivalently and more simple defined as:

V = labels(S)

. Maybe you want to change that for the next semester? Or am I wrong? :)

EDIT: Similarily on page 25 we again write { π | ∃B. [ B ] π∊blocks(S) } although we could simply use label(S). Right?

Beiträge: 12
Registriert: 4. Okt 2017 17:12

Re: Module 2 pg22,25

Beitrag von ximl » 18. Jan 2018 10:42


You're right that because of the definition of the function labels ,
the definition of the vertex set V of a control flow graph, and the
definition of the set Lab_S, can be simplified. Thanks for pointing
this out and sorry for the late response.

Best regards,


Zurück zu „Archiv“