Subsidiary 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 its a Subroutine Machine of ${\mu }_j$ or another subsidiary of ${\mu }_j$