Теория формальных языков и трансляций. LR(k )-грамматики и трансляции презента