a) Let S be the set of subroutines of a computer program. Define the relation R by PR Q if subroutine P calls subroutine Q during its execution. Describe the transitive closure of R.
b) For which subroutines P does (P, P) belong to the transitive closure of R?
c) Describe the reflexive closure of the transitive closure of R.