Cтраница 2
На этом этапе и Бэкус, и Хоппер танцевали от практики, и им были чужды математико-логические выверты теоретиков от программирования. [16]
Это так называемые скобки Бэкуса, в которые заключаются названия описываемых конструкций и объектов. [17]
За исключением описания формы Бэкуса - Наура в разд. [18]
С самого начала группе Бэкуса не очень-то доверяли, поскольку более ранние попытки совершенствования машинного кода, в том числе язык Ассемблера, нередко рекламировались как создание почти человеческих средств общения с компьютером. [19]
Метаязык Хомского был развит Бэкусом и Науром применительно к описанию языка АЛГОЛ-60, что явилось качественно новым уровнем строгости описания языка. [20]
Вспоминая работу над проектом, Бэкус писал, что разработчики поначалу не знали точно, чего они хотят добиться. Они бурно обсуждали структуру языка и методы синтаксического анализа выражений. Результатом этой работы стал замечательный язык программирования, вскоре завоевавший популярность. [21]
В силу природной лени ( Бэкус сам гордо заявлял, что всю жизнь был лентяем) программисты решили сказать Б ( вернее, В, поскольку дело происходило за океаном) и придумали язык, еще больше похожий на человеческий. [22]
Разобрать два способа описания языков программирования: форма Бэкуса - Наура и канонические системы. [23]
Такую запись правил грамматики принято называть нормальной формулой Бэкуса - Наура или сокращенно НФБН. В настоящее время НФБН и ее незначительные модификации широко используются в программистской литературе для описания тех или иных языков программирования. [24]
Идея функционального языка без переменных была впервые предложена Бэкусом [7], который ввел язык, называемый FP, описанный в гл. Мы уже видели преимущества реализаций, где переменные не представлены явно: выражения являются аппликативными, и их вычисление определяется наборами правил преобразования для применений операторов, являющихся или комбинаторами, или примитивными функциями. Фактически FP был предложен первоначально как основа языка про - граммирования для практического использования; утверждается, что он обеспечивает естественные средства для специфицированных решений. Более того, формальное, свободное от переменных определение языка приводит к функциональной алгебре, которая упрощает формальные рассуждения о программах и способствует оптимизации через преобразование программы, что мы обсудим в гл. [25]
Для описания синтаксиса ИЯП ИСС будет использован синтаксис языка Бэкуса. Это необходимо в связи с тем, что в процессе дальнейшего изложения требуется отличать рассматриваемый язык от того языка, с помощью которого осуществляется описание. [26]
Конструкции описания языка с помощью рассмотренных выше символов грамматики Бэкуса и называются металингвистическими формулами. Для удобства пользования все металингвистические формулы будут пронумерованы числами, указанными в левой части страницы. [27]
Правила АЛГОЛа, описанные в § 4.7 в нормальной форме Бэкуса, контекстно-свободны. АЛГОЛ поэтому является контекстно-свободным языком. [28]
В литературе для описания синтаксиса языка Алгол обычно используется метаязык Бэкуса, предназначенный специально для описания синтаксиса алгоритмических языков. Определения конструкций Алгола на метаязыке записывают в виде металингвистических формул. В левой части этих формул пишут определяемое понятие, а в правой - определяющее его выражение. Выражение строят из металингвистических постоянных и металингвистических переменных с помощью двух операций: перечисления и составления. Роль постоянных величин в металингвистических формулах выполняют основные символы языка Алгол. Переменными величинами являются все остальные конструкции языка. [29]
Формальная система описания языков программирования, которая в отличие от нотации Бэкуса - Наура представляет собой набор логических аксиоматических правил ( канонов) вывода заключений из исходных посылок. [30]