\input style
\chapter{2. ёюёЄю▀эш▀ ш шї їрЁръЄхЁшёЄшър}

т ТЕЧЕНИЕ МНОГИХ СТОЛЕТИЙ ЧЕЛОВЕК ОПЕРИРУЕТ
НАТУРАЛЬНЫМИ ЧИСЛАМИ. ьНЕ ПРЕДСТАВЛЯЕТСЯ, ЧТО В
ДОИСТОРИЧЕСКИЕ ВРЕМЕНА, КОГДА ПЕРЕД НАШИМИ ПРЕДКАМИ
ВПЕРВЫЕ ЗАБРЕЗЖИЛО ПОНЯТИЕ ЧИСЛА, ОНИ ИЗОБРЕТАЛИ
ИНДИВИДУАЛЬНЫЕ ИМЕНА ДЛЯ КАЖДОГО ЧИСЛА, НА КОТОРОЕ
У НИХ ОБНАРУЖИВАЛАСЬ ПОТРЕБНОСТЬ СОСЛАТЬСЯ. шМ
ПРИХОДИЛОСЬ ИМЕТЬ ИМЕНА ДЛЯ ЧИСЕЛ ТОЧНО ТАК ЖЕ, КАК
МЫ ИМЕЕМ ИМЕНА "ОДИН, ДВА, ТРИ, ЧЕТЫРЕ И ТАК
ДАЛЕЕ".

¤ТО ПОИСТИНЕ "ИМЕНА" В ТОМ СМЫСЛЕ, ЧТО ПРИ
ИССЛЕДОВАНИИ ПОСЛЕДОВАТЕЛЬНОСТИ "ОДИН, ДВА, ТРИ"
НИКАКОЕ ПРАВИЛО НЕ ПОМОЖЕТ НАМ УМОЗАКЛЮЧИТЬ, ЧТО
СЛЕДУЮЩИМ ИМЕНЕМ БУДЕТ "ЧЕТЫРЕ". тЫ, КОНЕЧНО ЖЕ,
ДОЛЖНЫ ЭТО \emph{ЗНАТЬ}. (т ТОМ ВОЗРАСТЕ, КОГДА Я
ВПОЛНЕ УДОВЛЕТВОРИТЕЛЬНО УМЕЛ СЧИТАТЬ ---
ПО-ГОЛЛАНДСКИ,--- МНЕ ПРИШЛОСЬ УЧИТЬСЯ СЧЕТУ 
ПО-АНГЛИЙСКИ И ВО ВРЕМЯ ЭКЗАМЕНА САМОЕ ИЗОЩРЕННОЕ
ЗНАНИЕ СЛОВ "СЕМЬ" И "ДЕВЯТЬ" НЕ СМОГЛО ПОМОЧЬ МНЕ
УСТАНОВИТЬ, КАК ПИСАТЬ СЛОВО "ВОСЕМЬ", НЕ ГОВОРЯ УЖ
О ТОМ, КАК ПРОИЗНОСИТЬ ЕГО.)

юЧЕВИДНО, ЧТО ТАКОЕ НЕСИСТЕМАТИЗИРОВАННОЕ
РАЗНООБРАЗИЕ ПОЗВОЛЯЕТ НАМ ВЫДЕЛЯТЬ ИНДИВИДУАЛЬНО
ТОЛЬКО ВЕСЬМА ОГРАНИЧЕННОЕ КОЛИЧЕСТВО РАЗЛИЧНЫХ
ЧИСЕЛ. ўТОБЫ ИЗБЕЖАТЬ ПОДОБНОГО ОГРАНИЧЕНИЯ, КАЖДЫЙ
ЯЗЫК В ЦИВИЛИЗОВАННОМ МИРЕ ВВОДИТ (БОЛЕЕ ИЛИ МЕНЕЕ)
СИСТЕМАТИЗИРОВАННОЕ ИМЕНОВАНИЕ НАТУРАЛЬНЫХ ЧИСЕЛ,
И ОБУЧЕНИЕ  СЧЕТУ  В  ЗНАЧИТЕЛЬНОЙ СТЕПЕНИ СВОДИТСЯ
К  ОБНАРУЖЕНИЮ   СИСТЕМЫ,   ЛЕЖАЩЕЙ В ОСНОВЕ ЭТОГО
ИМЕНОВАНИЯ. ъОГДА РЕБЕНОК УЧИТСЯ СЧИТАТЬ ДО ТЫСЯЧИ,
ЕМУ НЕ ПРИХОДИТСЯ ЗАУЧИВАТЬ НАИЗУСТЬ ЭТУ ТЫСЯЧУ
ИМЕН (В ИХ ТОЧНОМ ПОРЯДКЕ!); ОН РУКОВОДСТВУЕТСЯ
ОПРЕДЕЛЕННЫМИ ПРАВИЛАМИ: НАСТУПАЕТ МОМЕНТ, КОГДА
РЕБЕНОК УЗНАЕТ, КАК ПЕРЕХОДИТЬ ОТ ЛЮБОГО ЧИСЛА К
СЛЕДУЮЩЕМУ, НАПРИМЕР ОТ "ЧЕТЫРЕСТА ДВАДЦАТЬ ДЕВЯТЬ"
К "ЧЕТЫРЕСТА ТРИДЦАТЬ".

