Content deleted Content added
No edit summary |
m Bot: Fixing lint errors, replacing obsolete HTML tags: <center> (1x) Tag: Fixed lint errors |
||
Line 111:
::: The problem is that you're giving a very specific example but state it in such a form that it—at least at first reading—appears to be a very general definition. You're either using too much formal machinery for what is an informal statement or, conversely, make a statement that not precise enough to be a formal definition. This is how one of my formal language textbooks defines a reverse:
:::<blockquote>The '''reverse''' of a string is obtained by writing the symbols in reverse order; if ''w'' is a string as shown above, then its reverse ''w''<sup>R</sup> is<br><div class="center">''w''<sup>R</sup> = ''a''<sub>''n''</sub>...''a''<sub>2</sub>''a''<sub>1</sub>.</
::: Where the they explained "above" that ''a'', ''b'', ''c'', ... denote elements from the alphabet Σ and ''u'', ''v'', ''w'', ... strings over that alphabet. —''[[User:Ruud Koot|Ruud]]'' 18:45, 13 November 2012 (UTC)
| |||