 only says <code>;</code> but I am not too formal here). An example with two range variables, of computing the <a href="https://en.wikipedia.org/wiki/Edit_distance">edit distance</a> between two strings, is shown below.</p>
<p>The actual recursions are specified in <code>PATTERN_ASSIGNMENTS</code>:</p>
<pre><code>PATTERN_ASSIGNMENTS ::= PATTERN_ASSIGNMENT
                     |  PATTERN_ASSIGNMENT ';' PATTERN_ASSIGNMENTS</code></pre>
<p>where</p>
<pre><code>PATTERN_ASSIGNMENT ::= PATTERN '&lt;-' RECURSION
 