Formal definitions

Diagram = (S,H,F,C) where

? = {?+, ?-, ?+, ?-}

S=(S1,..., Sk), 1?i? k, Si ??

H = {(S1,?,Sj), | S1,Sj, ?{?+, ?-} ? = P ? S1=Sj, ? = A ? S1?Sj}

C = {(S1,?,Sj) | S1,Sj, ? ?, ,? ? {R,L}

F= { f(F) | f ?{s, c, v, b, sw}, F= {Sj | Sj ? S }

2bop = (S,H,F,C)

S=(?1+, ?2-, ?3-, ?4+, ?5+,?6-, ?7+, ?8-)

H = { (?1+, A, ?6-), (?1+, A, ?8-), (?4+, A, ?6-),(?5+, A, ?6-)}

F = { s(?1+, ?4+, ?5+,?6-, ?8-)}

C= {(?1+,R, ?4+),(?6-,R, ?8-)}

2bop NEhhEEeHeC 1:4R 1:6A 1:8A 4:6A 5:6A 6:8R

Previous slide

Next slide

Back to first slide

View graphic version