本文研究可能行无限有向图的C*-代数.对于一个可能行无限的有向图E,通过引进集合s(μν),将行无限点上的算子拓扑强收敛关系代数化表示出来,并由此构造了一个结构丰富的非零*-代数HE,进而利用HE证明了一个由Cuntz-Krieger E-族{se,pv}生成的泛C*-代数C*(E)的存在性,并且证明了HE和C*(E)在图同构意义下不依赖于E的选择,从而是可能行无限有向图的同构不变量.