Программистские аналогии

Программистские аналогии. В схеме обычной современной ЭВМ воплощен язык машинных команд, состоящий из простейших арифметических и логических операций. Примитивность этого языка – плата за универсальность: предполагается, что машина будет использована для разных целей, а из маленьких кирпичей как раз и можно строить дома самой витиеватой формы, чего не скажешь о крупных блоках.

Однако каждый конкретный пользователь решает только свой узкий круг задач, и универсальность ему не нужна. Напротив, он хотел бы ворочать большими блоками, что позволило бы ему уменьшить перебор. Иными словами, он желал бы иметь язык, ориентированный именно на его проблемы. Как же его получить? При составлении нескольких самых простых программ некоторые сочетания команд все время повторяются, они как бы слипаются между собой.

Такой комбинации можно присвоить имя, ввести ее в память, и оператор языка более высокого уровня готов. (Это аналогично выработке условного рефлекса – повторяющиеся стимулы и реакции становятся единым целым.) Такой вариант действий можно назвать путем «снизу». Но есть и другой путь – «сверху». Анализируют все множество решаемых задач и ищут набор как можно более крупных частей, из которых складывался бы любой нужный алгоритм. Проводя опять таки параллель со строительством, можно сказать, что определяют комплект блоков, из которых удастся возвести все здания оговоренного типа. Здесь человек использует свое преимущество перед машиной в разноплановости своих представлений о мире. Для компьютера этот крупноблочный язык совершенно непонятен, и ему надо перевести каждый блок в набор кирпичей – машинных команд.

Для этого сочиняется программа транслятор (опять же путем иерархического разбиения). В разных случаях будут свои наборы блоков; так возникают сотни алгоритмических языков – каждый из них по своему членит мир. В этих соотношениях проявляется общий принцип мышления – работать на верхних этажах языковой иерархии.

Если в нашем распоряжении нет языка высокого уровня – то его надо создать. Главная цель при этом – избежать больших переборов вариантов. Окончательный результат, например, обоснование какого то утверждения, должен быть приведен к чему то хорошо понятному: аксиомам в формальной теории, атомно молекулярным представлениям в химии (это – язык реализации). Значит, задача состоит в том, чтобы спуститься до этого уровня, а затем идти в обратную сторону (снизу вверх), осуществляя логический вывод, строгую дедукцию. 3.