ыЕГКОСТЬ ОБРАЩЕНИЯ С ЧИСЛАМИ СИЛЬНО ЗАВИСИТ ОТ ВЫБРАННОЙ
НАМИ ДЛЯ НИХ СИСТЕМАТИЗАЦИИ. уОРАЗДО ТРУДНЕЕ
УСТАНОВИТЬ, ЧТО
$$
\eqalign{
\hbox{ДЮЖИНА ДЮЖИН} &= \hbox{ГРОСС} \cr
\hbox{ОДИННАДЦАТЬ ПЛЮС ДВЕНАДЦАТЬ} &= \hbox{ДВАДЦАТЬ ТРИ}\cr
XLVII+IV&=LI\cr
}
$$
ЧЕМ УСТАНОВИТЬ, ЧТО
$$
\eqalign{
12\times12&=144 \cr
11+12&=23 \cr
47+4&=51\cr
}
$$
ТАК КАК ПОСЛЕДНИЕ ТРИ ОТВЕТА МОЖНО ПОЛУЧИТЬ,
ПРИМЕНИВ ПРОСТОЙ НАБОР ПРАВИЛ, КОТОРЫМИ МОЖЕТ
РУКОВОДСТВОВАТЬСЯ ЛЮБОЙ ВОСЬМИЛЕТНИЙ РЕБЕНОК.

яРИ МЕХАНИЧЕСКИХ МАНИПУЛЯЦИЯХ НАД ЧИСЛАМИ
ПРЕИМУЩЕСТВА ДЕСЯТИЧНОЙ СИСТЕМЫ СЧИСЛЕНИЯ
ПРОЯВЛЯЮТСЯ ГОРАЗДО БОЛЕЕ ОТЧЕТЛИВО. єЖЕ В
ТЕЧЕНИЕ СТОЛЕТИЙ МЫ РАСПОЛАГАЕМ МЕХАНИЧЕСКИМИ
СУММАТОРАМИ, ПОКАЗЫВАЮЩИМИ ОТВЕТ В ОКОШКЕ,
ПОЗАДИ КОТОРОГО ИМЕЕТСЯ НЕСКОЛЬКО КОЛЕС С
ДЕСЯТЬЮ РАЗЛИЧНЫМИ ПoЛoЖeНИЯМИ, ПРИЧЕМ КАЖДОЕ
КОЛЕСО В ЛЮБОМ СВОЕМ ПОЛОЖЕНИИ ПОКАЗЫВАЕТ ОДНУ
ДЕСЯТИЧНУЮ ЦИФРУ. (ЄЕПЕРЬ УЖЕ УЖЕ НЕ ЯВЛЯЕТСЯ
ПРОБЛЕМОЙ ПОКАЗАТЬ "00000019", ПРИБАВИТЬ 4 И
ЗАТЕМ ПОКАЗАТЬ "00000023"; БЫЛО БЫ ПРОБЛЕМОЙ ---
ПО КРАЙНЕЙ МЕРЕ ЕСЛИ ПОЛЬЗОВАТЬСЯ ЧИСТО
МЕХАНИЧЕСКИМИ СРЕДСТВАМИ --- ПОКАЗАТЬ ВМЕСТО
ЭТОГО "ДЕВЯТНАДЦАТЬ" И "ДВАДЦАТЬ ТРИ".)

ёУЩЕСТВЕННОЕ СВОЙСТВО ТАКОГО КОЛЕСА СОСТОИТ В ТОМ, ЧТО ОНО
ОБЛАДАЕТ ДЕСЯТЬЮ РАЗЛИЧНЫМИ УСТОЙЧИВЫМИ
ПОЛОЖЕНИЯМИ. ЄЕРМИНОЛОГИЧЕСКИ ЭТО ВЫРАЖАЕТСЯ
РАЗНЫМИ СПОСОБАМИ. эАПРИМЕР, КОЛЕСО НАЗЫВАЕТСЯ
"ПЕРЕМЕННОЙ С ДЕСЯТЬЮ ЗНАЧЕНИЯМИ", И ЕСЛИ МЫ
ХОТИМ БОЛЬШЕЙ ТОЧНОСТИ, ТО ДАЖЕ ПЕРЕЧИСЛЯЕМ ЭТИ
ЗНАЧЕНИЯ: ОТ 0 ДО 9. чДЕСЬ КАЖДОЕ "ПОЛОЖЕНИЕ"
КОЛЕСА ОТОЖДЕСТВЛЯЕТСЯ СО "ЗНАЧЕНИЕМ"
ПЕРЕМЕННОЙ. ъОЛЕСО НАЗЫВАЕТСЯ "ПЕРЕМЕННОЙ",
ПОТОМУ ЧТО, ХОТЯ ЕГО ПОЛОЖЕНИЯ И УСТОЙЧИВЫ,
КОЛЕСО МОЖЕТ ПОВЕРНУТЬСЯ В ДРУГОЕ ПОЛОЖЕНИЕ:
"ЗНАЧЕНИЕ" МОЖЕТ ИЗМЕНИТЬСЯ. (▀ ВЫНУЖДЕН
ОТМЕТИТЬ, ЧТО ЭТОТ ТЕРМИН НЕУДАЧЕН ПО КРАЙНЕЙ
МЕРЕ В ДВУХ ОТНОШЕНИЯХ. тО-ПЕРВЫХ, ТАКОЕ КОЛЕСО,
КОТОРОЕ (ПОЧТИ) ВСЕГДА НАХОДИТСЯ В ОДНОМ ИЗ
СВОИХ ДЕСЯТИ ПОЛОЖЕНИЙ И, СЛЕДОВАТЕЛЬНО, (ПОЧТИ)
ВСЕГДА ПРЕДСТАВЛЯЕТ НЕКОЕ ЗНАЧЕНИЕ, ЯВЛЯЕТСЯ
ПОНЯТИЕМ, ВЕСЬМА ОТЛИЧНЫМ ОТ ТОГО, ЧТО
МАТЕМАТИКИ НАЗЫВАЮТ "ПЕРЕМЕННОЙ", ПОСКОЛЬКУ, КАК
ПРАВИЛО, МАТЕМАТИЧЕСКАЯ ПЕРЕМЕННАЯ ВООБЩЕ НЕ
ПРЕДСТАВЛЯЕТ
КАКОГО-ЛИБО КОНКРЕТНОГО ЗНАЧЕНИЯ. хСЛИ МЫ ГОВОРИМ, ЧТО
ДЛЯ ЛЮБОГО ЦЕЛОГО ЧИСЛА $n$ УТВЕРЖДЕНИЕ
$n^2\ge0$ ИСТИННО, ТО ЗДЕСЬ $n$ ЯВЛЯЕТСЯ
ПЕРЕМЕННОЙ СОВСЕМ ДРУГОГО РОДА.
тО-ВТОРЫХ, В НАШЕМ КОНТЕКСТЕ МЫ ИСПОЛЬЗУЕМ ТЕРМИН
"ПЕРЕМЕННАЯ" ДЛЯ ТОГО, ЧТО СУЩЕСТВУЕТ ВО ВРЕМЕНИ
И ЧЬЕ ЗНАЧЕНИЕ, ЕСЛИ ЕГО НЕ ТРОГАТЬ, ОСТАЕТСЯ
ПОСТОЯННЫМ! ЄЕРМИН "ИЗМЕНЯЕМАЯ КОНСТАНТА"
ПОДОШЕЛ БЫ ЛУЧШЕ, НО МЫ НЕ СТАНЕМ ВВОДИТЬ ЕГО, А
БУДЕМ ПРИДЕРЖИВАТЬСЯ ПРОЧНО УСТАНОВИВШЕЙСЯ
ТРАДИЦИИ.)

