Классификация автоматных базисов Поста по разрешимости свойств полноты и А-полноты (часть вторая)книга