Данное правило:

A: B { $$ = 1; }     C { x = $2; y = $3; }    ;

эквивалентно следующему:

Согласно иерархии Хомского, если любое правило из P имеет вид A->xB или A->x, где A, B - нетерминалы, а x - терминал, то грамматика G называется:

Согласно иерархии Хомского, если любое правило из P имеет вид A->a, где A - нетерминал, a - нетерминал или терминал то грамматика G называется:

Следующее правило:

REF to MODE NEST assignation: REF to MODE NEST destination, becomes token, MODE NEST source.

определяет:

В грамматиках восходящего переписывания каждое правило описывает либо:

Для представления множества выводов можно построить разметку C, которая вершине дерева v и нетерминалу K сопоставляет:

Следующая программа:

using System;class Fib{   public static void Main (String[] args)   {      int a = 1, b = 1;      for (int i = 1; i != 10; ++i)      {         Console.WriteLine (a);         int c = a + b;         a = b; b = c;      }   }}

вычисляет:

Команды stloc, stfld, stsfld эквивалентны следующим парам команд:

При пополнении какой грамматики правилом S' -> Sможно получить следующие состояния:

0: {[S'-gt;.S, $], [S-gt;.AA, $], [A-gt;.aA, a], [A-gt;.aA, b], [A-gt;.b, a], [A-gt;.b, b]}1: {[S'-gt;S., $]}2: {[S'-gt;A.A, $], A-gt;.aA, $], [A-gt;.b, $]}3: {[A-gt;a.A, a], [A-gt;a.A, b], [A-gt;.a.A, a], [A-gt;.a.A, b], [A-gt;.b, a], [A-gt;.b, b]}4: {[A-gt;b., a], [A-gt;b., b]}5: {[S-gt;AA. $]}6: {[A-gt;a.A, $], [A-gt;.aA, $], [A-gt;.b, $]}7:  {[A-gt;b., $]}8:  {[A-gt;aA.,a], [A-gt;aA.,b]}9:  {[A-gt;aA.,$]}

:

В следующей грамматике:

S->aABeA->AbcA->bB->d

цепочка abbcde может быть свернута в аксиому следующим образом:

В LL(k)-грамматике для любых двух левых выводов:

S =>* wAv => wuv =>* wxS =>* wAv => wu1v =>* wy

для которых FIRSTk (x) = FIRSTk (y)вытекает, что: