FORMAC

- система программирования для решения математических задач, связанных с выполнением численно-аналитических выкладок. Разработана 1964 в США. Язык системы является расширением языка ФОРТРАН-IV. F. включает в себя операции и операторы. Помимо операций, заимствованных из языка ФОРТРАН, введены следующие 4 операции: , где выражение, которое должно быть

продифференцировано, а пары указывают переменные и порядок дифференцирования (напр., для получения первой производной выражения следует писать ответ в машинной записи будет бинарная комбинаторная операция; 3) FMCFAC — факториал; 4) FMCDFC — бифакториал.

Операторы языка F. следующие: LE Т — конструирует выражения, SUBST — выполняет подстановки, EXPAND — раскрывает скобки, COEFF — определяет коэфф. при переменной или переменной в заданной степени, PART— расчленяет выражения на термы, множители, аргументы ф-ций и т. п., EVAL — вычисляет значения выражений при заданных значениях переменных, МА ТСН — сравнивает два выражения на идентичность или эквивалентность, FIND — устанавливает зависимость выражений от заданных переменных, CENSUS — подсчитывает машинные слова, термы или множители в выражении, AUT-SIM — производит управление арифм. действиями при автомат, упрощении выражений.

Система F. реализована на машине «IВМ-7090/94» как набор подпрограмм, дополняющих библиотеку стандартных подпрограмм системы на базе языка ФОРТРАН-IV. В качестве основы для внутр. формы представления выражений применяется польская запись с ограничителем. Алгоритм упрощения и связанные с ним алгоритмы сравнения на эквивалентность (или идентичность) базируются на принципе лексикографического упорядочения компонент выражений.

Лит.: . Л. Ф. Белоус.