6. Языки программирования и их назначение
Язык программирования - формальная система обозначений для описания А в виде текста, пригодного для восприятия автоматом.
Каждая конструкция в любом языке программирования имеет определенный синтаксис и семантику.
Под синтаксисом конструкции языка программирования понимается система правил, определяющая построение этой конструкции из элементов алфавита этого языка.
Под семантикой той или иной языковой конструкции понимается ее смысл.
Способом формального описания синтаксиса является использование нормальных форм Бэкуса (металингвистических формул).
Каждая металингвистическая формула определяет некоторую языковую конструкцию (метапеременную).
Название определяемой метапеременной заключается в угловые скобки <>. После заключенного в скобки названия следует металингвистический символ :: =, обозначающие «есть по определению». Так же есть металингвистический символ |, обозначающий «или».
Металингвистическая формула задает правило порождения допустимых значение соответствующей метапеременной.
Допустимыми значениями служат основные символы или их цепочки, расположенные непосредственно между разделителями. Допустимыми являются также значения, получающиеся путем замены в таких цепочках содержащихся в них метапеременных путем замены их допустимыми значениями.
Пример формулы
<цифра> :: = 0|1|2|3|4|5|6|7|8|9
<целое без знака>:: =<цифра>|<целое без знака><цифра>.
Идентификаторы – имена таких компонент программы, как переменные и функции.
Синтаксис:
<идентификатор>::= <буква>|<идентификатор><буква>|<идентификатор><цифра>|<идентификатор>_
<буква>::=a|b|...|z|A|B|...|Z|
Рассмотрим конструкции языков программирования такие как переменные и константы.
Переменная - программный объект, имеющий уникальное имя и способное принимать значения ТОЛЬКО из множества значений, фиксированного для данного имени.
Семантика:
1.В каждый момент переменная может принимать только одно значение;
2.Может хранить значение из строго фиксированного множества;
3.При размещении нового значения - старое теряется;
4.Копировать текущее значение можно сколько угодно;
5.Доступ к значению только через имя;
6.До того как переменной было впервые присвоено значение, ее значение не определено.
Переменная характеризуется - именем, через которое осуществляется доступ к ее текущему значению; множеством допустимых значений называемым типом переменной.
Константа - программный объект, имеющий уникальное имя и постоянное значение, которое нельзя изменить в ходе работы программы. Константа характеризуется именем и значением.
Семантика константы: фиксирование значение, доступное через имя. Имя не может быть использовано для изменения значения.