PCTE模式及其形式定义问题

摘要

本文探讨了ＰＣＴＥ模式的表达，形式定义及其理解问题。侧重说明ＶＤＭ－ＳＬ在ＰＣＴＥ规格中的作用，能力和局限性，我们的结论是：包括ＶＤＭ－ＳＬ在内的现有定义手段，尚不足以全面准确地给出多级描述。