Cтраница 1
Описание языка программирования через программу не является парадоксом. Разумеется, процедурное описание должно быть понято. Можно достичь этого понимания за счет описания на другом языке, который может быть иным, более знакомым или более простым, чем тот, который описывается. [1]
Описания языков программирования контекстно-свободными и даже неукорачивающими грамматиками вынуждает определение части формальных условий переносить из синтаксиса в семантику. Например, в ФОРТРАНе при анализе каждого идентификатора необходимо определить, является ли его описание явным или неявным. Если описание явное, то определяется тип идентификатора. Аналогичный анализ необходимо проводить при определении типа формальных и фактических параметров процедур АЛГОЛа и подпрограмм ФОРТРАНа. [2]
Описания языков программирования, как правило, не разъясняют механизм работы аппаратной части, а описания аппаратной части не отличаются популярностью изложения. В этом разделе мы попытаемся объединить изложение особенностей работы с клавиатурой ПЭВМ и методов их использования в программах на Турбо Паскале. [3]
Неточность описания языков программирования, обусловленная во многом отсутствием подходящих формальных методов описания синтаксиса и семантики, стремление к эффективности конкретных реализаций, а часто просто излишние вольности и небрежность программистов привели к распространению многочисленных версий языков на различных и даже одних и тех же вычислительных машинах. Процесс стандартизации, начавшийся с принятия в 1966 г. стандарта на язык Фортран, явился сдерживающим фактором для распространения несовместимых реализаций. Существуют международные и национальные стандарты на большинство наиболее распространенных языков программирования. [4]
Формальная система описания языков программирования, которая в отличие от нотации Бэкуса - Наура представляет собой набор логических аксиоматических правил ( канонов) вывода заключений из исходных посылок. [5]
Для пользователя изготавливаются описания сформированных языков программирования: автокода, макроязыка и алгоритмического языка. При этом очевидно, что последнее описание составляется в том случае, когда алгоритмический язык содержит машинно-зависимые элементы. В качестве отдельного документа выпускается перечень макроопределений системных макрокоманд. [6]
Разобрать два способа описания языков программирования: форма Бэкуса - Наура и канонические системы. [7]
Полон-ски считается образцом описания языка программирования. Именно ей в большой степени обязан Снобол своей популярностью и распространением. [8]
Язык, используемый для описания языка программирования. [9]
Программа, воспринимающая синтаксическое или семантическое описание языка программирования и генерирующая компилятор ( С. Синтаксис выражается в Виде ЬН ( В. BNF) или ее производной и должен удовлетворять правилам того метода синтаксического анализа, г который будет использоваться в генерируемом компиляторе. [10]
Структура записи может зависеть от используемого для ее описания языка программирования. Многие языки высокого уровня или диалекты языков пригодны для описания лишь полей фиксированной длины. Если все поля имеют фиксированную длину, то фиксированными будут и записи. Чтобы хранить значения полей переменной длины, нам приходится прибегать к наполнителям и усечению. [11]
При описании языка применяются общепринятые синтаксические обозначения, используемые обычно при описании языков программирования. Описание макета состоит из заголовка и описаний реквизитов. Параметры внутри заголовка или описаний реквизитов отделяются друг от друга запятой. Описание макета должно заканчиваться хотя бы одним пробелом. [12]
Во-первых, необходимо отметить наличие стандарта на язык Ада [4], который по мнению автора является блестящим примером, иллюстрирующим, каким должно быть описание языка программирования. В то же время необходимо отметить, что стандарт на язык Ада [4] никак не может считаться чем-то вроде легкочитаемого введения в язык Ада, ориентированного на начинающих программистов. [13]
Однако описание языков программирования грамматиками типа 1 во многих случаях может облегчить как сам процесс описания языка, так и построение транслятора. [14]
Можно, таким образом, сделать вывод, что первым критерием, которому должен удовлетворять перспективный язык программирования и удовлетворение которому обязательно с точки зрения потенциальных покупателей, является наличие полного описания этого языки программирования, не содержащего ссылок на описание транслятора с этого языка программирования или ссылок на описание какой-либо ЭВМ. Такое описание языка программирования обязательно будет иметь математическую природу. [15]