редукционная машина Организация ЭВМ, при которой программа представляет собой набор правил подстановки и выражение, подвыражения которого заменяются (редуцируются) в соответствии с правилами. Правила и подвыражения могут обрабатываться с произвольной степенью параллелизма. Такая организация соответствует языкам логического программирования