Учебник для профобразования 1991 года.
Как можно видеть, это универсальный курс. Типа развития
Симоновича для студентов. Настолько развит, что для укладки в не очень большой печатный объём текст набран чуть ли не нонпарелью...

Так что разрешение высокое для скана взято - посему снова образ незагружаемого целиком размера. И разбит на тома - просто по примерному равенству страниц. Итак, по порядку...
Вложение:
Интересна, как водится, систематичность изложения. И языковой подход - что сближает с неоклассикой. Посему после исторического введения идёт фактически определение базиса формальных языков изложения "только для человека" (
ментал-формализации), т.е. построения
"внешней схемы". А в Разд. 5 - то же "и для информашины", т.е. для построения "
нейтральной". Начиная, ессно, с математики и логики...
Хотя логику в базовом объёме лучше по Мейеру изучать - уже говорил. А по системам отношений хорошим подспорьем Романовский будет - см. Гл. 7 этой выдержки... хотя тут тоже ничего изложено.
Ну, сети Петри, конечно, сообразно времени написания даны в простейших диалектах - сегодня есть существенные расширения. И то возникают вопросы о формальности и информатизуемости таких спецификаций...
Для "визуализации алгоритмов" используется табулоязык Насси-Шнейдермана, вводимый в Разд. 4. Кстати, у немцев, видимо, популярен был - не в первой их книжке встречаю. Правда, ту же рекурсию представить на нём, видимо, сложно - а вот на графах видимости можно, если подумать - см.
этот пример. Паскаль взят для текстовой записи - как видим, с немецкой лексикой (без диакритики, правда

).
В Разд. 1 при изложении истории ИВТ, конечно, должное внимание уделяется результатам Конрада Цузе.

И по заслугам - в общем-то первый практический дискретный автоматический вычислитель - его работа. Любопытна, кстати, на с. 47 иллюстрация взаимодействий косавта как аппаратно-программного комплекса.
Уже имеется систематический раздел алгоритмизации в духе доказательности. Где и поиск, и сортировка разобраны "как классы". Хотя без углубления в теорию. Ну и базируемый на разделе структур данных. Где тоже формальная основа - и показано, как данные абстрагируют реальные сущности.
Вложение:
В Разд. 5 о прогязыках полезно доведение до Ассемблера с рассмотрением реального представления в лиоформе. И работы машинного исполнителя с этим представлением.
В частности, и простого БП (с привязкой к блок-схемам - для сведения "шампур-догматиков" - лишний раз после Свердлова и Мейера о несостоятельности "догмата о веточных переходах как небезусловных в реализации"
). И БП с возвратом ("акробатического прыжка" на процедуру и обратно).
И макроопределений - как механизма простых областных подстановок в Асм-текст (или с заменой - в случае параметризации макросов). Откуда следует некорректность термина "макровызов" - на что Рембольд добросовестно и указывает...
Немного дальше и рассмотрение механизма реализации объявлений "микропроцессорной головкой" на "ленте памяти". И вообще механизмов выполнения и трансляции.
Ну и введение в формальную грамматику - кратко и информативно. Опять же не без абстрактного синтаксического дерева...

Важно, что везде говорится о том, что формальный язык определяет некую языковую машину - виртуальную и/или реальную - и наоборот. Что соответствует
расширенному тезису Вирта.
В Разд. 6 интересен EPOS-подход к специфицированию задач. Хотя alexus, думаю, найдёт здесь проблемы адекватности языка обобщённой предметно-инвариантной семантике. Я же отмечу некоторую сложность аппарата описания потоков управления... возможно, избыточную. Любопытен и гибридный LARS-язык.
Вложение:
В Разд. 7 добротный разбор аппаратной архитектуры и её связи с программной.
В Разд. 8 систематически (хотя и кратко) рассматривается устройство и принцип действия управляющей программы сложного косавта. В частности, в п. 8.5 и 8.6 - подготовка загрузочного формата к исполнению - то, о чём когда-то
говорил alexus. При этом подразумевается "виртуальное окружение" - массивы данных, абстрагирующих "предметку", в памяти самого косавта. Формируемые и запрашиваемые под управлением только человека-оператора. К возможностям и потребностям которого надо применяться - см. у
Мичи и Джонстона о "человеческих рамках".
Ну и в Разд. 9 это обобщается на взаимодействие не только с оператором, но и с реальным окружением. Которое формирует абстрагирующие данные "прямой связи с объектом", так сказать, "под собственным управлением". И тем самым запрашивает данные "обратной связи", исходя из заложенной модели окружения. Задавая тем самым "рамки окружения", обычно существенно отличающиеся от "человеческих".