Приведенное определение СУ - схемы не накладывает никаких ограничений на правила, кроме необходимости совпадения нетерминалов во входной и выходной частях правила. Для построения детерминированных устройств, осуществляющих перевод цепочек, используются СУ - схемы с дополнительными ограничениями на вид правил, которые определяются так.
 

T_4.2: V_a = {E,T,F}, V_твх = {+,*,a}, V_твых = {+,*,a,(,)}

         Q = {  E ╝ ET+ , E+T;     E╝T , T;
                    T╝TF* , T*F;    T╝F , F;

Вывод в этой СУ - схеме, выполняемый путем применения правил к самым левым нетерминалам промежуточных цепочек, имеет вид:
 

(E,E) ==> (T,T) ==> (TF*,T*F) ==> (FF*,F*F) ==>(aF*,a*F) ==> (aE*,a*(E)) ==>

(aET+*,a*(E+T))==> ==> (aTT+*,a*(T+T)) ==> (aFT+*,a*(F+T)) ==>

==> (aaT+*,a*(a+T)) ==> (aaF+*,a*(a+F)) ==> ==>  (aaa+*,a*(a+a))

T_4.3: V_a = {E,T,F}, V_твх = {a,+,*,(,)}, V_твых = {a,+,*}.

Q =  {   E╝E+T, ET+; E╝T,T;
             T╝T*F, TF*; T╝F,F;
              F╝(E), E; F╝a,a  }.

(E,E) ==> (E+T,ET+) ==> (T+T,TT+) ==> (F+T,FT+)==>  (a+T,aT+) ==> (a+T*F, aTF*+) ==>

(a+F*F,aFF*+) ==>  (a+a*F,aaF*+) ==> (a+a*a,aaa*+)