АЛГОЛ — язык программирования, разработанный международным комитетом Ассоциации вычислительной техники (ACM) под руководством Алана Дж. Перлиса из Университета Карнеги-Меллона в 1958-60 годах для публикации алгоритмов, а также для выполнения вычислений. Как и LISP, ALGOL имел рекурсивные подпрограммы — процедуры, которые могли вызывать сами себя для решения задачи, сводя ее к меньшей задаче того же типа. В ALGOL появилась блочная структура, при которой программа состоит из блоков, которые могут содержать как данные, так и инструкции и имеют ту же структуру, что и вся программа. Блочная структура стала мощным инструментом для построения больших программ из небольших компонентов.
В ALGOL была введена нотация для описания структуры языка программирования, форма Бэкуса-Наура, которая в некоторых вариантах стала стандартным инструментом для изложения синтаксиса (грамматики) языков программирования. АЛГОЛ широко использовался в Европе, и в течение многих лет он оставался языком, на котором публиковались компьютерные алгоритмы. Многие важные языки, такие как Паскаль, являются его потомками.