WEIGHTS FOR TOTAL DIVISION ORDERINGS ON STRINGS

被引:5
|
作者
SCOTT, EA
机构
[1] UNIV ST ANDREWS,DIV COMPUTAT SCI,ST ANDREWS KY16 9ST,FIFE,SCOTLAND
[2] UNIV SURREY,DEPT MATH & COMP SCI,GUILDFORD GU2 5XH,SURREY,ENGLAND
关键词
D O I
10.1016/0304-3975(94)90111-2
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In this paper we consider total division orderings on strings. We give a simple proof of the fact that for each such ordering curly greater than there exists an essentially unique, nontrivial set of weights such that if the weight of u is greater than the weight of v then u curly greater than v. It is known that all total division orderings on strings are rational, we prove a slightly stronger version of this result. Also, we use the ideas involved in the proof of the weights result to give a much simpler proof of the rationality result.
引用
收藏
页码:345 / 359
页数:15
相关论文
共 50 条