Transcript 基于完全有限前缀的完备日志生成算法 - 信息系统与工程研究所