Читать онлайн «Рекурсивные пребразователи информации [Учеб. пособие для вузов по спец. '' Прикл. математика'']»

Л. В. В. Анисимов — IjC. 1 Вища шк. Головное изд-во, 1987. — 232 с. Описываются рекурсивные преобразователи информации, отно^ сящиеся к автоматной модели алгоритма и охватывающие широкий класс сложных алгоритмических систем — рекурсивные програм- программы, вычислительные устройства, различные иерархические управ- управляющие системы. Излагаются виды рекурсивного взаимодействия5 проблемы разрешимости алгоритмов; недетерминизм в задании про- программ; преобразования рекурсии в более простые формы; рекур- рекурсивные алгоритмы в конкретных вычислительных средах; схемы программ и преобразователей. Для студентов вузов, обучающихся по специальности «Приклад- ная математика». Ил. 70 Библиогр. ! 40 назв. Р_е ц е н з е н т ы: член-корреспондент АН СССР Л. Н. Королев, кандидат физико-математических наук Р. Л. Смелянский (Москов- (Московский государственный университет); доктор физико-математичес- физико-математических наук, профессор Я» М. В Основ- Основных направлениях экономического и социального развития СССР на 1986—1990 годы и на период до 2000 года, утвержденных XXVII съез- съездом КПСС, предусмотрено: «Организовать массовый выпуск пер- персональных компьютеров. Обеспечить рост объема производства вы- вычислительной техники в 2—2,3 раза, повысить ее надежность. Высо- Высокими темпами наращивать масштабы применения современных вы- высокопроизводительных электронно-вычислительных машин всех классов. Продолжить создание и повысить эффективность работы вы- вычислительных центров коллективного пользования, интегрирован- интегрированных банков данных, сетей обработки передачи информации»1. Создание высокопроизводительных средств обработки информа- информации, включая программное обеспечение, невозможно без детального логического анализа концепций, положенных в основу функциониро- функционирования этих систем. Подобный анализ требует абстрагирования от многих черт и свойств вычислительной системы, существенных только при конкретной реализации. Поэтому изучение абстрактных моделей вычислений, определяемых архитектурой ЭВМ, организацией опера- операционной системы или семантикой языка программирования, представ- представляет значительный интерес и является центральной задачей совре- современной информатики.