фРУГОЙ СПОСОБ ТЕРМИНОЛОГИЧЕСКИ ОТРАЗИТЬ СУЩНОСТЬ
ТАКОГО КОЛЕСА, КОТОРОЕ (ПОЧТИ) ВСЕГДА НАХОДИТСЯ
В ОДНОМ ИЗ ДЕСЯТИ РАЗЛИЧНЫХ ПОЛОЖЕНИЙ ИЛИ
"СОСТОЯНИЙ", СОСТОИТ В ТОМ, ЧТОБЫ ПОСТАВИТЬ
ЭТОМУ КОЛЕСУ В СООТВЕТСТВИЕ "ПРОСТРАНСТВО
СОСТОЯНИЙ ИЗ ДЕСЯТИ ТОЧЕК". чДЕСЬ КАЖДОЕ
СОСТОЯНИЕ (ПОЛОЖЕНИЕ) СВЯЗЫВАЕТСЯ С "ТОЧКОЙ", А
СОБРАНИЕ ЭТИХ ТОЧЕК НАЗЫВАЕТСЯ --- В
СООТВЕТСТВИИ С МАТЕМАТИЧЕСКОЙ ТРАДИЦИЕЙ
--- ПРОСТРАНСТВОМ ИЛИ, ЕСЛИ  МЫ ХОТИМ БОЛЬШЕЙ
ТОЧНОСТИ, "ПРОСТРАНСТВОМ СОСТОЯНИЙ". тМЕСТО ТОГО
ЧТОБЫ ГОВОРИТЬ, ЧТО ПЕРЕМЕННАЯ ОБЛАДАЕТ (ПОЧТИ)
ВСЕГДА ОДНИМ ИЗ СВОИХ ВОЗМОЖНЫХ ЗНАЧЕНИЙ, МЫ
МОЖЕМ ТЕПЕРЬ ВЫРАЗИТЬ ТО ЖЕ, СКАЗАВ, ЧТО
СИСТЕМА, СОСТОЯЩАЯ ИЗ ЕДИНСТВЕННОЙ ПЕРЕМЕННОЙ,
НАХОДИТСЯ (ПОЧТИ) ВСЕГДА В ОДНОЙ ИЗ ТОЧЕК СВОЕГО
ПРОСТРАНСТВА СОСТОЯНИЙ. яРОСТРАНСТВО СОСТОЯНИЙ
ОПИСЫВАЕТ СТЕПЕНЬ СВОБОДЫ СИСТЕМЫ; БОЛЬШЕ ЕЙ
НЕКУДА ПЕРЕХОДИТЬ.

юТВЛЕЧЕМСЯ ТЕПЕРЬ ОТ ОТДЕЛЬНО ВЗЯТОГО КОЛЕСА И
СОСРЕДОТОЧИМ НАШЕ ВНИМАНИЕ НА РЕГИСТРЕ С ВОСЕМЬЮ
ТАКИМИ КОЛЕСАМИ В СТРОКЕ. яОСКОЛЬКУ КАЖДОЕ ИЗ
ЭТИХ КОЛЕС НАХОДИТСЯ В ОДНОМ ИЗ ДЕСЯТИ РАЗЛИЧНЫХ
СОСТОЯНИЙ, ЭТОТ РЕГИСТР, РАССМОТРЕННЫЙ КАК
ЦЕЛОЕ, НАХОДИТСЯ В ОДНОМ ИЗ 100 000 000
ВОЗМОЖНЫХ РАЗЛИЧНЫХ СОСТОЯНИЙ, КАЖДОЕ ИЗ КОТОРЫХ
ЕСТЕСТВЕННО ИДЕНТИФИЦИРУЕТСЯ ЧИСЛОМ (А ТОЧНЕЕ,
СТРОКОЙ ИЗ ВОСЬМИ ЦИФР), ПОКАЗЫВАЕМЫМ В ОКОШКЕ.

