Вся совокупность свойств текущей точки программы составляет понятие
Некоторое множество цепочек в алфавите называют
Процесс определения принадлежности строки языку называют
Обобщенную схему синтаксически управляемого перевода называют семантически однозначной, если в ней
Установление свойств объектов и их использования
Если в обобщенной схеме синтаксически управляемого перевода нет двух правил перевода с одинаковым входным правилом вывода, то ее называют