Формальный язык

Язык – это система обозначений и правил для передачи сообщений. Различают языки естественные, на которых общаются люди, и искусственные (или формальные). К формальным языкам относятся языки программирования.

Язык задается алфавитом, синтаксисом и семантикой. Язык программирования – это формальный язык, обеспечивающий описание конкретных проблем, формулируемых человеком и решаемых с помощью компьютера.

Алфавит представляет собой совокупность упорядоченных в определенном смысле символов (букв) в данном языке или системе. Только символы, принадлежащие данному алфавиту, можно использовать для построения слов.

Синтаксис (от греч. syntaxis – построение, порядок) – это набор правил построения слов, конструкций и структур текста в языке или системе. Некоторые авторы включают в синтаксис и алфавит. Ошибки, возникающие при написании программы и касающиеся только синтаксиса, выявляются при синтаксическом анализе, осуществляемом транслятором.

Слово можно определить как упорядоченный набор символов в заданном алфавите, имеющий определенный смысл.

Транслятор (от англ. translator – переводчик) – это программа, производящая трансляцию программы с одного языка программирования в другой.

Под семантикой (от греч. semantikos – обозначающий) понимается смысл каждой синтаксической конструкции в языке или системе.

В языке программирования транслятор переводит синтаксические конструкции языка программирования в команды, понятные операционной системе и процессору. Смысловые ошибки транслятор выявить не может, их поиск происходит во время отладки, тестирования и использования программы человеком.