Наборно-программирующий аппарат
аппарат для подготовки программ управления буквоотливной, строкоотливной наборной или фотонаборной машиной, выполненных на носителях информации.
парадигма программирования, которая описывает действия надданными в виде выражения определений.
В работе предлагается декларативный подход к реализации автоматных объектов при использовании объектно-ориентированных императивных языков программирования со статической проверкой типов. Отличительной особенностью предлагаемого подхода является возможность применения наследования и вложения макросостояний.
Реляционная парадигма позволяет описывать программы как набор отношений. Отношения не делают различий между входными и выходными параметрами. Благодаря этому одна и та же реляционная программа может использоваться для решения нескольких связанных проблем. В статье представлена реализация двух расширений реляционного программирования, полезных при разработке интерпретаторов: табличной мемоизации и конструктивного отрицания. Мемоизация позволяет эффективно обходить пространство состояний интерпретатора, а отрицание – проверять, что заданное состояние интерпретатора недостижимо. Полезность данных расширений продемонстрирована на примере интерпретатора для многопоточного императивного языка программирования.
аппарат для подготовки программ управления буквоотливной, строкоотливной наборной или фотонаборной машиной, выполненных на носителях информации.
сепаратор для пневматического обогащения.
узкозахватная горная машина, применяемая в длинных очистных забоях, предназначенная для механизированного скола или срезания. погрузки полезного ископаемого с помощью струга и доставки его конвейером или только для разрушения.