Cтраница 3
Инструментами программиста являются тоже программы. Именно с помощью программ создают новые программы. Ответ очевиден - с помощью других инструментальных программ, хотя и более примитивных. Прослеживая историю создания одних программ с помощью других, мы непременно дойдем до молота и наковальни - до того момента, когда никаких программ в распоряжении программистов не было, а имели они дело непосредственно с процессором, понимающим только определенный числовой код. Этот код называется машинным кодом. Каждый процессор понимает только свой собственный машинный код. Совокупность кодов, которые понимает и исполняет процессор, называется его системой команд. В системе команд процессоров семейства х86 ( на базе которых собраны компьютеры IBM PC) порядка тысячи всевозможных команд. Из этих команд и состоят компьютерные программы. [31]
При поиске подходящей меры мы следуем идее Колмогорова, согласно которой информационное содержание структуры убывает с возрастанием степени ее регулярности и увеличивается с возрастанием степени ее нерегулярности. Проблема состоит в том, чтобы найти меру регулярности или случайности ( апериодичности) последовательности. Математическое определение случайности, или апериодичности, последовательности символов было предложено независимо в работах академика А. Н. Колмогорова из Москвы и бывшего тогда студентом Нью-Йоркского университета Чейтина в 1965 г. Аналогичная идея была высказана еще в 1960 г. Соломоновым при попытке квантификации простоты научных теорий. Соломонов, бывший тогда сотрудником американской Zator Company, рассматривал научные наблюдения, как серию двоичных знаков. Задача теории состоит в том, чтобы объяснять имеющиеся наблюдения и предсказывать новые. Соломонов определяет теорию как алгоритм, воспроизводящий серию наблюдений. Если существуют два таких алгоритма, то предпочтение отдается более простому. Поскольку данные наблюдений совершенно нерегулярны, нет никакой программы, которая была бы короче, чем ряд данных, и, следовательно, никакая теория сформулирована быть не может. [32]