语言的商

（计算机科学技术）

语言的商（quotient of languages），计算机科学技术名词，语言和的商/是这样的一个串集合：串x是/的元素当且仅当存在y∈，使得xy∈。