Формальная знаковая система предназначенная для записи программ