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