关于赋值规则的正常形式重写序列复杂度
cmp-lg
2008-02-03 v2 计算与语言
摘要
考察了一种特定项重写系统的复杂度：赋值规则(x*y)*z --> x*(y*z)。给出了算法和精确计算，以求最长和最短的 --> 序列长度，这些序列最终导致正常形式（NF）。项x的最短NF序列总是n-drm(x)，其中n是x中 * 出现的次数，drm(x)是x最右叶的深度。任何项的最长NF序列长度为n(n-1)/2。
引用
@article{arxiv.cmp-lg/9406030,
title = {The complexity of normal form rewrite sequences for Associativity},
author = {Michael Niv},
journal= {arXiv preprint arXiv:cmp-lg/9406030},
year = {2008}
}
备注
5 pages