img171

171

12.1. Parsing ekspansywnych języków grafowych

procedurę ExpRec (var rec); begin

for i := m to 1 do maketriple(i,Ij); i := 1; k := 1;

if Ii yt [S,ari,li] then rec :=’err’; else begin *(1) := li;

w(2)ir(3)... *(di + 1) := m; k := k + d,; for i := 2 to m do if rec / 'err' then begin

if (h = [A, ori, li] and 1; = ir(i)) then begin

if k = i then begin

ir(i+ l)...w(i + dj) :=ai; k := k + dj end

else (k > i) begin

for c := i + 1 to k do ir(c + dj) := ir(c); jr(i + 1)... w(i + dj) := Oj; k := k + di end

end

else

if (h = [A, A,h] and lj y£ r(i)) then rec := ’err’;

end;

if rec y£ ’err’ then begin

list := jr(l)... ir(m); rec := decide(list,tab) end;

end.