Спецификация
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
может быть неполной(Верный ответ)
задает множество правильно построенных выражений(Верный ответ)
может быть противоречивой
выражения, строящиеся на основе АТД, могут быть некорректными(Верный ответ)