Универсальный Ряд

для данного класса алгоритмов - алгоритм с входным параметром р, к-рый при различных допустимых значениях р моделирует работу любого алгоритма данного класса. Различным формализациям вычислимости соответствуют различные уточнения понятия У. А. Для рекурсивных функций это универсальная частично рекурсивная функция (см. Универсальная функция), для Тьюринга машин - это универсальная машина Тьюринга, для нормальных алгорифмов - это универсальный нормальный алгорифм, и т. Д. Лит.:[1] Успснский В..

нормальный алгорифм (н. А.) к-рый в уточненном ниже смысле моделирует работу любого н. А. В алфавите A ={a1, . .., а п}.Н. А. в алфавите (. Не содержит букв является универсальным для алфавита А, если для всякого н. А. в алфавите Аи для каждого слова Рв алфавите А Здесь есть изображение н. А. (см. Алгоритма изображение), а символ из . Играет роль разделительного знака. Существование У. Н. А. Доказал А. А. Марков (см. [1]). Важной характеристикой У. Н. А. Является его сложность, т. Е. ..

- класс универсальных алгебр, определяемый системой тождеств (ср. Алгебраических систем многообразие). У. А. М. Характеризуется как непустой класс алгебр, замкнутый относительно факторалгебр, подалгебр и прямых произведений. Последние два условия можно заменить требованием замкнутости относительно подпрямых произведений. У. А. М. Наз. Тривиальным, если оно состоит из одноэлементных алгебр. Каждое нетривиальное У. А. М. Содержит свободную алгебру с базой любой мощности. Если X и Y - базы одной и..

плоская кривая Г, к-рую можно обойти, побывав дважды только в точках самопересечения. Для того чтобы кривая была уникурсальной, необходимо и достаточно, чтобы у нее было не более двух точек, через к-рые проходит нечетное число путей. Если Г - плоская алгебраич. Кривая n-го порядка, имеющая максимальное число двойных точек (включая несобственные и мнимые), то (причем точки кратности kрассматриваются как двойных точек). Всякий интеграл где y - функция от х, определяемая уравнением F( х, у)=0..