Subroutine Machine

Definition

• For set of machines ${\mu }_1,\dots ,{\mu }_n$ where ${\mu }_i=(I{D}_i,c_i,{\overline{\mu }}_i)$
• ${\mu }_i$ is a caller of ${\mu }_j$ if $(I{D}_j,\text{subroutine-output})\in c_j$