хСЛИ ЗАДАНЫ СОСТОЯНИЯ ВСЕХ КОЛЕС, ТО СОСТОЯНИЕ
РЕГИСТРА В ЦЕЛОМ ОДНОЗНАЧНО ОПРЕДЕЛЕНО; И
ОБРАТНО, ПО ЛЮБОМУ СОСТОЯНИЮ РЕГИСТРА В ЦЕЛОМ
ОДНОЗНАЧНО ОПРЕДЕЛЯЕТСЯ СОСТОЯНИЕ КАЖДОГО
ОТДЕЛЬНОГО КОЛЕСА. т ЭТОМ СЛУЧАЕ МЫ ГОВОРИМ (В
ПРЕДЫДУЩЕЙ ГЛАВЕ НАМИ УЖЕ ИСПОЛЬЗОВАН ЭТОТ
ТЕРМИН), ЧТО ПОЛУЧАЕМ (ИЛИ СТРОИМ) ПРОСТРАНСТВО
СОСТОЯНИЙ РЕГИСТРА В ЦЕЛОМ, ФОРМИРУЯ "ДЕКАРТОВО
ПРОИЗВЕДЕНИЕ" ПРОСТРАНСТВ СОСТОЯНИЙ ВОСЬМИ
ОТДЕЛЬНЫХ КОЛЕС. юБЩЕЕ ЧИСЛО ТОЧЕК В ЭТОМ
ПРОСТРАНСТВЕ СОСТОЯНИЙ ЯВЛЯЕТСЯ ПРОИЗВЕДЕНИЕМ
ЧИСЕЛ ТОЧЕК В ТЕХ ПРОСТРАНСТВАХ СОСТОЯНИЙ, ИЗ
КОТОРЫХ ОНО ПОСТРОЕНО (ИМЕННО ПОЭТОМУ ОНО
НАЗЫВАЕТСЯ ДЕКАРТОВЫМ \emph{ПРОИЗВЕДЕНИЕМ}).

т ЗАВИСИМОСТИ ОТ ТОГО, ЧТО НАС ИНТЕРЕСУЕТ В ЭТОМ
ПРЕДМЕТЕ, МЫ ЛИБО РАССМАТРИВАЕМ ТАКОЙ РЕГИСТР
КАК ЕДИНУЮ ПЕРЕМЕННУЮ С $10^8$  РАЗЛИЧНЫМИ
ВОЗМОЖНЫМИ ЗНАЧЕНИЯМИ, ЛИБО КАК СОСТАВНУЮ
ПЕРЕМЕННУЮ, СОСТАВЛЕННУЮ ИЗ ВОСЬМИ РАЗЛИЧНЫХ
ПЕРЕМЕННЫХ, НАЗЫВАЕМЫХ "КОЛЕСАМИ", С ДЕСЯТЬЮ
ЗНАЧЕНИЯМИ. хСЛИ МЫ ИНТЕРЕСУЕМСЯ ТОЛЬКО
ПОКАЗЫВАЕМЫМИ ЗНАЧЕНИЯМИ, ТО БУДЕМ, ПО-ВИДИМОМУ,
РАССМАТРИВАТЬ РЕГИСТР КАК НЕДЕЛИМОЕ ПОНЯТИЕ,
ТОГДА КАК ИНЖЕНЕР-ЭКСПЛУАТАЦИОННИК, КОТОРОМУ
НУЖНО ЗАМЕНИТЬ КОЛЕСО СО СЛОМАННЫМ ЗУБЦОМ,
БУДЕТ, КОНЕЧНО РАССМАТРИВАТЬ РЕГИСТР КАК
СОСТАВНОЙ ОБоЕКТ.

ьЫ НАБЛЮДАЛИ ДРУГОЙ ПРИМЕР ПОСТРОЕНИЯ ПРОСТРАНСТВА
СОСТОЯНИЙ КАК ДЕКАРТОВА ПРОИЗВЕДЕНИЯ БОЛЕЕ
МЕЛКИХ ПРОСТРАНСТВ СОСТОЯНИЙ, КОГДА ОБСУЖДАЛИ
АЛГОРИТМ хВКЛИДА И ОБНАРУЖИЛИ, ЧТО ПОЛОЖЕНИЕ
ФИШКИ ГДЕ-ТО НА ЛИСТЕ МОЖНО ПОЛНОСТЬЮ
ИДЕНТИФИЦИРОВАТЬ С ПОМОЩЬЮ ДВУХ ПОЛУФИШЕК,
КАЖДАЯ ИЗ КОТОРЫХ НАХОДИТСЯ ГДЕ-ТО НА СВОЕЙ ОСИ,
Т. Е. С ПОМОЩЬЮ КОМБИНАЦИИ (А ТОЧНЕЕ,
УПОРЯДОЧЕННОЙ ПАРЫ) ДВУХ ПЕРЕМЕНЫХ "$x$" И
"$y$". (шДЕЯ ИДЕНТИФИКАЦИИ ПОЛОЖЕНИЯ ТОЧКИ НА
ПЛОСКОСТИ ЗНАЧЕНИЯМИ ЕЕ КООРДИНАТ $x$ И $y$ ИДЕТ
ОТ фЕКАРТА, КОТОРЫЙ РАЗРАБОТАЛ АНАЛИТИЧЕСКУЮ
ГЕОМЕТРИЮ И В ЧЕСТЬ КОТОРОГО НАЗВАНО ДЕКАРТОВО
ПРОИЗВЕДЕНИЕ.) ЇИШКА НА ЛИСТЕ БЫЛА ВВЕДЕНА ДЛЯ
ДЕМОНСТРАЦИИ ТОГО ФАКТА, ЧТО РАЗВИВАЮЩИЙСЯ
ВЫЧИСЛИТЕЛЬНЫЙ ПРОЦЕСС --- ТАКОЙ, КАК ВЫПОЛНЕНИЕ
АЛГОРИТМА хВКЛИДА,--- МОЖНО РАССМАТРИВАТЬ КАК
СИСТЕМУ, ДВИЖУЩУЮСЯ ПО СВОЕМУ ПРОСТРАНСТВУ
СОСТОЯНИЙ. т СООТВЕТСТВИИ С ЭТОЙ МЕТАФОРОЙ
НАЧАЛЬНОЕ СОСТОЯНИЕ ИМЕНУЕТСЯ ТАКЖЕ "ИСХОДНОЙ
ТОЧКОЙ".

