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