Нельзя убедиться в правильности использования типов в какой-нибудь конструкции до тех пор, пока не определены:

Правильный ответ:

• # Пара конечных множеств (V, E), называемых соответственно множествами вершин и дуг, при этом множество дуг представляет собой совокупность пар вершин - это:
• # Дерево t выводится в грамматике G=(A,N,S,R) тогда и только тогда, когда:
• # Определение грамматик не накладывает никаких ограничений на количество:
• # Леворекурсивные грамматики не обладают свойством:
• # Для того, чтобы нетерминал мог иметь значение некоторого типа, который указан в объединении, определенном в секции объявлений, он должен быть объявлен следующим образом: