Машина Корсакова-Бэббиджа как формальное определение коннекционистско-символистского алгоритмадоклад на конференции