Здравствуйте, Аноним, Вы писали:
А>Как перевести следующую фразу: "we assume, that in each set, all subsumed positions are erased". Предметная область — конечные автоматы.
В математике (и theoretical CS) "subsume" чаще всего так или иначе означает отношение "множество-подмножество". В данном случае, я бы перевел как "все позиции, для которых существуют поглощающие позиции, очищаются". При этом где-то выше по тексту должно быть определение типа "позиция А поглощает позицию Б если ...".