{0,1}n
means all n-tuples of 0's and 1's
e.g. {0,1}3 =
{ 000, 001, 010, 011, 100, 101, 110, 111 }
{ 000,
001,
010,
011,
100,
101,
110,
111 }