Cтраница 2
Третья статья этой главы посвящена сравнению языков Ада и Паскаль. Уичмена Сравнение языков программирования Паскаль и Ада демонстрирует, каким образом сходные концепции выражены в каждом из сравниваемых языков программирования. Отмечается отсутствие в языке Паскаль аналогов таким особенностям, присущим языку Ада, как параллельное программирование, обработка исключительных ситуаций и пакеты. Утверждается, что кажущиеся простота языка Паскаль и сложность языка Ада в действительности и есть результат полноты описания последнего. После залатывания всех дыр в описании языка Паскаль последний уже не может претендовать на звание очень простого языка программирования. [16]
Она состоит из алфавита, множества слов, называемых аксиомами, и конечного множества отношений, называемых правилами вывода. Примерами формальных систем являются теория множеств, булева алгебра, системы Поста и Бэкусова нормальная форма. Формальные системы приобретают все большее значение при разработке, реализации и изучении языков программирования. В частности, они могут использоваться при описании синтаксиса ( формы) и семантики ( значений) языков программирования. Они нашли применение в синтаксически управляемой компиляции, проверке правильности компиляторов и изучении сложности языков. [17]