Part 11

More String Reversal Properties

5. Reversing the reversed string produces the original string:

Reverse(Reverse(α)) = α;

Example:
α = <x, y, z> and Reverse(α) = <z, y, x>;
then Reverse(<z, y, x> ) = <x, y, z> = α;

6. Reversing the concatenatenation of two strings produces the same result as concatenating the reversed second string with the reversed first string:

Reverse(α o β) = Reverse(β) o Reverse(α);

Example:
α = <15, 17>; β = <3, 4>; α o β= <15, 17, 3, 4 >
Reverse(α) = <17, 15> and Reverse(β) = <4, 3>;
Reverse(α o β) = <4, 3, 17, 15>;
Reverse(β) o Reverse(α) = <4, 3, 17, 15>.