String operations: Difference between revisions

Revision as of 09:09, 13 April 2016

Revision as of 07:26, 18 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>