Блок-схема Голдстайна — фон Неймана (1947)
Подробнее
- Создатель
- Herman Goldstine, John von Neumann
- Год
- 1947
- Тип
- Нотация
Нотация Голдстайна и фон Неймана для планирования программы до кодирования — предок блок-схемы, только без механизма доказательств, потерянного по дороге.
Серия отчётов «Planning and Coding of Problems for an Electronic Computing Instrument» в 1947 году поставила вопрос, которого прежде не существовало: как описать программу для машины, которой ещё нет, в форме, выдерживающей проверку до записи команд? Ответом стали блоки для операций и стрелки для потока управления — плюс два вида блоков, позже исчезнувших.
Блоки утверждений фиксировали, что должно быть истинно в данной точке потока; блоки хранения записывали, какие переменные где живут. Нотация была не просто рисунком, а половиной доказательства — на двадцать лет раньше логики Хоара и инвариантов цикла. Когда в 1950–60-х блок-схему подхватила индустрия, она оставила блоки и стрелки, выбросила утверждения и превратилась в приём, которым в основном задним числом документируют то, что код уже делает.