通过删除不在 formula_2 中的所有字母结果的字符串。它被写为 formula_22。它通过从右手端切除字母来得出形式定义:这里的 formula_9 指示空串。字符串的投影本质上同于关系代数中的投影。字符串投影可以提升为语言的投影。给定形式语言"L"，它的投影给出自
右商.字符串 "s" 与字母 "a" 的右商是在字符串 "s" 中切断右手端字母 "a" 得到的字符串。它被指示为 formula_26。如果字符串在右手端没有 "a"，则结果是空串。就是:空串的