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