т ЭТОЙ КНИГЕ МЫ БУДЕМ ПРЕИМУЩЕСТВЕННО --- А МОЖЕТ
БЫТЬ, ДАЖЕ ИСКЛЮЧИТЕЛЬНО --- ЗАНИМАТЬСЯ
СИСТЕМАМИ, ПРОСТРАНСТВА СОСТОЯНИЙ КОТОРЫХ БУДУТ
В КОНЕЧНОМ ИТОГЕ РАССМАТРИВАТЬСЯ КАК НЕКИЕ
ДЕКАРТОВЫ ПРОИЗВЕДЕНИЯ. ЁАЗУМЕЕТСЯ, НЕ СЛЕДУЕТ
УСМАТРИВАТЬ В ЭТОМ МОЕ МНЕНИЕ, БУДТО БЫ
ПРОСТРАНСТВА СОСТОЯНИЙ, ПОСТРОЕННЫЕ С ПОМОЩЬЮ
ДЕКАРТОВЫХ ПРОИЗВЕДЕНИЙ, ЯВЛЯЮТСЯ ОБЩИМ И
ОКОНЧАТЕЛЬНЫМ РЕШЕНИЕМ ВСЕХ НАШИХ ПРОБЛЕМ; Я
ОТЛИЧНО ЗНАЮ, ЧТО ЭТО НЕ ТАК. шЗ ДАЛЬНЕЙШЕГО
СТАНЕТ ОЧЕВИДНЫМ, ПОЧЕМУ ОНИ ЗАСЛУЖИВАЮТ СТОЛЬ
БОЛЬШОГО НАШЕГО ВНИМАНИЯ И В ТО ЖЕ ВРЕМЯ ПОЧЕМУ
ЭТО ПОНЯТИЕ ИГРАЕТ СТОЛЬ ГЛАВЕНСТВУЮЩУЮ РОЛЬ ВО
МНОГИХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ.

яРЕЖДЕ ЧЕМ ПРОДОЛЖИТЬ РАССУЖДЕНИЯ, ОТМЕЧУ ОДНУ
ПРОБЛЕМУ, С КОТОРОЙ НАМ ПРИДЕТСЯ СТОЛКНУТЬСЯ.
ъОГДА МЫ oБРАЗУЕМ ПРОСТРАНСТВО СОСТОЯНИЙ, СТРОЯ
ДЕКАРТОВО ПРОИЗВЕДЕНИЕ, ТО ВОВСЕ НЕ ОБЯЗАТЕЛЬНО,
ЧТО НАМ ОКАЖУТСЯ ПОЛЕЗНЫМИ ВСЕ ЕГО ТОЧКИ.
ЄИПИЧНЫМ ПРИМЕРОМ ЭТОМУ ЯВЛЯЕТСЯ ХАРАКТЕРИСТИКА
ДНЕЙ ДАННОГО ГОДА С ПОМОЩЬЮ ПАРЫ (МЕСЯЦ, ДЕНЬ),
ГДЕ "МЕСЯЦ" --- ПЕРЕМЕННАЯ С 12 ЗНАЧЕНИЯМИ (ОТ
"ЯНВ" ДО "ДЕК"), А "ДЕНЬ" --- ПЕРЕМЕННАЯ С 31
ЗНАЧЕНИЯМИ (ОТ 1 ДО 31). т ЭТОМ СЛУЧАЕ МЫ
ОБРАЗУЕМ ПРОСТРАНСТВО СОСТОЯНИЙ ИЗ 372 ТОЧЕК,
ТОГДА КАК НИКАКОЙ ГОД НЕ СОДЕРЖИТ БОЛЕЕ ЧЕМ 366
ДНЕЙ. ўТО НАМ ДЕЛАТЬ, СКАЖЕМ, С ПАРОЙ (ИЮН, 31)?
ыИБО МЫ ЗАПРЕЩАЕМ ЕЕ, ВВОДЯ ПОНЯТИЕ "НЕВОЗМОЖНЫХ
ДАТ" И ТЕМ САМЫМ СОЗДАВАЯ В НЕКОТОРОМ СМЫСЛЕ
ВОЗМОЖНОСТЬ ВНУТРЕННИХ ПРОТИВОРЕЧИЙ В cИСТЕМЕ,
ЛИБО МЫ РАЗРЕШАЕМ ЕЕ КАК ДРУГОЙ ВАРИАНТ ИМЕНИ
ДЛЯ ОДНОГО ИЗ "ИСТИННЫХ" ДНЕЙ, НАПРИМЕР,
ПРИРАВНИВАЯ ЕЕ К (ИЮЛ,1). ЇЕНОМЕН
"НЕИСПОЛЬЗУЕМЫХ ТОЧЕК ПРОСТРАНСТВА СОСТОЯНИЙ"
ВОЗНИКАЕТ ВСЯКИЙ РАЗ, КОГДА ЧИСЛО РАЗЛИЧНЫХ
ВОЗМОЖНЫХ ЗНАЧЕНИЙ, КОТОРЫЕ МЫ ЖЕЛАЕМ
РАСПОЗНАВАТЬ, ОКАЗЫВАЕТСЯ ПРОСТЫМ ЧИСЛОМ.

