State about the Bit String
Carrier set of the Bit String ADT is the set of all finite sequences of bits, including empty strings of bits, which we denote λ. This set is {λ, 0, 1, 00, 01, 10, 11, 000, ...}. Operations on bit strings comprise complement (that reverses all the bits), shifts (that rotates a bit string left or right), disjunction and conjunction (it combine bits at corresponding locations in the strings), and truncation and concatenation.