Языки прогр-ия бывают: естеств-ые (для общения людей друг с другом. Они явл-ся национальными. Обычно они сущ-ют в устной и письм-ой формах. Изуч-ем естест-ых языков занимается наука филология.) и формальные (присутствуют в науке, искусстве, явл-тся межнацион-ми. Форм-ые языки имеют более строгий синтакис.) А так же они деляться на процедурные (низкого уровня (Assembler) высокого (Pascal, C, ADA)), непроцедурные (объектные (С++, Delphi, Basic) и декларативные (Prolog)) В языках прог-ия сущ-т свой алг-м, j используется при построении к.-л. смысловых единиц этого языка. Но чаще описание синтаксиса тех или иных конст-ий языка прог-ия делают в терминах неделимых единиц этого языка - ЛЕКСЕМ. Лексема - это эл-тарная единица языка прог-ия (неделимая). Н-р: if, do, while. Идентификатор - имена объектов, j явл-ся уникальными (имя const, тип и др). синтаксис пред-ет из себя набор правил, j позволяет из лексем языка прог-ия получать прогу. Алфавит – набор элем-ых (любых допустимых) символов, из j-ых м/б построена любая лексема данного алгор-ого языка. Семантика - оперд-ет смысловое толкование той или конст-ии языка прог-ия. (она имеет смысл, как для формальных, так и для естес-ых языков). СПОСОБЫ описания синтаксиса:
- нормальные формы Бекуса (НБФ):
- синтакси-ие диаграммы Вирта:
