LR(0)-ситуации не должны содержать:

В данном примере:

goto (I, X) {   J={};         for (каждой ситуации [A->w.Xv] из I) {      J+=[A->wX.v];   }   return closure (J);}

происходит:

Какая операция добавляет ситуации к множеству ситуаций, у которых точка стоит слева от нетерминала:

Трансляторы, ориентированные на платформу .NET, должны генерировать код:

Границы, переменная и инкремент циклов должны быть одинаковыми, что является контекстным условием корректности:

Если все определяющие вхождения идентификаторов должны быть расположены текстуально перед использующими вхождениями, то: