y1y2

每个非空的0，1元素的序列称作一个二进制单词。一个单词等式是一个形式为X1X2…XL＝Y1Y2…YR的等式，XI和YJ是二进制数字（0或1）或者变体的英文小写字母（即通常我们所说的变量）。对于每个变体代替一个固定长度的二进制单词，这个长度称作变体的长度