TUR { 'z'((e.1) e.2) e.3 = 'z' ((e.1) e.2); sq ((e.1) s.b e.2) e.3 = <TUR <TUR1 <POISK s.q s.b e.3> ((e.1) s.b e.2) > e.3>; } TUR1 { s.c '<' s.r ((e.1 s.a) s.b e.2) = s.r ((e.1) s.a s.c e.2); s.c '>' s.r ((e.1 ) s.b e.2) = s.r ((e.1 s.c) e.2); } POISK { s.q s.b ( s.q s.b s.c s.s s.r ) e.2 = s.c s.s s.r; s.q s.b ( e.1 ) e.2 = <POISK s.q s.b e.2>; }