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

Трансляторы бывают следующих типов:

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

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

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