Статья 301

Поэтому в 60-е годы на первое место встали потребности точного определения формальных языков достаточно сложной структуры. В математике формальные языки имели очень простую синтаксическую структуру правда, содержавшую такие особенности, воспринятые современными языками программирования, как составление выражений из вложенных друг в друга частей, понятие локализации переменной, связанной квантором. Все необходимые для практического использования усложнения трактовались для простоты как неформальные соглашения. Даже естественный вывод определялся в математической логике самыми обходными путями, часто уничтожавшими содержательную структуру вывода, лишь бы побыстрее перейти к доказательству интересных, сложных теорем.

формальных

формальных


В отношении описания синтаксиса богатых формальных языков и работы с ними математическая логика получила существенную помощь от программирования.