Классификация классов Поста по их способности гарантировать разрешимость проблемы A-полноты для дефинитных автоматовдоклад на конференции