26
3 Identical Values In Sequence
region V = [1..n];
var Letters : [V]
char;
Seq : [V] boolean;
triples : integer;
direction r = [1]; r2 =
[2];
…
[1..n-2] begin
Seq :=
(Letters = Letters@r)
&
(Letters = Letters@r2);
triples := +<< Seq;
end;