Формальная знаковая система предназначенная для записи программ. Определяет набор лексических синтаксических. лексические синтаксические и семантические правила. внешний вид программы. формальные знаковые системы.