Сформулирован класс комбинаторных задач, эквивалентных задаче определения взаиморасположения b последовательностей интервалов. Показано, что адекватной математической моделью решения поставленной задачи является конечный динамических автомат без памяти, а адекватным математическим аппаратом - непрерывная логика. Построены алгоритмы решения. Приведен пример.
