Определение процесса вычисления в виде последовательности правил перезаписи носит название
(Отметьте один правильный вариант ответа.)
Варианты ответа
терминальная семантика
семантика правил
семантика вычислений(Верный ответ)