EFSA Construction: Example

• a1(x,x);(a2|b3)*;b4(x);#5

• (a6(y,3)|c7(y));(a8|c9)*;c10(y);#11

{1,6,7}

a

c

{1,6}

{7}

$1=$2

$1?$2

{1,6}

{1,6}

{1}

{6}

$2=3

$2?3

t1:=$1, t2:=$1

{2,3,4, 8,9,10}

{2,3,4}

t1:=$1

Previous slide

Next slide

Back to first slide

View graphic version