ёИСТЕМАТИЗАЦИЯ, КОТОРАЯ АВТОМАТИЧЕСКИ ВВОДИТСЯ,
КОГДА МЫ СТРОИМ ПРОСТРАНСТВО СОСТОЯНИЙ КАК
ДЕКАРТОВО ПРОИЗВЕДЕНИЕ, ПОЗВОЛЯЕТ НАМ
ИДЕНТИФИЦИРОВАТЬ ОТДЕЛЬНО ВЗЯТУЮ ТОЧКУ.
эАПРИМЕР, Я МОГУ УТВЕРЖДАТЬ, ЧТО МОЙ ДЕНЬ
РОЖДЕНИЯ --- ЭТО (МАЙ, 11). юДНАКО БЛАГОДАРЯ
фЕКАРТУ НАМ ИЗВЕСТЕН ТЕПЕРЬ И ДРУГОЙ СПОСОБ
ФИКСАЦИИ ЭТОГО ФАКТА: МОЙ ДЕНЬ РОЖДЕНИЯ ПРИХОДИТСЯ 
НА ТУ ДАТУ (МЕСЯЦ, ДЕНЬ), КОТОРАЯ
СООТВЕТСТВУЕТ РЕШЕНИЮ УРАВНЕНИЯ%
\note{чДЕСЬ И ДАЛЕЕ В МАТЕМАТИЧЕСКИХ ФОРМУЛАХ
ИСПОЛЬЗУЮТСЯ ДЛЯ ОБОЗНАЧЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ СИМВОЛЫ 
{\bf and} (КОНоЮНКЦИЯ), {\bf or} (ДИЗоЮНКЦИЯ) И {\bf non} 
(ОТРИЦАНИЕ).--- {\sl яРИМ. ПЕРЕВ.} }
$$
(\var{МЕСЯЦ}=\var{МАЙ}) \and (\var{ДЕНЬ} = 11)
$$

яРИВЕДЕННОЕ ВЫШЕ УРАВНЕНИЕ ИМЕЕТ ТОЛЬКО ОДНО РЕШЕНИЕ И
ПОЭТОМУ ПРЕДСТАВЛЯЕТ СОБОЙ НЕСКОЛЬКО УСЛОЖНЕННЫЙ
СПОСОБ УКАЗАНИЯ ЭТОГО ЕДИНСТВЕННОГО ДНЯ В ГОДУ.
юДНАКО ПРЕИМУЩЕСТВО ИСПОЛЬЗОВАНИЯ УРАВНЕНИЯ
СОСТОИТ В ТОМ, ЧТО ОНО ПОЗВОЛЯЕТ НАМ
ОХАРАКТЕРИЗОВАТЬ МНОЖЕСТВО ВСЕХ ЕГО РЕШЕНИЙ, И
ТАКОЕ МНОЖЕСТВО МОЖЕТ СОДЕРЖАТЬ ЗНАЧИТЕЛЬНО
БОЛЬШЕ ЧЕМ ОДНУ ТОЧКУ. ЄРИВИАЛЬНЫМ ПРИМЕРОМ
МОЖЕТ СЛУЖИТЬ ОПРЕДЕЛЕНИЕ РОЖДЕСТВА:
$$
(\var{МЕСЯЦ}=\var{ДЕК}) \and ((\var{ДЕНЬ}=25) \or (\var{ДЕНЬ}=26))
$$
сОЛЕЕ ПРИМЕЧАТЕЛЬНЫМ ПРИМЕРОМ ЯВЛЯЕТСЯ ОПРЕДЕЛЕНИЕ
МНОЖЕСТВА ДАТ, В КОТОРЫЕ ВЫПЛАЧИВАЕТСЯ МОЕ
ЕЖЕМЕСЯЧНОЕ ЖАЛОВАНЬЕ:
$$
(\var{ДЕНЬ}=23)
$$
И РАЗУМЕЕТСЯ, ЭТО ГОРАЗДО БОЛЕЕ КОМПАКТНОЕ
ОПИСАНИЕ, ЧЕМ ПЕРЕЧИСЛЕНИЕ ВИДА "(ЯНВ, 23),
(ФЕВ, 23), (МАР, 23)" И Т. Д.

