k-外缀码

本文引入了k-外缀码的概念,证明了O_1(X)O_2(X)(?)…形成一单调递减的自由么半群链。该链以外缀码类为一上界,以超码类为最大下界。同时刻划了k-外缀码当它是极大码时的结构,得到了k-外缀码的句法么半群刻划。