I am trying to inductively prove that for any string s, the reverse of the reverse of string s is string s.
Inductive Proof of String Reversal
2
$\begingroup$
logic
-
7I am sorry to hear that, because that sounds like a heavy-handed approach to something which is really obvious: the reverse of $a_1 \cdots a_n$ is $a_n \cdots a_1$ and the reverse of *that* is of course $a_1 \cdots a_n$. Note though that you have not asked a question. – 2011-03-23
-
4It could be to help familiarize the OP with induction. – 2011-03-23
-
0What is your inductive definition of "string reversal" ? – 2011-03-23