A uma dada máquina. Tal EFP fornece subsídios à análise do acoplamento por controle entre módulos.
B um par de máquinas que não podem simular-se mutuamente. Tal EFP fornece subsídios para a construção da coesão sequencial entre módulos.
C um par de máquinas que podem simular-se mutuamente. Tal EFP fornece subsídios para a construção da coesão comunicacional entre módulos.
D uma dada máquina. Tal EFP fornece subsídios à análise da complexidade estrutural de programas.
E qualquer máquina. Tal EFP fornece subsídios à análise da complexidade estrutural de programas.