Решение проблемы классификации автоматных базисов Поста по разрешимости свойств полноты и А-полнотыдиссертация