Part 10

More String Reversal Properties

3. If a string contains only one element, then the reversal of that string is equal to the original string:

<x> = Reverse(<x>) ;

4. The reversal of a string concatenated with one element is the same as that element concatenated with the reversed string:

Reverse(α o <x>) = <x> o Reverse(α);

Example:
<x> = <19>; α = <15, 17>;
Reverse(α) = <17, 15>; then
Reverse(<15, 17> o <19>) = <19> o <17, 15> = <19, 17, 15> ;