if a > 0xff then a:=0xff;
if 0xff > 0xff then
	if 0xff < 0xa then
		a:=aa
	;
else
	a:=bb
;

<F>:= if <T> then <F>; |
      if <T> then <F> else <F>; |
      <id>:=<eq>
<T>:=<eq> > <eq> |
     <eq> < <eq> |
     <eq> = <eq> |
     <eq>
<eq>:=<id> | <const>
<const>:=<D><A>
<D>:=0x<0|..|9|a|b|c|d|e|f>
<A>:=<D><A>|$

1. f0(s0, e, F)={(s0, if T then F;),(s0, if T then F else F;),(s0, id:=eq)}
2. f0(s0, e, T)={(s0, eq>eq), (s0, eq<eq), (s0, eq=eq), (s0, eq=eq)}
3. f0(s0, e, eq)={(s0, id), (s0, const)}
4. f0(s0, e, const)={(s0, D), (s0, A)}
5. f0(s0, e, D)={(s0, 0),…,(s0, f)}
6. f0(s0, e, A)={(s0, <D><A>), (s0, $)}
7. f0(s0, <, <)=(s0, $)
8. f0(s0, >, >)=(s0, $)