Ограничения конечных автоматов
Группа ограничений, задающих допустимые последовательности значений переменных в форме конечного автомата. Ограничения данной группы применяются в задачах, в которых правила формирования последовательности естественно описываются графом состояний и переходов: регламенты чередования работ, технологические последовательности производственных операций, регулярные структуры значений.