TUR { 'z' ((e.1) e.2) e.3 = e.1 e.2; s.q ((e.1) s.b e.2) e.3 = <TUR <TUR1 <Search s.q s.b e.3> ((e.1) s.b e.2)> e.3>; s.q ((e.1) ) e.3 = <TUR <TUR1 <Search s.q ' ' e.3> ((e.1) ' ' )> e.3>; } TUR1 { s.c '<' s.r (( ) s.b e.2) = s.r (( ) ' ' s.c e.2); 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); } Search { s.q s.b ( s.q '$' '$' s.s s.r ) e.2 = s.b s.s s.r; s.q s.b ( s.q '$' s.c s.s s.r ) e.2 = s.c s.s s.r; 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 = <Search s.q s.b e.2>; s.q s.b = '?<z' ; }