f ( s₀ , b , <A> ) = ( s₀ , a ' ) ,

     где a ' является зеркальным отображением цепочкиa .
2) Для каждого правила грамматики, начинающегося нетерминальным символом вида
     <A> ® <B>a, построим команду автомата

 
f* ( s₀ , x , <A> ) = ( s₀ , <B> a ' )

 
f* ( s₀ , x , <A> ) = ( s₀ , $ )

f ( s₀ , b , b ) = ( s₀ , $ ).

 
f* ( s₀ , e , h₀ ) = ( s₀ , $ , $ ).

(s₀,µ,h₀<I>).

Г_{3. 5} :    R = {<A> ® x | (<B>),
<B> ® <A> <C>,
<C> ® +<A> <C> | $}.

(1) ВЫБОР(<A>  ®x) = ПЕРВ(x) = {x}

(2) ВЫБОР(<A>  ® ((<B>))) = ПЕРВ((<B>)) = {(}

(3) ВЫБОР(<B>  ® <C>) = ПЕРВ(<A><C>) = {x,(}

(4) ВЫБОР(<C>  ® +<A><C>) = ПЕРВ(+<A><C>) = {+}

(5) ВЫБОР(<C>  ®$) = СЛЕД(<C>)  = СЛЕД(<B>) = { ) }.

( 1 ) f ( s₀ , x , <A>) = ( s₀ , $ ) ,
( 2 ) f( s₀ , ( , <A> ) = ( s₀ , )<B> ) ,
( 3 ) f* ( s₀ , ( , <B> ) = ( s₀ , <C><A> ) ,
        f* ( s₀ , x , <B> ) = ( s₀ , <C><A> ) ,
( 4 ) f ( s₀ , + , <C> ) = ( s₀ , <C><A> ) ,
( 5 ) f* ( s₀ , ) , <C> ) = ( s₀ , $ ).

f ( s₀ ,  ),  ) ) = ( s₀ , $ ) .

f ( s₀ , $ , h₀ ) = ( s₁ , $ ) .

( s₀ , (x+x) , h₀<A> ) |--- ( s₀ , x+x ) , h₀)<B> ) |--- ( s₀ , x+x) , h₀)<C><A> ) |---
( s₀ , +x ) , h₀)<C>) |--- ( s₀ , x) , h₀)<C><A> )  |--- ( s₀ , ) , h₀)<C>)|---
( s₀ , $ , h0 ) |--- ( s₀ , $ , $ ) ,