Cтраница 2
Формализованные правила проектирования программ устанавливаются стандартами и инструкциями подготовки текстов программ и их структурного построения. Эталоны этого вида включают описание языка программирования, правила оформления текстов программ и описания данных. Эти эталоны являются наиболее универсальными и в ряде случаев формализуются на уровне ГОСТов на языки программирования и базу данных. [16]
Важным отличием Алгола-60 от других языков программирования является то, что в официальном сообщении об этом языке [2] сделана попытка строго определить семантику синтаксических конструкций. Этот шаг в сторону полной формализации описания языков программирования имеет большое значение для создания формальных методов разработки трансляторов. Однако формализация семантики сильно усложнила описание языка. [17]
Та ой инструкцией для пользователей ЭВМ является описание языка программирования. Очевидно, что сколько типов ЭВМ, столько ( по крайней мере) и символических языков, так как каждый такой язык ориентирован на систему команд конкретного типа ЭВМ. Именно поэтому их называют машинно-ориентированными языками. [18]
Аппарат металингвистическпх формул был в 1959 г. предложен американским математиком и программистом Дж. С тех пор этот аппарат широко применяется для описания языков программирования, а в последние годы перекочевывает и в чисто математические работы. [19]
Если вам необходимо постепенное погружение в материал, используйте двухпроходное чтение. Далее просмотрите разделы, посвященные описанию языков программирования, выберете наиболее вам понятный, изучите раздел подробнее и разберите один из примеров, реализованный на данном языке. На этом этапе необходимо включить компьютер и реализовать разобранный пример или еще лучше фрагмент собственной практической задачи. Пока вы не заставите пример работать должным образом, дальнейшее чтение книги не имеет смысла. [20]
Упорядоченные последовательности символов называют по-разному: векторы, ( конечные) последовательности, п-ки, списки, массивы. В этой главе мы будем обычно называть их строками. Словом вектор будем пользоваться в основном для обозначения элементов векторных пространств; последовательностями мы называем главным образом бесконечные цепи; массив будет специальным термином в описании языков программирования. [21]
Следует отметить, что в литературе, посвященной программированию в среде MS Office ( как самой последней версии, так и предыдущих версий), обычно употребляются термины, традиционно применяемые при описании языков программирования. Next традиционно называют оператором, а в справочной системе ее называют инструкцией. MS Office, а там, где это необходимо / будем давать пояснения. [22]
Во-первых, была разработана система ACVC для верификации трансляторов с языка Ада [61], обеспечивающая их проверку на соответствие стандарту на язык Ада [4] с целью получения сертификата Министерства обороны США. Министерство обороны США объявило также о том, что для создания программного обеспечения по его заказу могут быть использованы только те трансляторы с языка Ада, которые успешно прошли проверку через систему ACVC и получили сертификат Министерства обороны США, оказывая тем самым прямое финансовое давление для достижения поставленной им цели. Столь сильное стремление к установлению взаимно однозначного соответствия между описанием языка программирования и реализациями трансляторов с этого языка программирования должно привести в случае своего выполнения к существенным преимуществам такого языка программирования перед другими. [23]
Эксплуатационная документация на программные средства имеет большое значение для качественного сопровождения и эксплуатации системы математического обеспечения, для полного использования возможностей ЭВМ. Документация СМО включает графические и текстовые документы, которые определяют состав и функциональную структуру программ и содержат необходимые данные для их отладки, приемки и эксплуатации. Эти документы предназначены для различного контингента пользователей СВТ и программистов. Установлены следующие виды документов в СМО: спецификация, ведомость спецификаций, ведомость держателей подлинников, технические условия, схема алгоритма ( программы), исходные коды, описание программы ( данных), описание применения, описание языка программирования, руководство системного программиста, руководство программиста, руководство оператора, формуляр ( паспорт), ведомость эксплуатационных документов. [24]
Чтобы создать тип данных, необходимо, согласно определению, построить спецификацию и связать с ней подходящую реализацию. При этом, естественно, необходимо убедиться, что предложенная реализация удовлетворяет данной спецификации. Процесс ручной проверки принято называть тестированием. В этом случае путем прогонки необходимого количества тестов программист убеждается, что в предложенной реализации выполняются все аксиомы данной спецификации. Вполне естественно, что при этом совсем не обязательно аксиомы спецификации формировать на некотором формальном языке. Примеры тому - описания языков программирования, в которых аксиомы ( семантика языка) излагаются неформально на естественном языке. В атом случае человека заменяет автомат - программа-верификатор, который, воспринимая в качестве аргументов спецификацию и реализацию типа данных, проверяет выполнение аксиом в данной реализации. [25]