Исходное сообщение: здесь . В 0-м посте этой серии мы даем определение программы. По умолчанию Программа — набор последовательностей В последнем посте (2-м посте) мы обсуждали, что все свойства программ тоже программы. Но, если вы заметите, мы почти противоречили самой цели этой серии объяснений всего как программы, когда упомянули, что вы можете рассматривать гиперсвойства не как программы, а скорее как набор программ . В этом посте мы хотим развеять любые возможные..