19 May
2019
19 May
'19
9:06 p.m.
On Fri, May 17, 2019 at 10:16 PM Alexandre Duret-Lutz <adl(a)lrde.epita.fr> wrote:
a ##[i:j] b = a;[*i-1:j-1];b if i > 0
a ##[0:j] b = a:([*0:j];b) if a rejects [*0]
a ##[0:j] b = (a;[*0:j]):b if a accepts [*0] but b rejects [*0]
a ##[0:j] b = (a:b) | (a;[*0:j-1];b) if a and b both reject [*0]
I meant a and b both accept [*0] on the last line. It's implemented.
--
Alexandre Duret-Lutz