Javascript must be enabled in your browser to use this page.
Please enable Javascript under your Tools menu in your browser.
Once javascript is enabled Click here to go back to �нтеллектуальная Кобринщина

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

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

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

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

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

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

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

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

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