中详细讨论。
右取消.字符串 "s" 与字母 "a" 的右取消是切除字符串 "s" 右手端的字母 "a" 的首次出现得到的字符串。它被指示为 formula_36 并被递归的定义为空串总是可取消的:明显的，右取消和投影可交换:
前缀.字符串的前缀是关于给定语言一个字符串的所有前缀的集合:语言的前缀闭包是 一个语言叫做前缀闭合的，如果 formula_42。明显的，前缀闭包算子是幂等的:前缀关系是二元关系 formula_44，有着 fo