шЗ СКАЗАННОГО ВЫШЕ ЯВСТВУЕТ, ЧТО СТЕПЕНЬ ЛЕГКОСТИ,
С КОТОРОЙ МЫ ИСПОЛЬЗУЕМ ТАКИЕ УРАВНЕНИЯ ДЛЯ
ХАРАКТЕРИСТИКИ МНОЖЕСТВ СОСТОЯНИЙ, ЗАВИСИТ ОТ
ТОГО, НАСКОЛЬКО МНОЖЕСТВА, КОТОРЫЕ МЫ ХОТИМ
ОХАРАКТЕРИЗОВАТЬ, "СООТВЕТСТВУЮТ" СТРУКТУРЕ
ПРОСТРАНСТВА СОСТОЯНИЙ, Т. Е. "СООТВЕТСТВУЮТ"
ВВЕДЕННОЙ СИСТЕМЕ КООРДИНАТ. эАПРИМЕР, В
РАССМОТРЕННОЙ ВЫШЕ СИСТЕМЕ КООРДИНАТ БЫЛО БЫ
НЕСКОЛЬКО НЕУДОБНО ОХАРАКТЕРИЗОВАТЬ МНОЖЕСТВО
ДНЕЙ, КОТОРЫЕ ПРИХОДЯТСЯ НА ТОТ ЖЕ ДЕНЬ НЕДЕЛИ,
ЧТО И (ЯНВ, 1). тО МНОГИХ СЛУЧАЯХ ПРОГРАММИСТУ
ПРИХОДИТСЯ ПРИ РЕШЕНИИ ЗАДАЧ ВВОДИТЬ
ПРОСТРАНСТВА СОСТОЯНИЙ С ПОДХОДЯЩИМИ ДЛЯ ЕГО
ЦЕЛЕЙ СИСТЕМАМИ КООРДИНАТ; ПРИЧЕМ ДОПОЛНИТЕЛЬНЫЕ
ТРЕБОВАНИЯ ЧАСТО ВЫНУЖДАЮТ ЕГО ВВОДИТЬ ТАКЖЕ
ПРОСТРАНСТВА СОСТОЯНИЙ, В КОТОРЫХ ЧИСЛО ТОЧЕК ВО
МНОГО РАЗ БОЛЬШЕ, ЧЕМ ЧИСЛО РАЗЛИЧНЫХ ВОЗМОЖНЫХ
ЗНАЧЕНИЙ, КОТОРЫЕ ОН ДОЛЖЕН РАСПОЗНАВАТЬ.

фРУГОЙ ПРИМЕР ИСПОЛЬЗОВАНИЯ УРАВНЕНИЯ ДЛЯ
ХАРАКТЕРИСТИКИ МНОЖЕСТВА СОСТОЯНИЙ ВСТРЕЧАЛСЯ
В НАШЕМ ОПИСАНИИ КАРТОННОЙ МАШИНЫ ДЛЯ
ВЫЧИСЛЕНИЯ $\эюф(X, Y)$, ГДЕ
$$
x=y
$$
ХАРАКТЕРИЗУЕТ ВСЕ ТОЧКИ ТОГО, ЧТО МЫ НАЗВАЛИ "ЛИНИЕЙ ОТВЕТА";
ЭТО МНОЖЕСТВО КОНЕЧНЫХ СОСТОЯНИЙ, Т. Е.
ВЫЧИСЛЕНИЕ ПРЕКРАЩАЕТСЯ ТОГДА И ТОЛЬКО ТОГДА,
КОГДА ДОСТИГНУТО КАКОЕ-НИБУДЬ СОСТОЯНИЕ,
УДОВЛЕТВОРЯЮЩЕЕ УРАВНЕНИЮ $x=y$.

яОМИМО КООРДИНАТ ПРОСТРАНСТВА СОСТОЯНИЙ, Т. Е.
ПЕРЕМЕННЫХ, В ТЕРМИНАХ ЗНАЧЕНИЙ КОТОРЫХ
ВЫРАЖАЕТСЯ ХОД ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА, МЫ
ВСТРЕЧАЛИ В НАШИХ УРАВНЕНИЯХ КОНСТАНТЫ (ТАКИЕ,
КАК "МАЙ" ИЛИ "23"). ъРОМЕ ТОГО, МОЖНО
ПОЛЬЗОВАТЬСЯ ТАК НАЗЫВАЕМЫМИ "СВОБОДНЫМИ
ПЕРЕМЕННЫМИ", КОТОРЫЕ МОЖНО ПРЕДСТАВИТЬ СЕБЕ КАК
"НЕСПЕЦИФИЦИРОВАННЫЕ КОНСТАНТЫ". ьЫ ПРИМЕНЯЕМ ИХ
СПЕЦИАЛЬНО ДЛЯ ОБОЗНАЧЕНИЯ СВЯЗЕЙ РАЗЛИЧНЫХ
СОСТОЯНИЙ, КОТОРЫЕ МОГУТ ВСТРЕЧАТЬСЯ НА
ПОСЛЕДОВАТЕЛЬНЫХ ШАГАХ \emph{ОДНОГО И ТОГО ЖЕ}
ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА. эАПРИМЕР, ВО ВРЕМЯ
НЕКОЕГО КОНКРЕТНОГО ВЫПОЛНЕНИЯ АЛГОРИТМА хВКЛИДА
С НАЧАЛЬНОЙ ТОЧКОЙ $(X, Y)$ ВСЕ СОСТОЯНИЯ
$(x,y)$ БУДУТ УДОВЛЕТВОРЯТЬ ФОРМУЛЕ
$$
\эюф(x,y)=\эюф(X, Y) \and 0<x\le X \and 0<y\le Y
$$
чДЕСЬ $X$ И $Y$ НЕ ЯВЛЯЮТСЯ ТАКИМИ ПЕРЕМЕННЫМИ, КАК
$x$ И $y$. юНИ ПРЕДСТАВЛЯЮТ СОБОЙ "ИХ НАЧАЛЬНЫЕ
ЗНАЧЕНИЯ". ¤ТО КОНСТАНТЫ С ТОЧКИ ЗРЕНИЯ
КОНКРЕТНОГО ВЫЧИСЛЕНИЯ, НО ОНИ НЕ
СПЕЦИФИЦИРОВАНЫ В ТОМ СМЫСЛЕ, ЧТО МЫ МОГЛИ БЫ
ЗАПУСТИТЬ АЛГОРИТМ хВКЛИДА С ЛЮБОЙ ТОЧКОЙ СЕТКИ
В КАЧЕСТВЕ НАЧАЛЬНОГО ПОЛОЖЕНИЯ НАШЕЙ ФИШКИ.

