Понятие программного продукта
Под программным продуктом понимается программа, которую независимо от ее разработчиков можно использовать в предусмотренных целях на разных компьютерах, если только они удовлетворяют ее системным требованиям. Разумеется, сформулированное сейчас определение верно не только для отдельной программы, но и для программного комплекса. При этом, когда мы говорим о возможности использования, то имеем в виду сразу несколько обстоятельств:
Программа в состоянии нормально функционировать не только на компьютере у автора, а в рамках любой подходящей системы.
Автор (или иной правообладатель) на определенных условиях позволяет распространять и использовать программу.
Человек, получивший в распоряжение дистрибутив программы, сможет самостоятельно установить и полноценно применять ее.
Последний пункт имеет непосредственное отношение к технической документации.
Синтаксис. Семантика языка
Любой язык, в том числе и язык программирования, подчиняется ряду правил. Их принято разделять на правила, определяющие синтаксис языка, и правила, определяющие его семантику.
Синтаксис языка - совокупность правил, определяющих допустимые конструкции (слова, предложения) языка, его форму.
Семантика языка - совокупность правил, определяющих смысл синтаксически корректных конструкций языка, его содержание.
Языки программирования относятся к группе формальных языков, для которых в отличие от естественных языков однозначно определены синтаксис и семантика. Описание синтаксиса языка включает определение алфавита и правил построения различных конструкций языка из символов алфавита и более простых конструкций. Для этого обычно используют форму Бэку-са-Наура (БНФ) или синтаксические диаграммы. Описание конструкции в БНФ состоит из символов алфавита языка, названий более простых конструкций и двух специальных знаков:
«::=» - читается как «может быть заменено на»,
«|» - читается как «или».
При этом символы алфавита языка, которые часто называют терминальными символами или терминалами, записывают в неизменном виде. Названия конструкций языка (нетерминальные символы или нетерминалы), определяемых через некоторые другие символы, при записи заключают в угловые скобки («< », « >»).
Алфавит языка программирования Borland Pascal 7.0 включает:
строчные, прописные буквы латинского алфавита (a..z, A..Z) и знак подчеркивания ( _ ), который также во многих случаях считается буквой; кроме того, существенно то, что строчные и прописные буквы не различаются: а неотличимо от A, b - от В и т. д.
специальные знаки, состоящие из одного и двух символов: ., + -*/=:<> [] { } ( ) л @ $ # <> <= >= ;= (* *);
служебные слова (эти сочетания считаются единым целым и их нельзя использовать в программе в другом качестве):
Из символов алфавита в соответствии с правилами синтаксиса строят различные конструкции. Простейшей из них является конструкция <Идентификатор>. Эта конструкция используется во многих более сложных конструкциях для обозначения имен программных объектов (полей данных, процедур, функций и т. п.). Семантику языка программирования закладывают в его компилятор. Таким образом, синтаксически корректная программа, написанная на языке программирования, после преобразования ее в последовательность машинных команд обеспечит выполнение компьютером требуемых операций.
Языки формального описания
К формальным языкам относятся всевозможные языки программирования, языки управления заданиями, языки описания экранных и печатных форм, языки описания структур данных, языки разметки и т. п. Они могут быть очень разными. Кроме очевидного свойства, состоящего в том, что все это искусственные языки с определенным набором элементов (слов) и строгими грамматическими правилами.
Но в том-то и дело, что пользователю языка — программисту, оператору, кодеру, верстальщику — кроме как из описания узнать о них неоткуда. Программу или даже устройство можно в той или иной мере изучать «методом тыка», но по отношению к языку он не работает совсем. Правда, язык можно изучать, читая написанный на нем код. Однако, даже изучив сотню страниц, вы не будете уверены ни в том, что вы ознакомились со всеми словами и конструкциями, ни в правильности понимания вами прочитанного.
Таким образом, задача описания языка состоит в том, чтобы дать читателю исчерпывающее представление о формальном языке и обеспечить ему возможность применять язык в полном объеме.