Специальная математика. Соловьев А.Е. - 87 стр.

                                      левые                 правые
                           A          BlCd                    Cd
                           B           lCd                  CAd
                           C            d                      d

Выявим отношения:

B =* C       l =* C        C =* A

B<*∙Л(C) (множество левых для С)
B<*∙Л(C) = {d}
l<* ∙Л(C)
C<*∙Л(C) = {B, l, C, d}

{C, A, d} = П(B)∙*>C
 0 = П(l)∙*>C
{d} = П(C)∙*>C (3a)
{C, A, d} = П(B)∙*> Л(C) = {d} (3b)
{d} = П(C)∙*>Л(A)={B, l, C, d}

И сведем их в таблицу - матрицу предшествования.

         A      B            C       d      l
 A                         ∙*>     ∙*>
 B                           =*     <*∙
 C    =*∙       <*        *> <*   *> <*     <*
 d    *>       *>           *>      ∙*>    *>
 l                          =*∙     <*∙

Грамматика называется грамматикой с предшествованиями, если между любыми двумя
символами, стоящими рядом в сентенциальной форме, существует строго одно отношение
предшествования.

Использование матриц с предшествованием.
S  BC
B  Axz               A      B     C                      x      y     z     ┤
               A                                          =* ∙
C  xx
               B                   =* ∙                   <*∙
A  xy         C                                                             ∙*>
                      x                               =*∙        =*∙   =*∙   ∙*>
                      y                               ∙*>
                      z                               ∙*>
                      ├        <*∙   <*∙               <*∙



Считаем, что она построена.
Использование матрицы:
xyxzxx - проставляем все значки
 ├ <* x =* y∙*> x =* z∙*> x =* x *> ┤

                                                 — 87 —