т ЗАКЛЮЧЕНИЕ НЕКОТОРЫЕ ТЕРМИНОЛОГИЧЕСКИЕ
ЗАМЕЧАНИЯ. ▀ БУДУ НАЗЫВАТЬ ТАКИЕ УРАВНЕНИЯ
"УСЛОВИЯМИ" ИЛИ "ПРЕДИКАТАМИ". (▀ МОГ БЫ, А
ВОЗМОЖНО, И ДОЛЖЕН БЫ РАЗЛИЧАТЬ ЭТИ ПОНЯТИЯ,
ЗАРЕЗЕРВИРОВАВ ТЕРМИН "ПРЕДИКАТ" ДЛЯ ФОРМАЛЬНОГО
ВЫРАЖЕНИЯ, ОБОЗНАЧАЮЩЕГО "УСЛОВИЕ". ЄОГДА МЫ
ИМЕЛИ БЫ ВОЗМОЖНОСТЬ СКАЗАТЬ, НАПРИМЕР, ЧТО ДВА
РАЗНЫХ ПРЕДИКАТА "$x=y$" И "$y=x$" ОБОЗНАЧАЮТ
ОДНО И ТО ЖЕ УСЛОВИЕ. юДНАКО, ЗНАЯ СЕБЯ, Я НЕ
НАДЕЮСЬ ПРЕУСПЕТЬ В ТАКОЙ МАНЕРЕ ИЗЛОЖЕНИЯ.) ▀
БУДУ СЧИТАТЬ СИНОНИМИЧНЫМИ ТАКИЕ ВЫРАЖЕНИЯ, КАК
"СОСТОЯНИЕ, ДЛЯ КОТОРОГО ПРЕДИКАТ ИСТИНЕН",
"СОСТОЯНИЕ, КОТОРОЕ УДОВЛЕТВОРЯЕТ УСЛОВИЮ",
"СОСТОЯНИЕ, В КОТОРОМ УСЛОВИЕ УДОВЛЕТВОРЯЕТСЯ",
"СОСТОЯНИЕ, В КОТОРОМ УСЛОВИЕ СПРАВЕДЛИВО" И
Т. Д. хСЛИ СИСТЕМА ЗАВЕДОМО ДОСТИГНЕТ СОСТОЯНИЯ,
УДОВЛЕТВОРЯЮЩЕГО УСЛОВИЮ $P$, ТО МЫ БУДЕМ
ГОВОРИТЬ, ЧТО СИСТЕМА ЗАВЕДОМО "ОБЕСПЕЧИТ
ИСТИННОСТЬ $P$".

яРЕДПОЛАГАЕТСЯ, ЧТО ВСЯКИЙ ПРЕДИКАТ ОПРЕДЕЛЕН В
КАЖДОЙ ТОЧКЕ РАССМАТРИВАЕМОГО ПРОСТРАНСТВА
СОСТОЯНИЙ: В КАЖДОЙ ТОЧКЕ ЗНАЧЕНИЕМ ПРЕДИКАТА
ЯВЛЯЕТСЯ ЛИБО "ИСТИНА", ЛИБО "ЛОЖЬ", И ПРЕДИКАТ
СЛУЖИТ ДЛЯ ХАРАКТЕРИСТИКИ МНОЖЕСТВА ВСЕХ ТОЧЕК,
ДЛЯ КОТОРЫХ (ИЛИ В КОТОРЫХ) ЭТОТ ПРЕДИКАТ
ИСТИНЕН.

ьЫ БУДЕМ НАЗЫВАТЬ ДВА ПРЕДИКАТА $P$ И $Q$ РАВНЫМИ
(ФОРМАЛЬНО "$P=Q$"), ЕСЛИ ОНИ ОБОЗНАЧАЮТ ОДНО И
ТО ЖЕ УСЛОВИЕ, Т.Е ХАРАКТЕРИЗУЮТ ОДНО И ТО ЖЕ
МНОЖЕСТВО СОСТОЯНИЙ.

фВА ПРЕДИКАТА БУДУТ ИГРАТЬ ОСОБУЮ РОЛЬ, И МЫ
РЕЗЕРВИРУЕМ ДЛЯ НИХ ИМЕНА "$T$" И "$F$".

$T$ ---ЭТО ПРЕДИКАТ, КОТОРЫЙ ИСТИНЕН ВО ВСЕХ
ТОЧКАХ РАССМАТРИВАЕМОГО ПРОСТРАНСТВА СОСТОЯНИЙ;
ЕМУ СООТВЕТСТВУЕТ ПОЛНОЕ МНОЖЕСТВО СОСТОЯНИЙ.

$F$ --- ПРЕДИКАТ, КОТОРЫЙ ЛОЖЕН ВО ВСЕХ ТОЧКАХ
ПРОСТРАНСТВА СОСТОЯНИЙ; ОН СООТВЕТСТВУЕТ ПУСТОМУ
МНОЖЕСТВУ.

\bye