язык описания последовательностей, представляющий алгоритм как шаги и переходы с условиями.