abstract machine Представление о вычислительной машине в терминах информационных ресурсов и операций, доступных программе. Эти ресурсы и операции могут соответствовать реальным компонентам ЭВМ или имитироваться операционной средой. Абстрактная машина может не учитывать некоторые возможности реальной ЭВМ. Возможно определение абстрактной машины без ее реального воплощения для описания семантики языка или доказательств свойств программ.
Russian-English Computer dictionary
машинный перевод
AT, automatic translation, machine translation Перевод с одного естественного языка на другой с использованием ЭВМ. Машинный перевод может быть полностью автоматическим, но обычно требует участия человека.
Russian-English Computer dictionary
редукционная машина
reduction machine Организация ЭВМ, при которой программа представляет собой набор правил подстановки и выражение, подвыражения которого заменяются (редуцируются) в соответствии с правилами. Правила и подвыражения могут обрабатываться с произвольной степенью параллелизма. Такая организация соответствует языкам логического программирования
Russian-English Computer dictionary
стандарт программной совместимости на уровне машинных команд