三苯基甲酸

TPA:自动终止。TPA是一种工具,用于证明以完全自动化的方式终止术语重写系统(TrSS)。TPA的显著特征是相对终止的支持和使用自然数的语义标记技术。由于后者,TPA能够为所有其他工具失败的一些困难的TRS提供自动终止证明。