String operations: Difference between revisions

Revision as of 19:05, 10 April 2016

Revision as of 09:09, 13 April 2016

Line 162:

The '''right cancellation''' of a letter ''a'' from a string ''s'' is the removal of the first occurrence of the letter ''a'' in the string ''s'', starting from the right hand side. It is denoted as <math>s\div a</math> and is recursively defined as

:<math>(sa)\div :b = \begin{cases}

s & \mbox{if } a=b \\

(s\div :b)a & \mbox{if } a \ne b

\end{cases}</math>