Автор работы: Пользователь скрыл имя, 26 Марта 2012 в 23:18, лекция
Формальный язык – множество предложений, которые построены по определенным правилам. Предложения строятся из слов, слова из символов.
Отношение эквивалентности – на множестве А р с (а,а) с р.а с А – симметричны.
Синтаксис – структура правильных предложений и допустимые структуры текстов программ. Синтаксис определяет корректность программ.