Also meiner Ansicht nach haben wir es hier mit der Anwendung der Graphentheorie in der Softwaretechnik zu tun. Das gehoert also in Compilerbau oder Softwarearchitektur integriert und ist keine eigenstaendiges Lemma wert.