Утверждение. Для каждой LL(1) грамматики Г можно построить
детерминированный
магазинный автомат М , допускающий язык, порождаемый заданной грамматикой: L ( Г ) = L ( М ). |
(2) ВЫБОР(<A> ® ((<B>))) = ПЕРВ((<B>)) = {(}
(3) ВЫБОР(<B> ® <C>) = ПЕРВ(<A><C>) = {x,(}
(4) ВЫБОР(<C> ® +<A><C>) = ПЕРВ(+<A><C>) = {+}
(5) ВЫБОР(<C> ® $) = СЛЕД(<C>) = СЛЕД(<B>) = { ) }.