describe the behavior of a set of primitive actions

описывать поведение набора элементарных действий (которые могут быть реализованы конкретными языками действий ssn)