Ограниченное Множество

- словарная функция, характеризующая поведение автомата конечного. (Функция наз. Словарной, если областью определения и областью значений ее являются множества слов или сверхслов.) Если А- какой-либо алфавит, то пусть обозначает множество всех слов, а - множество всех слов или множество всех сверхслов в алфавите А. Функция f, отображающая в , где Аи В- произвольные конечные алфавиты, наз. Детерминированной функцией, если выполняются следующие два условия. 1) для любого из длина равна длине а..

..

- функция, имеющая ограниченную вариацию (см. Вариация функции). Для функций одного действительного переменного понятие О. В. Ф. Введено К. Жорданом [1] в связи с обобщением Дирихле теоремы о сходимости рядов Фурье кусочно монотонных функций (см. Жордана признак сходимости ряда Фурье). Функция f(x), заданная на отрезке , является О. В. Ф. Тогда и только тогда, когда она может быть представлена в виде - возрастающие (убывающие) на [ а, b]функции (см. Жордана разложение О. В. Ф.). Всякая О. ..

- квантор, используемый для характеризации предикатов не на всей области изменения данной предметной переменной, а на ее части, выделяемой нек-рым предикатом R(х). При использовании в качестве О. К. всеобщности квантор и существования квантор обычно обозначаются и . Если - нек-рый предикат, то означает т. Е. Что предикат Р(х)истинен при всех значениях переменной х, удовлетворяющих предикату R(х). Высказывание означает т. Е. Что пересечение областей истинности предикатов R(х)и Р(х..