资料来源 : pyDict

形式描述技术

资料来源 : Free On-Line Dictionary of Computing

FDT
     
        {Formal Description Technique}