Example

S1 = from A to C

G1:A,B;B,C

T(G1):A B C

Compatible: yes

Errors: no B,C

Diff: B,C>B,K. new K,C

S2 = from A via B to C

G2:A,B|A,X|B,K|K,C|X,C

T(G2): A B K C

Compatible: yes

Errors: no B,C

Diff:B,C>B,K. new K,C

Previous slide

Next slide

Back to first slide

View graphic version