设R和S分别是字母表∑上的正规式,则有L(R|S)=L(R)∪L(S)
出自:计算机科学