Бэкус
Cтраница 3
Предполагалось, что язык программировании высокого уровня неизбежно снизит эффективность, но Бэкус и его группа совершили поистине чудо: они создали компилятор, который генерировал программы, по качеству близкие закодированным вручную. [31]
Хотя любая грамматика непосредственных составляющих может быть записана в БНФ, нотация Бэкуса не является полным метаязыком - некоторые наборы строк ( языки) нельзя специфицировать с помощью грамматик непосредственных составляющих. Однако на практике это не препятствует конструированию языка. Свойства, которые мы хотели бы сообщить языку, часто носят структурный ( грамматический) характер, а так как класв языков непосредственных составляющих ( языков, определенных о помощью грамматик непосредственных составляющих) велик, у нав имеется достаточная свобода выбора одного из них. [32]
 |
Подграф оператора Л. В 1. для синтаксиса упрощенного языка, представленного на. [33] |
При этом для узлов дерева, где имеется несколько компонент ( многокомпонентные правила Бэкуса), возникает необходимость формирований новой цели ( подцели, соответствующей компоненте правила), без которой невозможно формирование более сложных понятий. [34]
В дальнейшем изложении мы не будем строго придерживаться формального описания при помощи формул Бэкуса. [35]
Примером формального языка, являющегося метаязыком при переводе с алгоритмических языков, является язык Бэкуса. Этот язык позволяет дать сводку правил, по которым осуществляется перевод. Применяемые трансляторы обладают этим свойством и поэтому получили название синтаксических. [36]
Символ:: ( это есть, есть по определению), используемый в нотации Бэкуса для построения предложения описания синтаксиса конструкции я ияка. [37]
КС-языки являются основным инструментальным средством для задания языков программирования и хорошо известны в программировании под названием нормальных форм Бэкуса и Наура. [38]
Покажите, как порождается выражение A: - B - - CxD правилами грамматики АЛГОЛа, записанными в нормальной форме Бэкуса. [39]
При изучении языка Алгол обычно используют следующие способы описания его синтаксиса: словесный ( или описательный), графический и специальный метаязык Бэкуса. [40]
В следующей главе вводится понятие алгоритмического языка путем описания формальных грамматик и в качестве примера предлагается язык Алгол-60 с использованием нормальной формы Бэкуса. По ходу изучения языка объясняются приемы и методы разработки алгоритмов. [41]
Бэкуса Может ли программирование освободиться от бремени неймановского стиля. Функциональный стиль и его алгебра программ ( 1978 г.), в которой эта парадигма была четко сформулирована и проведена, начиная со спецификаций задачи, логического анализа ее разрешимости и получения программы как продукта такого анализа. В настоящее время техника функционального программирования получает широкое распространение, и важность ее как средства, позволяющего продвинуться в развитии языков самого высокого уровня, будет возрастать. Программы на таких языках могут быть на порядок короче, чем программы для решения тех же самых вычислительных задач, но написанных на традиционных языках. [42]
В работе Саммет [1969], помимо обширной библиография по всевозможным аспектам языка, дан также блестящий исторический очерк его развития. Статья Бэкуса и др. [1957] считается первой публикацией, в которой был описан Фортран. Многочисленные работы по приложениям Фортрана публикуются на страницах Communications of the ACM и других технических журналов. FORTRAN Bulletin ( приложение журнала SIGPLAN Notices) регулярно знакомит читателей с новыми этапами развития языка. [43]
Нормальная форма Бэкуса ( см. разд. Формальная грамматика для Алгола довольно лаконична, и умещается на одной странице. Несмотря на это, она удивительно хорошо описывает синтаксис языка. Именно благодаря этой лаконичной и элегантной грамматике. Алгол после его появления стал основой для многих работ, посвященных методам синтаксического разбора и формальному анализу программ. [44]
Очевидно, что метаязык и язык должны - быть отличимы один от другого. Для синтаксических определений в языке Бэкуса, который в данном случае по отношению к ИЯП ИСС является метаязыком, применяется специальная металингвистическая символика. [45]
Страницы: 1 2 3 4